On sums and products of primitive elements

Let R be a (commutative integral) domain, with K its quotient field and R^′ its integral closure (in K). Let 𝒫 be the set of elements u∈K such that u is primitive over R; i.e., such that u is the root of a polynomial over R having a unit coe?cient. Then, 𝒫 is a ring (necessarily K) ? 𝒫 is closed under products ? R^′ is a Prüfer domain. In general, 𝒫 is closed under powers. For u,v∈𝒫, necessary and su?cient conditions are given for u+v (resp., uv) to belong to 𝒫. Also, 𝒫 is used to characterize when R is a quasi-local integrally closed domain and when R is a pseudo-valuation domain. If R is quasi-local, each element of K is expressible as the sum of two (possibly equal) elements of 𝒫. The set of primitive elements is determined for lying-over pairs and for extensions of domains with the same sets of prime ideals. In this study of the 𝒫 construction, R and K are replaced, whenever possible, by an arbitrary commutative ring and its total quotient ring or, more generally, by any inclusion of commutative rings.     

An extension of a result of Zaharescu on irreducible polynomials

It is well known that if f(x) is a monic irreducible polynomial of degree d with coefficients in a complete valued field (K, ‖), then any monic polynomial of degree d over K which is sufficiently close to f(x) with respect to ‖ is also irreducible over K. In 2004, Zaharescu proved a similar result applicable to separable, irreducible polynomials over valued fields which are not necessarily complete. In this paper, the authors extend Zaharescu’s result to all irreducible polynomials without assuming separability.     

Some Maximal Function Fields and Additive Polynomials

We derive explicit equations for the maximal function fields F over 𝔽 _{q ²ⁿ} given by F = 𝔽 _{q ²ⁿ} (X, Y) with the relation A(Y) = f(X), where A(Y) and f(X) are polynomials with coefficients in the finite field 𝔽 _{q ²ⁿ} , and where A(Y) is q-additive and deg(f) = q ⁿ  + 1. We prove in particular that such maximal function fields F are Galois subfields of the Hermitian function field H over 𝔽 _{q ²ⁿ} (i.e., the extension H/F is Galois).     

On Least Common Multiples of Polynomials in Z/n Z[x]

Let 𝒫(n, D) be the set of all monic polynomials in ?/n?[x] of degree D. A least common multiple for 𝒫(n, D) is a monic polynomial L ∈ ?/n?[x] of minimal degree such that f divides L for all f ∈ 𝒫(n, D). A least common multiple for 𝒫(n, D) always exists, but need not be unique; however, its degree is always unique. In this article, we establish some bounds for the degree of a least common multiple for 𝒫(n, D), present constructions for common multiples in ?/n?[x], and describe a connection to rings of integer-valued polynomials over matrix rings.     

Integer-Valued Polynomial Rings,t-Closure,and Associated Primes

Given an integral domain D with quotient field K, the ring of integer-valued polynomials on D is the subring {f(X) ∈ K[X]: f(D) ? D} of the polynomial ring K[X]. Using the tools of t-closure and associated primes, we generalize some known results on integer-valued polynomial rings over Krull domains, Prüfer v-multiplication domains, and Mori domains.     

On Invariants and Strict Systems of Irreducible Polynomials Over Henselian Valued Fields

Let g(x) be a monic irreducible defectless polynomial over a henselian valued field (K, v), i.e., K(θ) is a defectless extension of (K, v) for any root θ of g(x). It is known that a complete distinguished chain for θ with respect to (K, v) gives rise to several invariants associated with g(x). Recently Ron Brown studied certain invariants of defectless polynomials by introducing strict systems of polynomial extensions. In this article, the authors establish a one-to-one correspondence between strict systems of polynomial extensions and conjugacy classes of complete distinguished chains. This correspondence leads to a simple interpretation of various results proved for strict systems. The authors give new characterizations of an invariant γ _g introduced by Brown.     

Bounds for the Multiplicities of the Irreducible Factors of a Multivariate Polynomial

We provide explicit upper bounds for the multiplicities of the irreducible factors for some classes of polynomials in two variables X, Y over a field K, regarded as polynomials in Y with coefficients in K[X] whose degrees satisfy certain inequalities. We then obtain similar results for polynomials in an arbitrary number of variables over K.     

Reductivity of the Lie Algebra of a Bilinear Form

Let f: V × V → F be a totally arbitrary bilinear form defined on a finite dimensional vector space V over a field F, and let L(f) be the subalgebra of 𝔤𝔩(V) of all skew-adjoint endomorphisms relative to f. Provided F is algebraically closed of characteristic not 2, we determine all f, up to equivalence, such that L(f) is reductive. As a consequence, we find, over an arbitrary field, necessary and sufficient conditions for L(f) to be simple, semisimple or isomorphic to 𝔰𝔩(n) for some n.     

On arithmetical algorithms over finite fields

Standard methods for calculating over GF(pⁿ), the finite field of pⁿ elements, require an irreducible polynomial of degree n with coefficients in GF(p). Such a polynomial is usually obtained by choosing it randomly and then verifying that it is irreducible, using a probabilistic algorithm. If it is not, the procedure is repeated. Here we given an explicit basis, with multiplication table, for the fields GF(p^pk), for k = 0, 1, 2,…, and their union. This leads to efficient computational methods, not requiring the preliminary calculation of irreducible polynomials over finite fields and, at the same time, yields a simple recursive formula for irreducible polynomials which generate the fields. The fast Fourier transform (FFT) is a method for efficiently evaluating (or interpolating) a polynomial of degree < n at all of the nth roots of unity, i.e., on the finite multiplicate subgroups of F, in O(nlogn) operations in the underlying field. We give an analogue of the fast Fourier transform which efficiently evaluates a polynomial on some of the additive subgroups ofF. This yields new “fast” algorithms for polynomial computation.     

Point-primitive linear spaces with number of points being a product of two primes

This work is a part of the general program to classify point-primitive finite linear spaces. Let 𝒮 be a non-trivial finite regular linear space with mp points and G≤Aut(𝒮) be point-primitive, here m and p are two primes with m≤p. In this paper, we give a classification of the pairs (G,𝒮). For a small positive integer k≥3 and a non-regular transitive group G on 𝒫, where |𝒫| = v, we also present an algorithm to sift all 2-(v,k,1) designs with point-set 𝒫, and admitting G as an automorphism group.     

Windmill polynomials over fields of characteristic two

Chambers andSmeets [3] have designed a windmill arrangement of linear feedback shift registers (LFSRs) to generate pn-sequences overGF(2) with high speed. When the windmill hasv vanes, the associated minimal feedback polynomial (having degreen, relatively prime tov) can be taken to have the shapef ₁(x ^v )+x ⁿ f ₂(x ^–v ), where the polynomialsf ₁ andf ₂ have degree [n/v]. Their numerical evidence, whenv is divisible by 4, suggests that, surprisingly, there areno such windmill polynomials which are irreducible ifn±3 (mod 8), while about twice as many irreducible and primitive windmill polynomials as they expected occur ifn±1 (mod 8). A discussion of this behaviour is presented here with proofs. The brief explanation is that the Galois group of the underlying generic windmill polynomial overGF (4) is equal to the alternating groupA _n .     

Homomorphisms between the chevalley groups over any fields of characteristic zero

Given an irreducible root system ∑, let G(F,L) denote the Cheval- ley group over a field F corresponding to a lattice L between the root lattice and the weight lattice of ∑,. We will determine all nontnvial homomorphisms from G(k,L ₁) to G(K,L ₂when k and K are any fields of characteristic zero, and we will verify that any nontrivial homomorphism from G(k,L ₁) to G(K,L ₂are induced by a field homomorphism from k to K by multiplying an automorphism of G(K,L ₂.     

Sur la reéduction modulo p des polynoômes absolument irreéductibles

 On the reduction modulo p of absolutely irreducible polynomials. Let K be a number field and F(X,Y) be an absolutely irreducible polynomial of K[X,Y]. In this note, using an effective version of Riemann-Roch theorem and a version of the implicit functions theorem, we calculate a positive number A such that if ℘ is prime ideal of the ring of integers of K with norm , then the reduction of F(X,Y) modulo ℘ is an absolutely irreducible polynomial. (Réu le 1 Février 1999; en forme finale 21 Septembre 1999)     

On the Support Problem for Drinfeld Modules

Let Φ be a Drinfeld A-module over an A-field K of generic characteristic. We will prove the following two results which are analogous to ones in number fields. Case 1. Φ is of rank one. Suppose that P and Q are two nontorsion points in Φ(K). If for any element a ? A and almost all prime ideals 𝒫 in  one has that Φ _a (P) ≡ 0 (mod 𝒫) ? Φ _a (Q) ≡ 0 (mod 𝒫), then Q = Φ _m (P) for some m ? A. Case 2. Φ is of general rank ≥ 1. Let x, y ? Φ(K) be two K-rational points. Denote  = End _K (Φ) which is commutative and Λ =  · y which is a cyclic -module. Let red _v :Φ(K) → Φ(k _v ) be the reduction map at a place v of K with residue field k _v . If red _v (x) ? red _v (Λ) for almost all places v of K. Then f(x) = g(y), for some nonzero elements f and g in .     

Primitive polynomial with three coefficients prescribed

The authors proved in Fan and Han (Finite Field Appl., in press) that, for any given (a₁,a₂,a₃)F_q³, there exists a primitive polynomial f(x)=xⁿ−σ₁xⁿ⁻¹++(−1)ⁿσ_n over F_q of degree n with the first three coefficients σ₁,σ₂,σ₃ prescribed as a₁,a₂,a₃ when n8. But the methods in Fan and Han (in press) are not effective for the case of n=7. Mills (Existence of primitive polynomials with three coefficients prescribed, J. Algebra Number Theory Appl., in press) resolves the n=7 case for finite fields of characteristic at least 5. In this paper, we deal with the remaining cases and prove that there exists a primitive polynomial of degree 7 over F_q with the first three coefficient prescribed where the characteristic of F_q is 2 or 3.     

On explicit factors of cyclotomic polynomials over finite fields

We study the explicit factorization of 2 ⁿ r-th cyclotomic polynomials over finite field \mathbbF_q{\mathbb{F}_q} where q, r are odd with (r, q) = 1. We show that all irreducible factors of 2 ⁿ r-th cyclotomic polynomials can be obtained easily from irreducible factors of cyclotomic polynomials of small orders. In particular, we obtain the explicit factorization of 2 ⁿ 5-th cyclotomic polynomials over finite fields and construct several classes of irreducible polynomials of degree 2 ^n–2 with fewer than 5 terms.     

Integer-Valued Polynomials over Matrix Rings

When D is a commutative integral domain with field of fractions K, the ring Int(D) = {f ∈ K[x] | f(D) ? D} of integer-valued polynomials over D is well-understood. This article considers the construction of integer-valued polynomials over matrix rings with entries in an integral domain. Given an integral domain D with field of fractions K, we define Int(M _n (D)): = {f ∈ M _n (K)[x] | f(M _n (D)) ? M _n (D)}. We prove that Int(M _n (D)) is a ring and investigate its structure and ideals. We also derive a generating set for Int(M _n (?)) and prove that Int(M _n (?)) is non-Noetherian.     

Non-isogenous superelliptic Jacobians

Let ℓ be an odd prime. Let K be a field of characteristic zero with algebraic closure K_a. Let n, m ≥ 4 be integers that are not divisible by ℓ. Let f(x), h(x) ∈ K[x] be irreducible separable polynomials of degree n and m respectively. Suppose that the Galois group Gal(f) of f acts doubly transitively on the set of roots of f and that Gal(h) acts doubly transitively on as well. Let J(C_f,ℓ) and J(C_h,ℓ) be the Jacobians of the superelliptic curves C_f,ℓ:y^ℓ=f(x) and C_h,ℓ:y^ℓ=h(x) respectively. We prove that J(C_f,ℓ) and J(C_h,ℓ) are not isogenous over K_a if the splitting fields of f and h are linearly disjoint over K and K contains a primitive ℓth root of unity.     

The automorphisms of Petit’s algebras

Let σ be an automorphism of a field K with fixed field F. We study the automorphisms of nonassociative unital algebras which are canonical generalizations of the associative quotient algebras K[t;σ]∕fK[t;σ] obtained when the twisted polynomial f∈K[t;σ] is invariant, and were first defined by Petit. We compute all their automorphisms if σ commutes with all automorphisms in Aut_F(K) and n≥m?1, where n is the order of σ and m the degree of f, and obtain partial results for n<m?1. In the case where K∕F is a finite Galois field extension, we obtain more detailed information on the structure of the automorphism groups of these nonassociative unital algebras over F. We also briefly investigate when two such algebras are isomorphic.