Characterization of Multivariate Permutation Polynomials in Positive Characteristic
|
|
- Elfreda Houston
- 5 years ago
- Views:
Transcription
1 São Paulo Journal of Mathematical Sciences 3, 1 (2009), 1 12 Characterization of Multivariate Permutation Polynomials in Positive Characteristic Pablo A. Acosta-Solarte Universidad Distrital Francisco José de Caldas, Bogotá, Colombia. address: paacostas@udistrital.edu.co Víctor S. Albis Universidad Nacional de Colombia, Bogotá, Colombia. address: valbis@accefyn.org.co and vsalbisg@unal.edu.co Abstract. Multivariate permutation polynomials over the algebra of formal series over a finite field and its residual algebras are characterized. Some known properties of permutation polynomials over finite fields are also extended. AMS Classification 2000: 13B25, 13F25, 11T55. Keywords: Multivariate permutation polynomials. 1. Introduction If R is a commutative ring let us consider the ring R[t 1,...,t n ]. In [10], W. Nöbauer introduces the following definition: For an ideal a of R and f(t 1,...,t n ) R[t 1,...,t n ] the polynomial f(t 1,...,t n ) is called a permutation polynomial modulo a if there are polynomials f 2 (t 1,...,t n ),..., f n (t 1,...,t n ) R[t 1,...,t n ] such that the mapping (α 1,...,α n ) (f(α 1,...,α n ),f 2 (α 1,...,α n ),...,f n (α 1,...,α n )) induces a permutation of the set (R/a) n into itself. If R/a is a finite set of cardinality c, a polynomial f(t 1,...,t n ) R[t 1,...,t n ] is said to be a regular polynomial modulo a if the equation f(t 1,...,t n ) a(mod a) has exactly c n 1 solutions for all amod a. Let us denote by P(a) the set of all permutation polynomials modulo a and by R(a) the set of all regular polynomials modulo a. In the same paper he gives conditions for the equality of these two sets. In particular, equality holds if R is a finite 1
2 2 Pablo A. Acosta-Solarte and VÍctor S. Albis field L, or the ring Z of the rational integers, or q is a p primary ideal of R, for which there is a positive integer m such that p m q p 2 p, and R/p m is finite. N. Lausch & W. Nöbauer have proved in [5] the following result: Proposition A. Let q be a p primary ideal of R, and q p, R/q finite. Then a polynomial f(t 1,...,t n ) R[t 1,...,t n ] is a permutation polynomial modulo q if, and only if, f(t 1,...,t n ) is a permutation polynomial mod p and the system of congruences f(t 1,...,t n ) 0(mod p), t i i = 1,...,n, (1) has no solution in R. This always will be the case for (1) The ring of rational integers Z and the ideals q ν = p ν Z and p = pz, p a prime number, ν 2. (2) The ring of p adic integers Z p and the ideals q ν = p ν Z p and p = pz p, p a prime number, ν 2. (3) The ring of formal power series L[[Z]] where L is a finite field, and the ideals q ν = (Z ν ) and and p = (Z), ν 2 (see below). Moreover, in these examples P(q) = R(q). Actually, multivariate permutation polynomials over Z/p ν Z, ν 2 have been studied quite recently often, using a variety of methods, always trying to answer the question: when a permutation polynomial over pz can be lifted to a permutation polynomial over p ν Z? (see, for example, [11, 1996], [13, 1996], [14, 1993], [15, 1995]). In this paper we will deal with case 3. Indeed, the analogous of case 1 when Z is replaced by K[X], where K is a finite field, and the prime p is replaced by an irreducible monic polynomial p(x) K[X] can be translated to case 3. For it has been established (see [2], or [12]) that K[X]/(p(X) ν ) = {λ 0 + λ 1 z ν λ ν 1 zν ν 1 ; λ i L}, where L is the finite field K[X]/(p(X)), and zν j = 0 for j ν, and the zν i, for i < ν, are 0 and linearly independent over L. From now on, K[X]/(p(X) ν ) will be denoted by L ν, and its elements by λ(z ν ). As we will see in Section 2, L[[Z]] may be considered as a projective limit of the L algebras L ν, and L[[Z]]/(Z ν ) L ν, where L 1 = L. This particular case has never been mentioned explicitly in the literature, as far as we know. For this reason, in Section 3, we present a proof of Proposition A for this particular case, leaning heavily on some interesting algebraic combinatorial arguments, which have proved to be useful in other problems concerning the arithmetic of polynomial rings over finite fields (e.g., see [2]). In a forthcoming paper we will apply the same arguments to
3 Characterization of Multivariate Permutation Polynomials in Positive Characteristic 3 explicitly study the orthogonal systems of polynomials over L[[Z]][t 1,...,t n ] to prove results similar to those contained in [9] or [11]. Finally, in section 4 we extend to this case a known result on polynomials over finite fields. 2. Preliminaries In this section, for a finite field L with q elements, we establish the properties of L[[Z]] and L ν we need for the rest of the paper. Most of what follows is found in [2]. Let { } L[[Z]] = λ(z) = λ i Z i ; λ i L be the L algebra of formal power series in the indeterminate Z and coefficients in L. This algebra is a local ring with maximal ideal (Z). The series ε(z) = ε iz i is a unit in this algebra if, and only, if ε 0 0. Also each formal power series λ(z) can be written uniquely as λ(z) = ε(z)z v(λ(z)), where ε(z) is a unit and v(λ(z)) is a uniquely determined integer 0. Therefore, the mapping defined by λ(z) v(λ(z)) if λ(z) 0 and v(0) = is a discrete valuation on L[[Z]]. The ideals (0)... (Z ν )... (Z 2 ) (Z) (2) are the only ideals of L[[Z]], and furthermore L[[Z]]/(Z ν ) L ν, a finite ring, of cardinality q ν, for all ν 1. Now L[[Z]] is the projective limit of the projective system of L algebras (L µ,(π ν,µ ) ν µ ), where the epimorphisms π ν,µ : L µ L ν are defined by λ(z µ ) = λ 0 +λ 1 z µ +...+λ µ 1 z µ µ 1 λ(z ν ) = λ 0 +λ 1 z ν +...+λ ν 1 zν ν 1 ; the canonical projections π ν : L[[Z]] L ν are thus given by ν 1 λ(z) = λ i Z i λ(z ν ) = λ i zν i, and is easily seen that L[[Z]]/(Z ν ) L ν. If f(t 1,...,t n ) L[[Z]][t 1,...,t n ], its reduction f ν (t 1,...,t n ) modulo (Z ν ) is the polynomial in L ν [t 1,...,t n ] whose coefficients are the classes modulo (Z ν ) of the coefficients of f(t 1,...,t n ). Clearly, if µ ν, π ν,µ (f µ (t 1,...,t n )) = f ν (t 1,...,t n ). We write ( ν 1 ) ν 1 τ ν := τ 1,i zν i,..., τ n,i zν i (τ i,j L) (3)
4 4 Pablo A. Acosta-Solarte and VÍctor S. Albis for an element of L n ν. If τ µ L n µ is a zero of f µ(t 1,...,t n ) and µ ν, we say that τ µ is a descendant of τ ν if π ν,µ (τ µ ) = τ ν ; obviously, if such is the case, f ν (τ ν ) = 0, and we also say that τ ν is an ascendant of τ µ. Conversely, if τ ν L n ν is a zero of f ν (t 1,...,t n ), then in L n µ, µ ν, τ ν has at most q n(µ ν) descendants, if any. A zero τ ν L n ν of f ν (t 1,...,t n ) is said to be non-singular if f 1 (π 1,ν (τ ν )) = f 1(τ 1,0,...,τ n,0 ) 0 for some j = 1,...,n. Otherwise τ ν is called a singular zero. It is clear that any descendant (resp. ascendant) of a non-singular zero is a non-singular zero. If τ ν is given by (3), let us denote by τ ν the element in L n ν given by ( ν 2 ) ν 2 τ ν := τ 1,i zν i,..., τ n,i zν i. With the above notations, in [2] the following version of Taylor s formula is proven: Lemma 2.1. If f(t 1,...,t n ) is a polynomial with coefficients in L[[Z]], then for each ν = 2,3,... we have f ν (τ ν ) = f ν ( τ ν ) + zν ν 1 f ν ( τ ν ) τ j,ν 1. (4) If for j = 1,...,n, we write f ν ( τ ν ) = β j,0 + β j,1 z ν β j,ν 1 z ν 1 ν (5) (β j,k L), then after replacing in (4) we obtain f ν (τ ν ) = f ν ( τ ν ) + τ j,ν 1 β j,0 zν ν 1. (6) Now, given f(t 1,...,t n ) with coefficients in L[[Z]], and a zero τ 1 = (τ 1,0,...,τ n,0 ) of f 1 (t 1,...,t n ) in L n 1, we will denote by d(ν;f;τ 1) the number of its descendants in L n ν (ν 1). Of course, d(1;f;τ 1 ) = 1. With this
5 Characterization of Multivariate Permutation Polynomials in Positive Characteristic 5 notation, c(ν;f) = {τ 1 ; f 1 (τ 1 )=0} d(ν;f;τ 1 ), ν 1, indicates the total number of descendants in L n ν of the solutions of f 1(τ 1 ) = 0. Lemma 2.2. [2, Proposition 2.5, part (b) and Proposition 3.1] Let f(t 1,...,t n ) be a polynomial with coefficients in L[[Z]], and let ν > 1. Then: (a) For each singular zero τ ν of f ν (t 1,...,t n ) we have Further, the zero τ ν 1 := π ν 1,ν (τ ν ) = f ν (τ ν ) = f ν ( τ ν ) (7) ) ν 2 τ 1,i zν 1,... i, τ n,i zν 1 i ( ν 2 of f ν 1 ((t 1,...,t n ) has always exactly q n descendants in L n ν. (b) For each nonsingular zero τ ν of f ν (t 1,...,t n ) we have that ( ν 2 ) ν 2 τ ν 1 := π ν 1,ν (τ ν ) = τ 1,i zν 1 i,..., τ n,i zν 1 i has always exactly q n 1 descendants in L n ν. Moreover, for all ν 2. Proof. Let us put (8) (9) d(ν;f;τ 1 ) = d(ν 1;f;τ 1 )q n 1, (10) f ν ( τ ν ) = γ 0 + γ 1 z ν γ ν 1 zν ν 1. If τ ν is a singular zero of f ν (t 1,...,t n ), then in (5), β j,0 = 0 for all j = 1,...,n. Thus we have (7). The rest of part (a) in the proposition is an inmediate consequence of (7). It follows from (6) that τ ν is a non-singular zero of f ν (t 1,...,t n ) if, and only if, γ 0 = γ 1 =... = γ ν 2 = 0, (11) and γ ν 1 + τ j,ν 1 β j,0 = 0. (12) Let us remark that (11) is equivalent to f ν 1 ( τ ν 1 ) = 0. Thus τ ν has as many descendants in L n ν as solutions has the linear equation (12). But, by
6 6 Pablo A. Acosta-Solarte and VÍctor S. Albis hypothesis, there is an index k (k = 1,...,n) such that β k,0 0; therefore, for any choice of the coefficients τ j,ν 1, j k, the equation (12) is solvable for τ k,ν 1. But there are exactly q n 1 choices for the τ j,ν 1 (j k), hence q n 1 descendants of τ ν 1. Finally, let us notice that the foregoing argument also shows that (12) is always solvable, from which the last part of the Lemma follows. 3. Characterization of multivariate permutation polynomials Let us recall that a polynomial f(t) L[t] is said a permutation polynomial if the mapping induced on the field L is bijective. The same definition works for f ν (t) L ν [t], for ν = 1,2,..., and f(t) L[[Z]][t]. In [1] we proved that f(t) L[[Z]][t] is a permutation polynomial if, and only if, f 1 (t) L[t] is a permutation polynomial with no singular zeroes. In the this section we obtain a similar characterization for multivariate polynomials. Using the notation established in Section 1, W. Nöbauer [10] proves the following: Lemma 3.1. [10, Property 3)] Let R be a commutative ring such that R/a is a finite ring for all ideals a of R, then: [(v)] If p is a prime ideal of R and q is a p primary ideal, and p m q p 2 p, for some m N, then P(q) = R(q). The fact that the ideals of L[[Z]] satisfy (2), implies that the radical of (Z ν ) is (Z), and, since this ideal is maximal, (Z ν ) is (Z) primary. This said, and since (Z ν ) = (Z) ν (Z 2 ) (Z), Lemma 3.1 proves that P((Z ν )) = R((Z ν )) for all ν 1. Thus Lemma 3.2. The polynomial f(t 1,...,t n ) L[[Z]][t 1,...,t n ] induces a permutation polynomial over L ν if, and only if, the equation f ν (t 1,...,t n ) = α(z ν ), for each α(z ν ) L ν has exactly q ν(n 1) solutions. Lemma 3.3. If the polynomial f ν (t 1,...,t n ) is a permutation polynomial over L ν, then f ν 1 (t 1,...,t n ) is a permutation polynomial over L ν 1. In particular, f 1 (t 1,...,t n ) L[t 1,...,t n ] is a permutation polynomial. Proof. Let f ν (t 1,...,t n ) L ν [t 1,...,t n ] be a permutation polynomial and consider the equation f ν 1 (t 1,...,t n ) = α(z ν 1 ), where α(z ν 1 ) = α 0 + α 1 z ν α ν 2 zν 1 ν 2 L ν 1. Let N denote the number of solutions of this equation in L n ν 1. On the other hand, there are q elements α(z ν) = α 0 +α 1 z ν +...+α ν 2 zν ν 2 +λ ν 1 zu ν 1 L ν, one for each λ ν 1 L, such that π ν 1,ν (α(z ν )) = α(z ν 1 ). Then, by hypothesis, for each of the above α(z ν ),
7 Characterization of Multivariate Permutation Polynomials in Positive Characteristic 7 the equation f ν (t 1,...,t n ) = α(z ν ) has q ν(n 1) distinct solutions in L n ν, all of which are descendants of the solutions of f ν 1 (t 1,...,t n ) = α(z ν 1 ). Thus q ν(n 1) = Nq n 1 and N = q (ν 1)(n 1). Let f(t 1,...,t n ) L[[Z]][t 1,...,t n ] be such that f 1 (t 1,...,t n ) L[t 1,...,t n ] is a permutation polynomial. We ask now when this polynomial can be lifted to a permutation polynomial f ν (t 1,...,t n ) L ν [t 1,...,t n ]. Proposition 3.1. Let f(t 1,...,t n ) L[[Z]][t 1,...,t n ] be such that f 1 (t 1,...,t n ) is a permutation polynomial. Then (i) If all the zeroes of f 1 (t 1,...,t n ) α 0 L[t 1,...,t n ] are nonsingular, then the polynomials f ν (t 1,...,t n ) L ν [t 1,...,t n ] are permutation polynomials, for all ν 1. (ii) Conversely, if at least one solution of the equation f 1 (t 1,...,t n ) α 0 = 0 is singular then f ν (t 1,...,t n ) is not a permutation polynomial over L ν for ν 2. Proof. (i) By hypothesis, the zeroes of the polynomial H 1 = f 1 (t 1,...,t n ) α 0 are nonsingular, and each one of them has exactly q (ν 1)(n 1) descendants in L n ν for all ν 2, from Lemma 2.2, (b). Since there are exactly q n 1 zeroes of H 1 (t 1,...,t n ) in L n, the result now follows. (ii) Let τ 1 = (τ 1,0,...,τ n,0 ) be a singular zero of f 1 (t 1,...,t n ) L[t 1,...,t n ], and suppose that there exists a descendant τ 2 = (τ 1,0 + τ 1,1 z 2,...,τ n,0 + τ n,1 z 2 ) of τ 1 in L n 2. Then by Lemma 2.2, (a), τ 1 has exactly q n descendants in L n 2. Since, by hypothesis, the equation f 1 (t 1,...,t n ) = 0 has exactly q n 1 solutions, the equation f 2 (t 1,...,t n ) = 0 has exactly q n q n 1 = q 2n 1 > q 2(n 1) solutions, showing that f 2 (t 1,...,t n ) is not a permutation polynomial. Thus in order to f ν (t 1,...,t n ) be a permutation polynomial for ν 2 all the zeroes of the polynomial f 1 (t 1,...,t n ) α 0 must be nonsingular. The above result suggest the following definition: a polynomial f(t 1,...,t n ) L[[Z]][t 1,...,t n ] is a permutation polynomial if f 1 (t 1,...,t n ) L[t 1,...,t n ] is a permutation polynomial and the zeroes of f 1 (t 1,...,t n ) α 0 are nonsingular for all α 0 L. Combining the above results we can state now the following characterization of permutation polynomials.
8 8 Pablo A. Acosta-Solarte and VÍctor S. Albis Proposition 3.2. The polynomial f(t 1,...,t n ) L[[Z]][t 1,...,t n ] is a permutation polynomial if, and only if, f ν (t 1,...,t n ) L ν [t 1,...,t n ] is a permutation polynomial for each ν = 1, 2,... If H 1 = f 1 (t 1,...,t n ) α 0, and since H 1 (t 1,...,t n ) = f 1(t 1,...,t n ), t i t i the above result is a rewording of the more general Proposition A in the case considered here. Since L[[Z]] is a unique factorization domain, the elements of L[[Z]][t 1,...,t n ] can be uniquely written as f(t 1,...,t n ) = ε(z)z r f (t 1,...,t n ), (13) where ε(z)z r, r 0, is the content of f(t 1,...,t n ) and f (t 1,...,t n ) is primitive. From (13) it follows that f ν (t 1,...,t n ) is identically the null polynomial if r ν 1, i.e., it is not a permutation polynomial. Therefore, in our context we must assume always that the polynomials considered are primitive. 4. Some consequences In this section we generalize a result on multivariate permutation polynomials over a finite field found in [8], though remarking that this is not the only one that could be generalized. The following result, which provides a tool to find from known ones new permutation polynomials, is proved by W. Nöbauer in [10, p. 338]. Proposition B. If m < n and h(t m+1,...,t n ) R[t m+1,...,t n ] is a permutation polynomial modulo the ideal a, and g(t 1,...,t m ) R[t 1,...,t m ] is an arbitrary polynomial, then the polynomial g(t 1,...,t m )+h(t m+1,...,t n ) is a permutation polynomial modulo a. In particular, every permutation polynomial modulo a in R[t 1,...,t m ] is again a permutation polynomial modulo a in R[t 1,...,t n ]. Its translation to the case which occupies us, reads thus as follows: Proposition 4.1. Suppose that f(t 1,...,t n ) L[[Z]][t 1,...,t n ] is of the form f(t 1,...,t n ) = g(t 1...,t m ) + h(t m+1,...,t n ), 1 m < n, where h L[[Z]][t m+1,...,t n ] is a permutation polynomial and g L[[Z]][t 1,...,t m ]. Then f is a permutation polynomial. In particular, every permutation polynomial in L[[Z]][t 1,...,t m ] is a permutation polynomial in L[[Z]][t 1,...,t n ].
9 Characterization of Multivariate Permutation Polynomials in Positive Characteristic 9 Proof. Here we provide a direct proof of this Proposition based on our previous results and techniques. Indeed, if f(t 1,...,t n ) L[[Z]][t 1,...,t n ] is such that f(t 1,...,t n ) = g(t 1...,t m ) + h(t m+1,...,t n ), where h(t m+1,...,t n ) L[[Z]][t m+1,...,t n ] is a permutation polynomial, let us assume that τ 1 = (τ 1,0,...,τ m,0,τ m+1,0,...,τ n,0 ) is a singular zero of H 1 (t 1,...,t n ) = f 1 (t 1,...,t n ) α 0, so that H 1 (τ 1 ) = f 1 (τ 1 ) = g 1 (τ 1,0,...,τ m,0 ) + h 1 (τ m+1,0,...,τ n,0 ) = 0 for all j = 1,...,n. But for j m + 1, g 1 (τ 1,0,...,τ m,0 ) = 0 always, and consequently h 1 (τ m+1,0,...,τ n,0 ) = 0 for j m + 1. But this means that h L[[Z]][t m+1,...,t n ] is not a permutation polynomial (Proposition 3.1). Let us recall now that for a commutative ring with unity R, a nonsingular linear transformation in R n is defined as a system of equations t i = a ij y j + b i (i = 1,...,n), where a ij, b i R and det(a ij ) R. In particular, for a polynomial f(t 1,...,t n ) L[[Z]][t 1,...,t n ], we define a nonsingular linear transformation of its indeterminates to be a transformation of the form t i = α ij (Z)y j + β i (Z), (14) where α ij (Z), β i (Z) L[[Z]], and det(α ij (Z)) = det(a) L[[Z]]. If we write det(α ij (Z)) = ε 0 + ε k Z k, ε 0 0, it is clear that π ν (det(a)) = ε 0 + ε 1 z ν ε ν 1 zν ν 1 L ν. Therefore the projection of (14) by π ν t i = α ij (z ν )y j + β(z ν ), i = 1,...,n, (15) k=1
10 10 Pablo A. Acosta-Solarte and VÍctor S. Albis is a non-singular linear transformation of the indeterminates, since π ν (det(a)) = det(α ij (z ν )) L ν. In particular, π 1 (det(a)) = ε 0 0, and t i = α ij,0 y j + β i,0 where α ij,0 = π 1 (α ij (Z)) and β i,0 = π 1 (β i (Z)) is a nonsingular linear transformation in L n. Conversely, the nonsingular linear transformation in L n t i = α ij y j + β i α ij,β i L (16) is a nonsingular linear transformation in L[[Z]] n. By abuse of language we still write f(y 1,...,y n ) L[[Z]][y 1,y 2,...,y n ] (resp., f ν (y 1,...,y n ) L ν [y 1,y 2,...,y n ], ν = 1,2,...) for the polynomial obtained from f(t 1,...,t n ) L[[Z]][t 1,t 2,...,t n ] (resp., f ν (t 1,...,t n ) L ν [t 1,...,t n ], ν =1,2,...) under the nonsingular linear transformation (14) (resp., (15)). Let now f(t 1,...,t n ) L[[Z]][t 1,...,t n ] be a permutation polynomial and let τ 0 = (τ 1,0,τ 2,0,...,τ n,0 ) be one of the q n 1 nonsingular zeroes of f 1 (t 1,...,t n ) α, for some α L. Using (16) we obtain, putting γ i,0 = τ i,0 β i, γ 1,0 = α 11 y 1 + α 12 y α 1n y n γ 2,0 = α 21 y 1 + α 22 y α 2n y n. γ n,0 = α n1 y 1 + α n2 y α nn y n, Since det(α ij ) 0, the above system has a unique solution τ 0 = (ξ 1,...,ξ n ) which is then a zero of f 1 (y 1,y 2,...,y n ) α. Thus we have shown that the property of being a permutation polynomial over a finite field L is invariant under singular linear transformations of the indeterminates. Now we will prove that if for α L all the zeroes of f 1 (t 1,...,t n ) α are nonsingular, then all the zeroes of f 1 (y 1,y 2,...,y n ) α are nonsingular. Indeed, let τ 0 be a zero of f 1 (t 1,...,t n ) α, and τ 0 the corresponding zero under (16). If τ 0 were singular, then for j = 1, 2,..., n, we would have f 1 (τ 0 ) = f 1(τ 0 ) t f 1(τ 0 ) t n y j t 1 y j t n y j = f 1(τ 0 ) α 1j f 1(τ 0 ) α nj = 0 t 1 t n
11 Characterization of Multivariate Permutation Polynomials in Positive Characteristic 11 Since det(α ij ) 0, the above system of linear homogeneous equations has a unique solution, the null vector. Therefore f 1(τ 0 ) t i = 0 for all i = 1,..., n, which forces τ 0 to be a singular zero of f 1 (t 1,...,t n ), contradicting our initial choice of τ 0. Thus we have proved Proposition 4.2. Let f(t 1,...,t n ) L[[Z]][t 1,...,t n ] be a permutation polynomial. If t i = α ij (Z)y j + β i (Z), (17) is a nonsingular transformation of the variables of f(t 1,...,t n ) then f(y 1,...,y n ), the polynomial obtained by the transformation of the variables of f(t 1,...,t n ), is again a permutation polynomial. Two polynomials f and g in L[[Z]][t 1,...,t n ] are called equivalent if f and g can be transformed into each other by nonsingular linear transformations of its variables. Proposition 4.3. Let f(t 1,...,t n ) L[[Z]][t 1,...,t n ] be a polynomial. If f(t 1,...,t n ) is equivalent to a polynomial of the form g(t 1,...,t n 1 ) + t n, where g(t 1,...,t n 1 ) L[[Z]][t 1,...,t n 1 ], then f is a permutation polynomial. Proof. Let (17) be the nonsingular linear transformation taking f(t 1,...,t n ) into g(t 1,...,t n 1 )+t n. Since t n is a permutation polynomial this transformed polynomial is a permutation polynomial, by proposition 4.2. Applying the inverse nonsingular transformation, Proposition 4.2 tells us that the polynomial f(t 1,...,t n ) is a permutation polynomial. References [1] Acosta, P. A. & Albis, V. S. Permutation polynomials in one indeterminate over modular algebras, Rev. Acad. Colomb. Cienc. 30 No. 117 (2006), [MR: ] [2] Albis, V. S. & Chaparro, R. On a conjeture of Borevich and Shafarevich, Rev. Acad. Colomb. Cienc. 21 (1997), [MR: 98g:11130]. [3] Albis, V. S. Polinomios de permutación. Algunos problemas de interés, Lecturas Matemáticas 22 (2001), [MR: ] [4] Dickson, L. E. Linear Groups with an Exposition of the Galois Field Theory. Dover Publi.: New York, [5] Lausch, H. & Nöbauer, W. Algebra of Polynomials., North Holland: Amsterdam & London: [6] Lidl, R. & Niederreiter, H. Introduction to Finite Fields and their Aplications. Cambridge University Press.: Inglaterra, 1986.
12 12 Pablo A. Acosta-Solarte and VÍctor S. Albis [7] Lidl, R. & Niederreiter, H. Finite Fields, Encycl. of Math. and its Appl., Addison Wesley Pub. Comp. Reading Mass., [MR: 86c:11106]. [8] Niederreiter, H. Permutation polynomials in several variables over finite fields, Proc. Japan Acad. 46 No. 9 (1970), [MR: 44#5298]. [9] Niederreiter, H. Orthogonal systems of polynomials in finite fields, Proc. Amer. Math. Soc. 28 (1971), [MR:45# 230]. [10] Nöbauer, Wilfried. Zur Theorie der Polynomtransformationen und Permutations polynome, Math. Annalen 157 (1964), [11] Shiue, P. J. S; Sun, Q. & Zhang, Q. Multivariate permutation polynomials and orthogonal systems over residue class rings, Chinese. Ann. Math. Ser. A. 17 No. 1 (1996), [In Chinese] [MR: 97e:11152]. [12] Smits, T. H. On the group of units of GF(q)[X]/(a(X)). Indag. Math. 44 (1982), [13] Sun, Q. A note on permutation polynomials vectors over Z/mZ, Adv. Math. (China) 25 No. 1 (1996), [In Chinese] [MR: 98h:11157]. [14] Zhang, Q. On the polynomials in several indeterminates which can be extended to permutation polynomial vector over Z/p l Z, Adv. Math. 22 No. 5 (1993), [15] Zhang, Q. Permutation polynomials in several indeterminates over Z/mZ, Chinese Ann. Math. Ser. A. 16 No. 2 (1995), [In Chinese] [MR: 96g:11143].
On Permutation Polynomials over Local Finite Commutative Rings
International Journal of Algebra, Vol. 12, 2018, no. 7, 285-295 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ija.2018.8935 On Permutation Polynomials over Local Finite Commutative Rings Javier
More informationA Weil bound free proof of Schur s conjecture
A Weil bound free proof of Schur s conjecture Peter Müller Department of Mathematics University of Florida Gainesville, FL 32611 E-mail: pfm@math.ufl.edu Abstract Let f be a polynomial with coefficients
More informationOn components of vectorial permutations of F n q
On components of vectorial permutations of F n q Nurdagül Anbar 1, Canan Kaşıkcı 2, Alev Topuzoğlu 2 1 Johannes Kepler University, Altenbergerstrasse 69, 4040-Linz, Austria Email: nurdagulanbar2@gmail.com
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationMATH 326: RINGS AND MODULES STEFAN GILLE
MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called
More informationSign changes of Fourier coefficients of cusp forms supported on prime power indices
Sign changes of Fourier coefficients of cusp forms supported on prime power indices Winfried Kohnen Mathematisches Institut Universität Heidelberg D-69120 Heidelberg, Germany E-mail: winfried@mathi.uni-heidelberg.de
More informationMIT Algebraic techniques and semidefinite optimization February 16, Lecture 4
MIT 6.972 Algebraic techniques and semidefinite optimization February 16, 2006 Lecture 4 Lecturer: Pablo A. Parrilo Scribe: Pablo A. Parrilo In this lecture we will review some basic elements of abstract
More informationVARGA S THEOREM IN NUMBER FIELDS
VARGA S THEOREM IN NUMBER FIELDS PETE L. CLARK AND LORI D. WATSON Abstract. We give a number field version of a recent result of Varga on solutions of polynomial equations with binary input variables and
More informationOn the degree of local permutation polynomials
On the degree of local permutation polynomials Wiebke S. Diestelkamp Department of Mathematics University of Dayton Dayton, OH 45469-2316 wiebke@udayton.edu Stephen G. Hartke Department of Mathematics
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationCOMMUTATIVE SEMIFIELDS OF ORDER 243 AND 3125
COMMUTATIVE SEMIFIELDS OF ORDER 243 AND 3125 ROBERT S. COULTER AND PAMELA KOSICK Abstract. This note summarises a recent search for commutative semifields of order 243 and 3125. For each of these two orders,
More informationBENT POLYNOMIALS OVER FINITE FIELDS
BENT POLYNOMIALS OVER FINITE FIELDS ROBERT S COULTER AND REX W MATTHEWS Abstract. The definition of bent is redefined for any finite field. Our main result is a complete description of the relationship
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationp-cycles, S 2 -sets and Curves with Many Points
Facultad de Ciencias Naturales y Exactas Universidad del Valle p-cycles, S 2 -sets and Curves with Many Points Álvaro Garzón R. Universidad del Valle Received: December 16, 2016 Accepted: June 13, 2017
More informationinv lve a journal of mathematics 2008 Vol. 1, No. 2 Invariant polynomials and minimal zero sequences mathematical sciences publishers
inv lve a journal of mathematics Invariant polynomials and minimal zero sequences Bryson W. Finklea, Terri Moore, Vadim Ponomarenko and Zachary J. Turner mathematical sciences publishers 2008 Vol. 1, No.
More informationOn some congruence properties of elliptic curves
arxiv:0803.2809v5 [math.nt] 19 Jun 2009 On some congruence properties of elliptic curves Derong Qiu (School of Mathematical Sciences, Institute of Mathematics and Interdisciplinary Science, Capital Normal
More informationAn Additive Characterization of Fibers of Characters on F p
An Additive Characterization of Fibers of Characters on F p Chris Monico Texas Tech University Lubbock, TX c.monico@ttu.edu Michele Elia Politecnico di Torino Torino, Italy elia@polito.it January 30, 2009
More informationDynamics of finite linear cellular automata over Z N
Dynamics of finite linear cellular automata over Z N F. Mendivil, D. Patterson September 9, 2009 Abstract We investigate the behaviour of linear cellular automata with state space Z N and only finitely
More informationOn The Weights of Binary Irreducible Cyclic Codes
On The Weights of Binary Irreducible Cyclic Codes Yves Aubry and Philippe Langevin Université du Sud Toulon-Var, Laboratoire GRIM F-83270 La Garde, France, {langevin,yaubry}@univ-tln.fr, WWW home page:
More informationOn the Cancellation Problem for the Affine Space A 3 in characteristic p
On the Cancellation Problem for the Affine Space A 3 in characteristic p Neena Gupta School of Mathematics, Tata Institute of Fundamental Research Dr. Homi Bhabha Road, Colaba, Mumbai 400005, India e-mail
More informationMath 121 Homework 2 Solutions
Math 121 Homework 2 Solutions Problem 13.2 #16. Let K/F be an algebraic extension and let R be a ring contained in K that contains F. Prove that R is a subfield of K containing F. We will give two proofs.
More informationFormal Groups. Niki Myrto Mavraki
Formal Groups Niki Myrto Mavraki Contents 1. Introduction 1 2. Some preliminaries 2 3. Formal Groups (1 dimensional) 2 4. Groups associated to formal groups 9 5. The Invariant Differential 11 6. The Formal
More informationFactorization of integer-valued polynomials with square-free denominator
accepted by Comm. Algebra (2013) Factorization of integer-valued polynomials with square-free denominator Giulio Peruginelli September 9, 2013 Dedicated to Marco Fontana on the occasion of his 65th birthday
More informationGALOIS GROUPS AS PERMUTATION GROUPS
GALOIS GROUPS AS PERMUTATION GROUPS KEITH CONRAD 1. Introduction A Galois group is a group of field automorphisms under composition. By looking at the effect of a Galois group on field generators we can
More informationChapter 4. Characters and Gauss sums. 4.1 Characters on finite abelian groups
Chapter 4 Characters and Gauss sums 4.1 Characters on finite abelian groups In what follows, abelian groups are multiplicatively written, and the unit element of an abelian group A is denoted by 1 or 1
More informationA COMPUTATION OF MINIMAL POLYNOMIALS OF SPECIAL VALUES OF SIEGEL MODULAR FUNCTIONS
MATHEMATICS OF COMPUTATION Volume 7 Number 4 Pages 969 97 S 5-571814-8 Article electronically published on March A COMPUTATION OF MINIMAL POLYNOMIALS OF SPECIAL VALUES OF SIEGEL MODULAR FUNCTIONS TSUYOSHI
More informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
More informationGalois fields/1. (M3) There is an element 1 (not equal to 0) such that a 1 = a for all a.
Galois fields 1 Fields A field is an algebraic structure in which the operations of addition, subtraction, multiplication, and division (except by zero) can be performed, and satisfy the usual rules. More
More informationKrull Dimension and Going-Down in Fixed Rings
David Dobbs Jay Shapiro April 19, 2006 Basics R will always be a commutative ring and G a group of (ring) automorphisms of R. We let R G denote the fixed ring, that is, Thus R G is a subring of R R G =
More informationVARGA S THEOREM IN NUMBER FIELDS. Pete L. Clark Department of Mathematics, University of Georgia, Athens, Georgia. Lori D.
#A74 INTEGERS 18 (2018) VARGA S THEOREM IN NUMBER FIELDS Pete L. Clark Department of Mathematics, University of Georgia, Athens, Georgia Lori D. Watson 1 Department of Mathematics, University of Georgia,
More informationOn the vanishing of Tor of the absolute integral closure
On the vanishing of Tor of the absolute integral closure Hans Schoutens Department of Mathematics NYC College of Technology City University of New York NY, NY 11201 (USA) Abstract Let R be an excellent
More informationThe Number of Rational Points on Elliptic Curves and Circles over Finite Fields
Vol:, No:7, 008 The Number of Rational Points on Elliptic Curves and Circles over Finite Fields Betül Gezer, Ahmet Tekcan, and Osman Bizim International Science Index, Mathematical and Computational Sciences
More informationp-adic fields Chapter 7
Chapter 7 p-adic fields In this chapter, we study completions of number fields, and their ramification (in particular in the Galois case). We then look at extensions of the p-adic numbers Q p and classify
More informationInvariant Polynomials and Minimal Zero Sequences
Invariant Polynomials and Minimal Zero Sequences Bryson W. Finklea St. John s College (undergraduate Terri Moore University of Washington (undergraduate Vadim Ponomarenko Department of Mathematics and
More informationChapter 5. Modular arithmetic. 5.1 The modular ring
Chapter 5 Modular arithmetic 5.1 The modular ring Definition 5.1. Suppose n N and x, y Z. Then we say that x, y are equivalent modulo n, and we write x y mod n if n x y. It is evident that equivalence
More informationDONG QUAN NGOC NGUYEN
REPRESENTATION OF UNITS IN CYCLOTOMIC FUNCTION FIELDS DONG QUAN NGOC NGUYEN Contents 1 Introduction 1 2 Some basic notions 3 21 The Galois group Gal(K /k) 3 22 Representation of integers in O, and the
More informationARITHMETIC PROGRESSIONS IN CYCLES OF QUADRATIC POLYNOMIALS
ARITHMETIC PROGRESSIONS IN CYCLES OF QUADRATIC POLYNOMIALS TIMO ERKAMA It is an open question whether n-cycles of complex quadratic polynomials can be contained in the field Q(i) of complex rational numbers
More informationCongruences involving product of intervals and sets with small multiplicative doubling modulo a prime
Congruences involving product of intervals and sets with small multiplicative doubling modulo a prime J. Cilleruelo and M. Z. Garaev Abstract We obtain a sharp upper bound estimate of the form Hp o(1)
More informationALGEBRA EXERCISES, PhD EXAMINATION LEVEL
ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)
More informationOn Systems of Diagonal Forms II
On Systems of Diagonal Forms II Michael P Knapp 1 Introduction In a recent paper [8], we considered the system F of homogeneous additive forms F 1 (x) = a 11 x k 1 1 + + a 1s x k 1 s F R (x) = a R1 x k
More informationQuasi-reducible Polynomials
Quasi-reducible Polynomials Jacques Willekens 06-Dec-2008 Abstract In this article, we investigate polynomials that are irreducible over Q, but are reducible modulo any prime number. 1 Introduction Let
More informationPermuting the partitions of a prime
Journal de Théorie des Nombres de Bordeaux 00 (XXXX), 000 000 Permuting the partitions of a prime par Stéphane VINATIER Résumé. Étant donné un nombre premier p impair, on caractérise les partitions l de
More informationAlgebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.
More informationHow many units can a commutative ring have?
How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the
More informationAlgebra Review 2. 1 Fields. A field is an extension of the concept of a group.
Algebra Review 2 1 Fields A field is an extension of the concept of a group. Definition 1. A field (F, +,, 0 F, 1 F ) is a set F together with two binary operations (+, ) on F such that the following conditions
More informationAlgebraic function fields
Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which
More informationQ N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of
Additional Problems 1. Let A be a commutative ring and let 0 M α N β P 0 be a short exact sequence of A-modules. Let Q be an A-module. i) Show that the naturally induced sequence is exact, but that 0 Hom(P,
More informationABSTRACT NONSINGULAR CURVES
ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine n-space the collection A n k of points P = a 1, a,..., a
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics GROUP ACTIONS ON POLYNOMIAL AND POWER SERIES RINGS Peter Symonds Volume 195 No. 1 September 2000 PACIFIC JOURNAL OF MATHEMATICS Vol. 195, No. 1, 2000 GROUP ACTIONS ON POLYNOMIAL
More informationPERFECT POLYNOMIALS OVER F p WITH p + 1 IRREDUCIBLE DIVISORS. 1. Introduction. Let p be a prime number. For a monic polynomial A F p [x] let d
PERFECT POLYNOMIALS OVER F p WITH p + 1 IRREDUCIBLE DIVISORS L. H. GALLARDO and O. RAHAVANDRAINY Abstract. We consider, for a fixed prime number p, monic polynomials in one variable over the finite field
More informationAbsolute Values and Completions
Absolute Values and Completions B.Sury This article is in the nature of a survey of the theory of complete fields. It is not exhaustive but serves the purpose of familiarising the readers with the basic
More informationTOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction
TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS KEITH CONRAD A (monic) polynomial in Z[T ], 1. Introduction f(t ) = T n + c n 1 T n 1 + + c 1 T + c 0, is Eisenstein at a prime p when each coefficient
More informationRings and groups. Ya. Sysak
Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...
More informationA Proof of the Lucas-Lehmer Test and its Variations by Using a Singular Cubic Curve
1 47 6 11 Journal of Integer Sequences, Vol. 1 (018), Article 18.6. A Proof of the Lucas-Lehmer Test and its Variations by Using a Singular Cubic Curve Ömer Küçüksakallı Mathematics Department Middle East
More informationA GRAPHICAL REPRESENTATION OF RINGS VIA AUTOMORPHISM GROUPS
A GRAPHICAL REPRESENTATION OF RINGS VIA AUTOMORPHISM GROUPS N. MOHAN KUMAR AND PRAMOD K. SHARMA Abstract. Let R be a commutative ring with identity. We define a graph Γ Aut R (R) on R, with vertices elements
More informationHecke Operators, Zeta Functions and the Satake map
Hecke Operators, Zeta Functions and the Satake map Thomas R. Shemanske December 19, 2003 Abstract Taking advantage of the Satake isomorphism, we define (n + 1) families of Hecke operators t n k (pl ) for
More informationGENERATING SERIES FOR IRREDUCIBLE POLYNOMIALS OVER FINITE FIELDS
GENERATING SERIES FOR IRREDUCIBLE POLYNOMIALS OVER FINITE FIELDS ARNAUD BODIN Abstract. We count the number of irreducible polynomials in several variables of a given degree over a finite field. The results
More informationGeneralized hyper-bent functions over GF(p)
Discrete Applied Mathematics 55 2007) 066 070 Note Generalized hyper-bent functions over GFp) A.M. Youssef Concordia Institute for Information Systems Engineering, Concordia University, Montreal, QC, H3G
More informationTOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction
TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS KEITH CONRAD A (monic) polynomial in Z[T ], 1. Introduction f(t ) = T n + c n 1 T n 1 + + c 1 T + c 0, is Eisenstein at a prime p when each coefficient
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationModularity of Abelian Varieties
1 Modularity of Abelian Varieties This is page 1 Printer: Opaque this 1.1 Modularity Over Q Definition 1.1.1 (Modular Abelian Variety). Let A be an abelian variety over Q. Then A is modular if there exists
More informationNUMERICAL MONOIDS (I)
Seminar Series in Mathematics: Algebra 2003, 1 8 NUMERICAL MONOIDS (I) Introduction The numerical monoids are simple to define and naturally appear in various parts of mathematics, e.g. as the values monoids
More informationINVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II J. M.
More informationDOUGLAS J. DAILEY AND THOMAS MARLEY
A CHANGE OF RINGS RESULT FOR MATLIS REFLEXIVITY DOUGLAS J. DAILEY AND THOMAS MARLEY Abstract. Let R be a commutative Noetherian ring and E the minimal injective cogenerator of the category of R-modules.
More informationMA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES
MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018 57 5. p-adic Numbers 5.1. Motivating examples. We all know that 2 is irrational, so that 2 is not a square in the rational field Q, but that we can
More informationSparsity of Matrix Canonical Forms. Xingzhi Zhan East China Normal University
Sparsity of Matrix Canonical Forms Xingzhi Zhan zhan@math.ecnu.edu.cn East China Normal University I. Extremal sparsity of the companion matrix of a polynomial Joint work with Chao Ma The companion matrix
More informationUNIQUENESS OF NON-ARCHIMEDEAN ENTIRE FUNCTIONS SHARING SETS OF VALUES COUNTING MULTIPLICITY
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 127, Number 4, April 1999, Pages 967 971 S 0002-9939(99)04789-9 UNIQUENESS OF NON-ARCHIMEDEAN ENTIRE FUNCTIONS SHARING SETS OF VALUES COUNTING MULTIPLICITY
More informationRings With Topologies Induced by Spaces of Functions
Rings With Topologies Induced by Spaces of Functions Răzvan Gelca April 7, 2006 Abstract: By considering topologies on Noetherian rings that carry the properties of those induced by spaces of functions,
More informationLEGENDRE S THEOREM, LEGRANGE S DESCENT
LEGENDRE S THEOREM, LEGRANGE S DESCENT SUPPLEMENT FOR MATH 370: NUMBER THEORY Abstract. Legendre gave simple necessary and sufficient conditions for the solvablility of the diophantine equation ax 2 +
More informationA BRIEF INTRODUCTION TO LOCAL FIELDS
A BRIEF INTRODUCTION TO LOCAL FIELDS TOM WESTON The purpose of these notes is to give a survey of the basic Galois theory of local fields and number fields. We cover much of the same material as [2, Chapters
More informationLow-discrepancy sequences obtained from algebraic function fields over finite fields
ACTA ARITHMETICA LXXII.3 (1995) Low-discrepancy sequences obtained from algebraic function fields over finite fields by Harald Niederreiter (Wien) and Chaoping Xing (Hefei) 1. Introduction. We present
More informationON FUNCTIONS WHOSE GRAPH IS A HAMEL BASIS II
To the memory of my Mother ON FUNCTIONS WHOSE GRAPH IS A HAMEL BASIS II KRZYSZTOF P LOTKA Abstract. We say that a function h: R R is a Hamel function (h HF) if h, considered as a subset of R 2, is a Hamel
More informationKUMMER S LEMMA KEITH CONRAD
KUMMER S LEMMA KEITH CONRAD Let p be an odd prime and ζ ζ p be a primitive pth root of unity In the ring Z[ζ], the pth power of every element is congruent to a rational integer mod p, since (c 0 + c 1
More informationTIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH
TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH 1. Introduction Throughout our discussion, all rings are commutative, Noetherian and have an identity element. The notion of the tight closure
More informationIrreducible subgroups of algebraic groups
Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland
More informationFOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2
FOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2 CAMERON FRANC AND GEOFFREY MASON Abstract. We prove the following Theorem. Suppose that F = (f 1, f 2 ) is a 2-dimensional vector-valued
More informationInflection Points on Real Plane Curves Having Many Pseudo-Lines
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 42 (2001), No. 2, 509-516. Inflection Points on Real Plane Curves Having Many Pseudo-Lines Johannes Huisman Institut Mathématique
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationACI-matrices all of whose completions have the same rank
ACI-matrices all of whose completions have the same rank Zejun Huang, Xingzhi Zhan Department of Mathematics East China Normal University Shanghai 200241, China Abstract We characterize the ACI-matrices
More informationAN INTRODUCTION TO GALOIS THEORY
AN INTRODUCTION TO GALOIS THEORY STEVEN DALE CUTKOSKY In these notes we consider the problem of constructing the roots of a polynomial. Suppose that F is a subfield of the complex numbers, and f(x) is
More informationbut no smaller power is equal to one. polynomial is defined to be
13. Radical and Cyclic Extensions The main purpose of this section is to look at the Galois groups of x n a. The first case to consider is a = 1. Definition 13.1. Let K be a field. An element ω K is said
More informationAlgebra. Modular arithmetic can be handled mathematically by introducing a congruence relation on the integers described in the above example.
Coding Theory Massoud Malek Algebra Congruence Relation The definition of a congruence depends on the type of algebraic structure under consideration Particular definitions of congruence can be made for
More informationRings. EE 387, Notes 7, Handout #10
Rings EE 387, Notes 7, Handout #10 Definition: A ring is a set R with binary operations, + and, that satisfy the following axioms: 1. (R, +) is a commutative group (five axioms) 2. Associative law for
More informationNONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES
NONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES KENTA UEYAMA Abstract. Gorenstein isolated singularities play an essential role in representation theory of Cohen-Macaulay modules. In this article,
More informationDUALITY, CENTRAL CHARACTERS, AND REAL-VALUED CHARACTERS OF FINITE GROUPS OF LIE TYPE
DUALITY, CENTRAL CHARACTERS, AND REAL-VALUED CHARACTERS OF FINITE GROUPS OF LIE TYPE C. RYAN VINROOT Abstract. We prove that the duality operator preserves the Frobenius- Schur indicators of characters
More informationMath Introduction to Modern Algebra
Math 343 - Introduction to Modern Algebra Notes Field Theory Basics Let R be a ring. M is called a maximal ideal of R if M is a proper ideal of R and there is no proper ideal of R that properly contains
More informationDIVISIBLE MULTIPLICATIVE GROUPS OF FIELDS
DIVISIBLE MULTIPLICATIVE GROUPS OF FIELDS GREG OMAN Abstract. Some time ago, Laszlo Fuchs asked the following question: which abelian groups can be realized as the multiplicative group of (nonzero elements
More informationOSTROWSKI S THEOREM. Contents
OSTROWSKI S THEOREM GEUNHO GIM Contents. Ostrowski s theorem for Q 2. Ostrowski s theorem for number fields 2 3. Ostrowski s theorem for F T ) 4 References 5. Ostrowski s theorem for Q Definition.. A valuation
More informationON HOCHSCHILD EXTENSIONS OF REDUCED AND CLEAN RINGS
Communications in Algebra, 36: 388 394, 2008 Copyright Taylor & Francis Group, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870701715712 ON HOCHSCHILD EXTENSIONS OF REDUCED AND CLEAN RINGS
More informationON VALUES OF CYCLOTOMIC POLYNOMIALS. V
Math. J. Okayama Univ. 45 (2003), 29 36 ON VALUES OF CYCLOTOMIC POLYNOMIALS. V Dedicated to emeritus professor Kazuo Kishimoto on his seventieth birthday Kaoru MOTOSE In this paper, using properties of
More informationLIFTED CODES OVER FINITE CHAIN RINGS
Math. J. Okayama Univ. 53 (2011), 39 53 LIFTED CODES OVER FINITE CHAIN RINGS Steven T. Dougherty, Hongwei Liu and Young Ho Park Abstract. In this paper, we study lifted codes over finite chain rings. We
More informationStrongly Nil -Clean Rings
Strongly Nil -Clean Rings Abdullah HARMANCI Huanyin CHEN and A. Çiğdem ÖZCAN Abstract A -ring R is called strongly nil -clean if every element of R is the sum of a projection and a nilpotent element that
More informationOn Computably Enumerable Sets over Function Fields
On Computably Enumerable Sets over Function Fields Alexandra Shlapentokh East Carolina University Joint Meetings 2017 Atlanta January 2017 Some History Outline 1 Some History A Question and the Answer
More informationFIELD THEORY. Contents
FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions
More informationEXPONENTIAL SUMS OVER THE SEQUENCES OF PRN S PRODUCED BY INVERSIVE GENERATORS
Annales Univ. Sci. Budapest. Sect. Comp. 48 018 5 3 EXPONENTIAL SUMS OVER THE SEQUENCES OF PRN S PRODUCED BY INVERSIVE GENERATORS Sergey Varbanets Odessa Ukraine Communicated by Imre Kátai Received February
More informationMATH 690 NOTES. 1. Associated graded rings
MATH 690 NOTES 1. Associated graded rings Question 1.1. Let G = k[g 1 ] = n 0 G n be a one-dimensional standard graded ring over the field k = G 0. What are necessary and sufficient conditions in order
More informationALGEBRA PH.D. QUALIFYING EXAM September 27, 2008
ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely
More informationarxiv: v1 [math.nt] 22 Jan 2019
Factors of some truncated basic hypergeometric series Victor J W Guo School of Mathematical Sciences, Huaiyin Normal University, Huai an 223300, Jiangsu People s Republic of China jwguo@hytceducn arxiv:190107908v1
More informationFast Polynomial Multiplication
Fast Polynomial Multiplication Marc Moreno Maza CS 9652, October 4, 2017 Plan Primitive roots of unity The discrete Fourier transform Convolution of polynomials The fast Fourier transform Fast convolution
More information