Problems on permutation and irreducible polynomials over finite fields
by
Aleksandr Tuxanidy
A thesis submitted to the Faculty of Graduate and Postdoctoral Affairs in partial fulfillment of the requirements for the degree of
Doctor of Philosophy
in
Pure Mathematics
Carleton University Ottawa, Ontario
©2018 Aleksandr Tuxanidy Contents
Preface ...... iv Abstract ...... v Acknowledgements ...... viii
1 Introduction 1
2 Preliminaries 29 2.1 Inverses of linearized polynomials inducing bijections of subspaces . . 30 2.2 DFT for finite fields, period of functions and cyclotomic polynomials . 39 2.3 Gaussian sums and periods ...... 42
3 On the inverses of some classes of permutations of finite fields 48 3.1 Inverses of some classes of permutations ...... 49 3.2 Compositional inverse of a general class ...... 62 3.3 Explicit compositional inverse of a second class ...... 71
4 Compositional inverses and complete mappings over finite fields 80 4.1 Inverses of linearized binomials permuting kernels of traces ...... 82 4.1.1 Statement and proof of result ...... 82 4.1.2 Method used to obtain the inverse in Theorem 4.1.4 ...... 87 4.2 Extensions of a class of complete permutation polynomials ...... 91
ii 4.3 Inverse of the complete mapping ...... 97
5 A new proof of the Hansen-Mullen irreducibility conjecture 102 5.1 Least period of the DFT and connection to irreducible polynomials . 103 5.2 Characteristic elementary symmetric and delta functions ...... 108
5.3 Least period of ∆w,c and proof of Theorem 1.0.11 ...... 116
6 On the number of N-free elements with prescribed trace 122
6.1 A formula for Zq,m,N ...... 123 6.2 The case of the zero trace ...... 127
6.2.1 Simplification of Zq,m,N (0) and direct consequences ...... 128 6.2.2 Proof of Corollaries 1.0.23 and 1.0.25 ...... 131 6.3 Uniformity in the case of the non-zero trace ...... 137
6.4 Connection to Pq,m,N (c) ...... 140
7 Conclusion 148 7.1 Appendix ...... 151
Bibliography 153
iii Preface
The content of this integrated thesis is primarily based on the following four pub- lished articles, co-authored jointly and under the supervision of Qiang Wang. These are released under a Creative Commons Attribution Non-Commercial No Derivatives License. In particular, all mathematical results of the thesis, such as theorems, corol- laries, lemmas, propositions, examples, etc., were originally obtained in the following works. Thus in the case the reader wishes to refer to one of these results, he/she should cite instead the corresponding published article in the journal where it was published. We list the works according to the order of the chapters in the thesis.
[70] A. Tuxanidy and Q. Wang, On the inverses of some classes of permutations of finite fields, Finite Fields and Their Applications, v.28 (2014), p.244–281. https: //doi.org/10.1016/j.ffa.2014.02.006 [71] A. Tuxanidy and Q. Wang, Compositional inverses and complete mappings over finite fields, Discrete Applied Mathematics, v.217 no.2 (2017), p.318-329. https: //doi.org/10.1016/j.dam.2016.09.009 [72] A. Tuxanidy and Q. Wang, A new proof of the Hansen-Mullen irreducibility conjecture, Canadian Journal of Mathematics, no.70 (2018), 1373–1389. https:// doi.org/10.4153/CJM-2017-022-1
iv [69] A. Tuxanidy and Q. Wang, On the number of N-free elements with prescribed trace, Journal of Number Theory, v.160 (2016), p.536–565. https://doi.org/10. 1016/j.jnt.2015.09.008
These articles are substantially reproduced in this thesis: The main content of these is reproduced in Chapters 3, 4, 5, 6, respectively. However some of the material in the works, notably parts of the introductions to each of the articles, as well as corresponding preliminaries sections, have been moved to the introduction here in Chapter 1, as well as to the Preliminaries, Chapter 2. This has been done in part to avoid repetitions of literary backgroud and basic concepts, as well as to present a more unified, self-contained work. The author of the thesis has also jointly co-authored the following two other arti- cles, which will nonetheless not make it into the thesis.
[73] A. Tuxanidy and Q. Wang, Characteristic digit-sum sequences, Cryptogr. Commun. (2018) 10:705–717 [68] A. Tuxanidy and Q. Wang, Composed products and factors of cyclotomic polynomials over finite fields, Designs, Codes and Cryptography (2013), v.69, no.2, p. 203–231
v Abstract
This integrated thesis is dedicated to the study of polynomials over finite fields, notably permutation polynomials and their compositional inverses, existence of irre- ducible polynomials with prescribed coefficients, as well as ennumeration of primitive polynomials with prescribed trace. Here we present several of the results, first at- tained in [69–72], by the author of the thesis in collaboration with Qiang Wang. In Chapter 3 we showcase our study, in [70], of the compositional inverses of some general classes of permutation polynomials over finite fields. There we showed that we can write these inverses in terms of the inverses of two other polynomials bijecting subspaces of the finite field, where one of these is a linearized polynomial. In some cases we are able to explicitly obtain these inverses, thus obtaining the compositional inverse of the permutation in question. In addition we show how to compute a linearized polynomial inducing the inverse map over subspaces on which a prescribed linearized polynomial induces a bijection. We also obtain the explicit compositional inverses of two classes of permutation polynomials generalizing those whose compositional inverses were recently obtained. In Chapter 4 we present our work from [71] where we study the compositional inverses of permutation polynomials and complete mappings over finite fields. Re- cently the compositional inverses of linearized permutation binomials were obtained in [83]. In Chapter 4 we commence by presenting the compositional inverses of a
vi class of linearized binomials permuting the kernel of the trace map. Note that it was shown in our work in [70] that computing inverses of bijections of subspaces has applications in determining the compositional inverses of certain permutation classes related to linearized polynomials. Consequently, we give the compositional inverse of a new class of complete mappings. This complete mapping class extends several recent constructions given in [46, 63, 85]. We also construct recursively a class of complete mappings involving multi-trace functions. In Chapter 5 we present our work in [72] where we give a new proof of the Hansen- Mullen irreducibility conjecture. The proof relies on an application of a (seemingly new) sufficient condition for the existence of elements of degree n in the support of functions on finite fields. This connection to irreducible polynomials is made via the least period of the discrete Fourier transform (DFT) of functions with values in finite fields. We exploit this relation and prove, in an elementary fashion, that a relevant function related to the DFT of characteristic elementary symmetric functions (which produce the coefficients of characteristic polynomials) has a sufficiently large least pe- riod (except for some genuine exceptions). This bears a sharp contrast to mainstream techniques in literature employed to tackle existence of irreducible polynomials with prescribed coefficients. While in Chapter 5 we studied the existence of irreducible polynomials with pre- scribed coefficients, we are also interested in the ennumeration of irreducible polyno- mials, in particular primitive polynomials, with prescribed coefficients. Since there is a clear correspondence between primitive polynomials with prescribed trace and primitive elements with prescribed trace, it is equivalent to study the latter. In Chap- ter 6 we explore our work, in [69], regarding primitive elements, and more generally N-free elements, with prescribed trace. We derived a formula for the number of N- free elements over a finite field with prescribed trace, in particular trace zero, in terms
vii of Gaussian periods. As a consequence, we obtain several explicit formulae in special cases. In addition we show that if all the prime factors of q − 1 divide the degree of the extension, m, then the number of primitive elements in Fqm , with prescribed non-zero trace, is uniformly distributed. Finally we explore the related number of elements in Fqm with multiplicative order N and having a prescribed trace.
viii Acknowledgements
First of all, I would like to thank my advisor, Qiang Wang, for all his help and tutelage throughout the years. I am very blessed to have met him, several years ago, and to have had the opportunity to work with him as a team. His enthusiasm for research and curiosity was always contagious from the start, and I always look up to him. I would also like to thank Emmanuel Lorin and Daniel Panario for all their support and guidance throughout the years. The work in this thesis would not have been possible without the love, encourage- ment and support of family and friends, who have always been, and continue to be, there for me. Notably, it would not have been possible without my second, better, half.
ix Chapter 1
Introduction
The topic of finite fields is classical in Mathematics. In recent decades, the advent of computer technology and communication systems has accelerated the resarch input of the mathematical community. In addition, these are fundamental objects in num- ber theory, algebraic geometry, combinatorics, cryptography, coding theory, among others. Polynomials over finite fields are one of the main objects of research in the study of finite fields, both theoretically and practically. This integrated thesis is devoted to the study of polynomials over finite fields, such as permutation polynomials and their compositional inverses, existence of irre- ducible polynomials satisfying constraints on their coefficients, and number of prim- itive polynomials (equivalently primitive elements; more generally, N-free elements) with prescribed trace1.
Let q be a power of a prime number p and let Fq be a finite field with q elements.
Let Fq[x] denote the ring of polynomials over Fq. We call f ∈ Fq[x] a permutation q polynomial (PP) of Fq if it induces a permutation of Fq. Note that since x = x for all x ∈ Fq, one only needs to consider polynomials of degree less than q. It is 1The content of this introduction is substantively based on the introductions on the four articles [69–72], written by the author of the thesis in collaboration with Qiang Wang. All rights reserved.
1 clear that permutation polynomials form a group under composition and reduction modulo xq − x that is isomorphic to the symmetric group on q letters. Thus for any
−1 permutation polynomial f ∈ Fq[x], there exists a unique f ∈ Fq[x], of degree less than q, such that f −1(f(x)) ≡ f(f −1(x)) ≡ x (mod xq − x). Here f −1 is defined as the compositional inverse of f, although we may simply call it sometimes the inverse of f on Fq. When we think of x ∈ Fq as fixed and view f ∈ Fq[x] as a mapping of Fq, we call f −1(x) the preimage of x under f. The construction of permutation polynomials over finite fields is an old and diffi- cult subject that continues to attract interest due to their applications in cryptography [61], [64], coding theory [25], [46], and combinatorics [26]. Recently much progress has taken place in this area. See for instance [3], [4], [5],[15], [24], [31], [38], [45], [50], [53], [78], [88], [91], [93], and the references therein for some previous works. However, how to go about inverting such permutations has remained unclear to the present. There is, in contrast, a marked absence of explicit formulas describing compositional inverses, but also a general lack of methods which may be useful to attain these for- mulas. Nevertheless there is some recent progress (see for instance [23, 76, 79, 81–83] to name a few). In Chapter 3 we contribute to the growing literature on this topic and obtain the compositional inverses of several classes of PPs. The main result of this chapter could viewed as Theorem 1.0.2, obtained via a generalization of a novel method introduced by Wu-Liu in [81]. Theorem 1.0.2 gives a formula for the compositional inverse of a general class of PPs obtained by Akbary-Ghioca-Wang [3], and which may be found here in Theorem 1.0.1. We then apply Theorem 1.0.2 to obtain the compositional inverses of several classes of PPs from literature. See for instance Theorems 1.0.10, 3.1.10, 3.2.4 and Corollaries 1.0.4, 1.0.6, 3.1.2, 3.1.3, 3.1.4, 3.1.11 to name a few.
We say that a polynomial L(x) ∈ Fqn [x] is linearized, also called a q-polynomial, if
2 X qi L(x) has the shape L(x) = aix for some coefficients ai ∈ Fqn . An important class i n−1 X qi of such polynomials is the trace function Tqn|q(x) = x . When it will not cause i=0 confusion, we write T instead of Tqn|q. In [81], Wu-Liu introduced a method to obtain the compositional inverse of the class f(x) = x(L(Tqn|q(x))+aTqn|q(x)+ax) of PPs of
∗ Fqn , in the case when q is even, n is odd, L ∈ Fq[x] is a 2-polynomial and a ∈ Fq. Wu-
Liu start with a decomposition of the finite field, Fqn , into the direct sum Fq ⊕ker(T ). This has the effect of converting the problem of computing the inverse of f into the problem of computing the inverse of a bivariate function permuting Fq ⊕ ker(T ). This in turn is equivalent to obtaining the inverses of two permutation polynomials, ¯ f, ϕ, over the subspaces Fq and ker(T ), respectively, where ϕ is a 2-polynomial (in fact, quadratic). As q is even and n is odd, T is idempotent, i.e., T ◦ T = T , and thus the (bijective) transformation φ : Fqn → Fq ⊕ ker(T ) can be defined by
φ(x) = (T (x), x − T (x)), since T (Fqn ) = Fq additionally. Because computing the inverse of any p-polynomial permutation on a subspace of Fqn amounts to solving a system of linear equations, this problem is thus finally reduced to computing the ¯ inverse of f|Fq . In Chapter 3 we extend this useful method to other more general classes of per- mutation polynomials given in [3], and [88], particularly written in terms of arbitrary linearized polynomials ψ (instead of just T ). We write their inverses in terms of the in- verses of two other polynomials, one of these being linearized, over subspaces. In some special cases we can determine these inverses, thus obtaining the full result. However, given that we may not always have a “nice enough” expression for ker(ψ), we instead use the map φψ : Fqn → ψ(Fqn ) ⊕ Sψ, where Sψ := {x − ψ(x) | x ∈ Fqn } – a subspace of Fqn , in similarity with ker(T ) as above – defined by φψ(x) = (ψ(x), x − ψ(x)). In the case that ψ induces an idempotent map of Fqn , Sψ = ker(ψ). As φψ is injective
3 for any such ψ (but not surjective in the case that ψ is not idempotent), we similarly transform the problem of computing the inverses of permutation polynomials into the problem of computing the inverses of two other bijections, f,¯ ϕ, over the subspaces
ψ(Fqn ) and Sψ, respectively. Many of our resulting expressions for compositional inverses, or preimages in some cases, are particularly written in terms of linearized polynomials inducing the inverse map over subspaces on which prescribed linearized polynomials induce a bijection. Nonetheless, in Theorem 2.1.5 we show how to obtain such compositional inverses on subspaces. As we show there, obtaining the coefficients of such linearized polynomials is equivalent to solving a system of linear equations. However in order to set up such a system one is required to first obtain a linearized polynomial, K ∈ Ln(Fqn ), inducing an idempotent map with a prescribed kernel (we can always do this). But clearly, if we are given an idempotent ψ ∈ Ln(Fqn ), i.e., Sψ = ker(ψ), and Sψ is such a prescribed kernel, then one can simply let K = ψ. In the simultaneous case that
the characteristic p does not divide n, the coefficients of ϕ ∈ Ln(Fqn ) belong to Fq (i.e., the associate Dickson matrix is circulant), and ϕ induces a bijection between
two Fq-subspaces, one can quickly solve the corresponding linear system by using the Circular Convolution Theorem, for the Discrete Fourier Transform (DFT), together with a Fast Fourier Transform (FFT). See [87] for details regarding circulants and their close relation to the DFT.
Before we delve any further, let us fix some notations. If we view f ∈ Fq[x] as
a map of Fq and are given a subspace V of Fq, we denote by f|V the map obtained
by restricting f to V . If f is a bijection from V to a subspace W of Fq, we mean −1 by f |W the inverse map of f|V . When the context is clear we may however mean
−1 by f |W a polynomial in Fq[x] inducing the inverse map of f|V . In this case we call −1 f |W the compositional inverse of f over V . In both of the following cases, if f(x)
4 q−2 is viewed as an element of Fq, or a polynomial in Fq[x], we denote 1/f(x) := f(x) . Thus for instance 1/0 = 0 with our notation. As an example of our results, we obtain in Theorem 1.0.2 the compositional inverse of the permutation f in the following theorem, under the assumption that ϕ bijects ¯ Sψ, and written in terms of the inverses of f|ψ(Fqn ) and ϕ|Sψ . Recall that for a linearized polynomial ψ, we defined Sψ to be the subspace {α − ψ(α): α ∈ Fqn }.
Theorem 1.0.1 (Theorem 5.1, [3]). Consider any polynomial g ∈ Fqn [x], any ¯ additive polynomials ϕ, ψ ∈ Fqn [x], any q-polynomial ψ ∈ Fqn [x] satisfying ϕ ◦ ψ = ¯ ¯ ψ ◦ ϕ and |ψ(Fqn )| = |ψ(Fqn )|, and any polynomial h ∈ Fqn [x] such that h(ψ(Fqn )) ⊆
Fq \{0}. Then f(x) = h(ψ(x))ϕ(x) + g(ψ(x)) permutes Fqn if and only if (i) ker(ϕ) ∩ ker(ψ) = {0}; and ¯ ¯ ¯ (ii) f(x) := h(x)ϕ(x) + ψ(g(x)) is a bijection from ψ(Fqn ) to ψ(Fqn ).
Theorem 1.0.2. Using the same notations and assumptions of Theorem 1.0.1, as- sume that f is a permutation of Fqn , and further assume that |Sψ| = |Sψ¯| and −1 −1 ¯ ¯ ker(ϕ) ∩ ψ(Sψ) = {0}. Then ϕ induces a bijection from Sψ to Sψ. Let f , ϕ |Sψ¯ ∈
n ¯ Fq [x] induce the inverses of f|ψ(Fqn ) and ϕ|Sψ , respectively. Then the compositional inverse of f on Fqn is given by
! x − ψ¯(x) − g f¯−1 ψ¯(x) + ψ¯ g f¯−1 ψ¯(x) f −1(x) = f¯−1 ψ¯(x) + ϕ−1| . Sψ¯ h f¯−1 ψ¯(x)
¯ Furthermore, if ϕ induces a bijection from ψ(Fqn ) to ψ(Fqn ), then ϕ is a permutation
5 of Fqn and the compositional inverse of f on Fqn is given by
! x − g f¯−1(ψ¯(x)) f −1(x) = ϕ−1 . h f¯−1(ψ¯(x))
Note that condition (i) and the fact that the images of ψ, ψ¯, are equally sized in Theorem 1.0.1 imply that ϕ is a bijection from ker(ψ) to ker(ψ¯), for instance not necessarily satisfying ker(ϕ)∩Sψ = {0} (even though ker(ψ) ⊆ Sψ) required to attain injectivity on Sψ, which is an imposed hypothesis of Theorem 1.0.2. Thus our result is further restricted by our imposed assumption that ϕ bijects Sψ, a superset of ker(ψ). However, as previously described in the Preliminaries chapter, in the case that ψ is idempotent or ϕ is a permutation of Fqn , we can get the inverse of ϕ on Sψ, and hence obtain the compositional inverse of f in terms of a polynomial inducing the inverse ¯ map of f|ψ(Fqn ). Note that one may find several linearized polynomials inducing idempotent endomorphisms of Fqn . See Remark 2.1.9 for more details regarding this. As a consequence of this result we obtain several corollaries, like the following, in ¯ terms of the inverse of f|ψ(Fqn ) and the inverse of a linearized permutation polynomial of Fqn , which is already known (see Proposition 2.1.1).
Remark 1.0.3. To clarify an ambiguity in the presentation of our results: In many of the following results we make citations in the style of “See Theorem ‘x’...” or “See Corollary ‘x’...” to refer to a result in another paper where the construction of the considered permutation polynomial was obtained. However the compositional inverses given here in the statements of these results are ours.
¯ Corollary 1.0.4 (See Theorem 5.1 (c), [3]). Consider q-polynomials ϕ, ψ, ψ ∈ Fqn [x] ¯ ¯ satisfying ϕ ◦ ψ = ψ ◦ ϕ and |ψ(Fqn )| = |ψ(Fqn )|. Let g, h ∈ Fqn [x] be such that
6 ¯ n (ψ ◦ g)|ψ(Fqn ) = 0 and h(ψ(Fq )) ⊆ Fq \{0}. If
f(x) = h(ψ(x))ϕ(x) + g(ψ(x))
permutes Fqn , then ϕ permutes Fqn as well, and the inverse of f on Fqn is given by
!! ϕ−1 ψ¯(x) ϕ−1 x − g h f¯−1(ψ¯(x)) f −1(x) = , h f¯−1(ψ¯(x))
¯ ¯ where f(x) := h(x)ϕ(x) induces a bijection from ψ(Fqn ) to ψ(Fqn ). In particular, if
h(ψ(Fqn )) = {c} for some c ∈ Fq \{0}, then f permutes Fqn if and only if ϕ permutes
Fqn , in which case the compositional inverse of f over Fqn is given by
f −1(x) = c−1ϕ−1 x − g c−1ϕ−1 ψ¯(x) .
Note in the above that, in particular, when h(x) = c ∈ Fq \{0}, the inverse of f is
given in terms of the inverse of ϕ on Fqn , which may be obtained via an application of Proposition 2.1.1. As a result of Corollary 1.0.4 we also obtain Corollaries 3.1.2, 3.1.3, and 3.1.4. Here is one example of Corollary 1.0.4 using the fact that T (x)q −T (x) = 0.
q Proposition 1.0.5. Let G ∈ Fq2 [x] be arbitrary, let Q(x) := x −x, let g = T ◦G, let q h(x) = c ∈ Fq \{0}, and let ϕ(x) = ax + bx, where a, b ∈ Fq are such that a 6= ±b. Then both ϕ and
f(x) = h(Q(x))ϕ(x) + g(Q(x)) = c(axq + bx) + T ◦ G ◦ Q(x)
7 are permutations of Fq2 , and the compositional inverse of f on Fq2 is given by
Q(x) T ◦ G ◦ axq − bx c(b − a) f −1(x) = − . c (a2 − b2) c(a + b)
Another consequence of Theorem 1.0.2 is the following.
Corollary 1.0.6 (See Theorem 1, [50]). Let ϕ ∈ Fq[x] be a q-polynomial permuting
Fqn , let G ∈ Fq[x], let γ ∈ Fqn , let c = T (γ), and assume that
f(x) = ϕ(x) + γG(T (x))
permutes Fqn . Then the inverse of f on Fqn is given by
f −1(x) = ϕ−1 x − γG f¯−1(T (x)) ,
¯ where f(x) := cG(x) + ϕ(1)x is a permutation of Fq.
¯ Note in the case that G is a q-polynomial, f|Fq (x) = (cG(1) + ϕ(1))x; thus f¯−1(T (x)) = T (x)/(cG(1) + ϕ(1)) and hence we can obtain the inverse of the per- mutation polynomial, f, by computing only ϕ−1. We thus obtain Corollary 3.1.5. We also note that if we take G(x) = xr and c = ϕ(1), then f¯(x) in Corollary 1.0.6 has the form c(xr + x) whose inverse can be explicitly computed (see [54], [76], [77]). Therefore the inverse of f is again only dependent on ϕ−1 which can also be obtained in terms of cofactors of the associate Dickson matrix by Proposition 2.1.1. Another straightforward application of Corollary 1.0.6 is the following example.
q Proposition 1.0.7. As before, let ϕ(x) = ax + bx where a, b ∈ Fq are such that a 6= ±b, let G(x) = x, let c = T (γ), where γ ∈ Fq2 is such that a + b + c 6= 0. Then
8 both ϕ and f(x) = ϕ(x) + γT (x)
are permutations of Fq2 , and the compositional inverse of f on Fq2 is given by
axq − bx (aγq − bγ) T (x) f −1(x) = − . a2 − b2 (a2 − b2)(a + b + c)
We have also obtained the following compositional inverse, given in terms of the inverse of a linearized permutation polynomial, which can be obtained.
Corollary 1.0.8 (See Corollary 6.2, [88]). Let n and k be positive integers such that gcd(n, k) = d > 1, let s be any positive integer with s(qk − 1) ≡ 0 (mod qn − 1). Let
n/d−1 X qid L1(x) = aix , ai ∈ Fq, i=0
d be a q -polynomial with L1(1) = 0, let L2 be a q-polynomial over Fq, and let G ∈
Fqn [x]. Assume s f(x) = (G(L1(x))) + L2(x)
permutes Fqn . Then L2 is a permutation of Fqn , and the inverse of f on Fqn is given by
−1 −1 −1 s f (x) = L2 x − G ◦ L2 ◦ L1(x) .
As a result of Corollary 1.0.8 we obtain Corollary 3.1.8 as well. One more example, in this case independent of Theorem 1.0.2, is the following. It makes use of a slight modification of the permutation construction given in Theorem 6.1, [3] (also appearing as Corollary 3.2 in [88]), which now takes into account the fact that p-polynomials over Fq commute with q-polynomials over Fp. Let us first define the natural map
9 n−1 n X qi vq,n : Ln(Fqn ) → Fqn given by vq,n( aix ) = (a0 a1 ··· an−1) (for simplicity we i=0 write vectors horizontally).
Theorem 1.0.9 (See Theorem 6.1, [3]). Let q = pm be the power of a prime number p, let L1,L2 be p-polynomials over Fq, let L3 be a q-polynomial over Fp, and let w ∈ Fqn [x] such that w(L3(Fqn )) ⊆ Fq. Then
f(x) = L1(x) + L2(x)w(L3(x))
¯ permutes Fqn if and only if f(x) := L1(x) + L2(x)w(x) is a permutation of L3(Fqn ),
and ϕy(x) := L1(x) + L2(x)w(y) is a permutation of ker(L3) for any y ∈ L3(Fqn ).
If f induces a permutation of Fqn , we have:
n −1 (a) If x ∈ Fq is such that ker(ϕf¯ (L3(x))) ∩ L3(SL3 ) = {0}, then the preimage of x under f is given by
−1 ¯−1 −1 f (x) = f (L3(x)) + ϕ −1 |S (x − L3(x)) . f¯ (L3(x)) L3
(b) If L3 is idempotent, then the compositional inverse of f on Fqn is given by
−1 ¯−1 −1 f (x) = f (L3(x)) + ϕ −1 |ker(L ) (x − L3(x)) , f¯ (L3(x)) 3