A study of monogenity of binomial composition

  • Abstract
  • Literature Map
  • Similar Papers
Abstract
Translate article icon Translate Article Star icon
Take notes icon Take Notes

Let θ be a root of a monic polynomial h(x)∈Z[x] of degree n≥2. We say that h(x) is monogenic if it is irreducible over Q and {1,θ,θ2,…,θn−1} is a basis for the ring ZK of integers of K=Q(θ). We investigate monogenity of number fields generated by roots of compositions of two binomials. We characterise all the primes dividing the index of the subgroup Z[θ] in ZK where K=Q(θ) with θ having minimal polynomial F(x)=(xm−b)n−a∈Z[x], m≥1 and n≥2. As an application, we provide a class of pairs of binomials f(x)=xn−a and g(x)=xm−b having the property that both f(x) and f(g(x)) are monogenic.

Similar Papers
  • Research Article
  • Cite Count Icon 81
  • 10.1109/tit.1987.1057268
Products of linear recurring sequences with maximum complexity
  • Jan 1, 1987
  • IEEE Transactions on Information Theory
  • R Rueppel + 1 more

Conditions are derived which guarantee that products of linear recurring sequences attain maximum linear complexity. It is shown that the product of any number of maximum-length GF <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">(q)</tex> sequences has maximum linear complexity, provided only the degrees of the corresponding minimal polynomials are distinct and greater than two. It is also shown that if the roots of any number of (not necessarily irreducible) minimal polynomials are simple and lie in extension fields of pairwise relatively prime degrees, then the product of the corresponding GF <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">(q)</tex> sequences attains maximum linear complexity, provided only that no two roots of any minimal polynomial are linearly dependent over the groundfield GF <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">(q)</tex> (which is automatically satisfied when <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">q = 2)</tex> . The results obtained for products are extended to arbitrary linear combinations of product sequences.

  • Research Article
  • Cite Count Icon 29
  • 10.1109/tit.2011.2159575
On the Linear Complexity of Binary Sequences of Period $4N$ With Optimal Autocorrelation Value/Magnitude
  • Nov 1, 2011
  • IEEE Transactions on Information Theory
  • Nian Li + 1 more

Three classes of binary sequences of period 4N with optimal autocorrelation value/magnitude have been constructed by Tang and Gong based on interleaving certain kinds of sequences of period N , i.e., the Legendre sequence, twin-prime sequence and generalized GMW sequence. In this paper, by means of sequence polynomials of the underlying sequences, the properties of roots of the corresponding sequence polynomials of the interleaved sequences with period 4N and optimal autocorrelation value/magnitude are discussed in the splitting field of xN-1 . As a consequence, both the minimal polynomials and linear complexities of these three classes of sequences are completely determined except for the case of the sequences obtained from the generalized GMW sequences. For the latter, the minimal polynomial and linear complexity can be specially obtained if the sequence is constructed based on m-sequences instead of generalized GMW sequences.

  • Research Article
  • Cite Count Icon 2
  • 10.1016/j.ins.2023.120075
Using easy coefficients conjecture for rotation symmetric Boolean functions
  • Jan 3, 2024
  • Information Sciences
  • Thomas W Cusick

Using easy coefficients conjecture for rotation symmetric Boolean functions

  • Conference Article
  • Cite Count Icon 30
  • 10.1145/800057.808681
Polynomial factorization and nonrandomness of bits of algebraic and some transcendental numbers
  • Jan 1, 1984
  • R Kannan + 2 more

We show that the binary expansions of algebraic numbers do not form secure pseudorandom sequences; given sufficiently many initial bits of an algebraic number, its minimal polynomial can be reconstructed, and therefore the further bits of the algebraic number can be computed. This also enables us to devise a simple algorithm to factor polynomials with rational coefficients. All algorithms work in polynomial time. Introduction. Manuel Blum raised the following question: Suppose we are given an approximate root of an unknown polynomial with integral coefficients and a bound on the degree and size of the coefficients of the polynomial. Is it possible to infer the polynomial? We answer his question in the affirmative. We show that if a complex number a satisfies an irreducible polynomial h(X) of degree d with integral coefficients in absolute value at most H, then given 0(d? + d ■ logH) bits of the binary expansion of the real and complex parts of a, we can find h(X) in deterministic polynomial time (and then compute in polynomial time any further bits of a). Using the concept of secure pseudorandom sequences formulated by Shamir [23], Blum and Micali [3] and Yao [25], we then show that the binary (or m-ary for any m) expansions of algebraic numbers do not form secure sequences in a certain well-defined sense. We are able to extend our results with the same techniques to transcendental numbers of the form log(a),cos_1(a), etc., where a is algebraic. The technique is based on the lattice basis reduction algorithm from [16]. Our answer to Blum's question enables us to devise a simple polynomial-time algorithm to factor polynomials with rational coefficients: We find an approximate root of the polynomial and use our algorithm to find the irreducible polynomial satisfied by the exact root, which must then be a factor of the given polynomial. This is repeated until all the factors are found. This algorithm was found independently by Schonhage [22], and was already suggested in [16]. The technique of the paper also provides a natural, efficient method to compute with algebraic numbers. This paper is the final journal version of [13], which contains essentially the entire contents of this paper. 1. A Polynomial-Time Algorithm for Blum's Question. Throughout this paper, Z denotes the set of the integers, Q the set of the rationals, R the set of the reals, and C the set of the complex numbers. The ring of polynomials with integral Received December 23, 1985; revised October 13, 1986 and April 6, 1987. 1980 Mathematics Subject Classification (1985 Revision). Primary 68Q15, 68Q25, 68Q40. ©1988 American Mathematical Society 0025-5718/88 $1.00 + $.25 per page

  • Book Chapter
  • 10.1016/b978-0-12-417830-4.50017-7
CHAPTER ELEVEN - ROOTS OF POLYNOMIALS
  • Jan 1, 1981
  • Introduction to Algebra and Trigonometry
  • Bernard Kolman + 1 more

CHAPTER ELEVEN - ROOTS OF POLYNOMIALS

  • Research Article
  • Cite Count Icon 31
  • 10.1023/a:1008385407717
On the Key Equation Over a Commutative Ring
  • Jun 1, 2000
  • Designs, Codes and Cryptography
  • Graham H Norton + 1 more

We define alternant codes over a commutative ring R and a corresponding key equation. We show that when the ring is a domain, e.g. the p-adic integers, the error-locator polynomial is the unique monic minimal polynomial (equivalently, the unique shortest linear recurrence) of the finite sequence of syndromes and that it can be obtained by Algorithm MR of Norton. WhenR is a local ring, we show that the syndrome sequence may have more than one (monic) minimal polynomial, but that all the minimal polynomials coincide modulo the maximal ideal ofR . We characterise the set of minimal polynomials when R is a Hensel ring. We also apply these results to decoding alternant codes over a local ring R: it is enough to find any monic minimal polynomial over R and to find its roots in the residue field. This gives a decoding algorithm for alternant codes over a finite chain ring, which generalizes and improves a method of Interlando et. al. for BCH and Reed-Solomon codes over a Galois ring.

  • Research Article
  • Cite Count Icon 22
  • 10.1090/memo/0939
The minimal polynomials of unipotent elements in irreducible representations of the classical groups in odd characteristic
  • Jan 1, 2009
  • Memoirs of the American Mathematical Society
  • I D Suprunenko

The minimal polynomials of the images of unipotent elements in irreducible rational representations of the classical algebraic groups over fields of odd characteristic are found. These polynomials have the form (t - 1)d and hence are completely determined by their degrees. In positive characteristic the degree of such polynomial cannot exceed the order of a relevant element. It occurs that for each unipotent element the degree of its minimal polynomial in an irreducible representation is equal to the order of this element provided the highest weight of the representation is large enough with respect to the ground field characteristic. On the other hand, classes of unipotent elements for which in every nontrivial representation the degree of the minimal polynomial is equal to the order of the element are indicated. In the general case the problem of computing the minimal polynomial of the image of a given element of order ps in a fixed irreducible representation of a classical group over a field of characteristic p > 2 can be reduced to a similar problem for certain s unipotent elements and a certain irreducible representation of some semisimple group over the field of complex numbers. For the latter problem an explicit algorithm is given. Results of explicit computations for groups of small ranks are contained in Tables I - XII. The article may be regarded as a contribution to the programme of extending the fundamental results of Hall and Higman (1956) on the minimal polynomials from p-solvable linear groups to semisimple groups.

  • Research Article
  • Cite Count Icon 3
  • 10.3934/amc.2013.7.187
Discrete logarithm like problems and linear recurring sequences
  • Jan 1, 2013
  • Advances in Mathematics of Communications
  • Santos González + 3 more

In this paper we study the hardness of some discrete logarithmlike problems defined in linear recurring sequences over finitefields from a point of view as general as possible. Theintractability of these problems plays a key role in the securityof the class of public key cryptographic constructions based onlinear recurring sequences. We define new discrete logarithm, Diffie-Hellman and decisional Diffie-Hellman problems for any nontrivial linear recurring sequence in any finite field whose minimal polynomial is irreducible. Then, we prove that these problems are polynomially equivalent to the discrete logarithm, Diffie-Hellman and decisional Diffie-Hellman problems in the subgroup generated by any root of the minimal polynomial of thesequence.

  • Research Article
  • 10.4171/lem/60-1/2-7
On the structure of endomorphisms of projective modules
  • Sep 17, 2014
  • L’Enseignement Mathématique
  • Daniel Ferrand + 1 more

Taking as a model the completed theory of vector space endomorphisms, the present text aims at extending this theory to endomorphisms of finitely generated projective modules over a general commutative ring; now analogous results often require totally different methods of proof. The first important result is a structure theorem for such modules when the characteristic polynomial of the endomorphism is separable. The second topic deals with the minimal polynomial, whose mere existence is shown to require additional hypotheses, even over a domain. In the third topic we extend the classical notion of ‘cyclic modules’ as the modules which are invertible over the ring of polynomials modulo the characteristic polynomial. Regarding the diagonalization of endomorphisms, we show that a classical criterion of being diagonalizable over some extension of the base field can be transferred nearly verbatim to rings, provided that diagonalization is expected only after some faithfully flat base change. Many results that hold over a field, like the fact that commuting diagonalizable endomorphisms are simultaneously diagonalizable, hold over arbitrary rings, with this extended meaning of diagonalization. The Jordan-Chevalley-Dunford decomposition, shown as a particular case of the lifting property of étale algebras, also holds over rings. Finally, in several reasonable situations, the eigenspace associated with any root of the characteristic polynomial is shown to be given a more concrete description as the image of a map. In these situations the classical theory generalizes to rings.

  • Book Chapter
  • 10.1007/978-0-387-79428-0_9
Unitary Diagonalization and Quadratic Forms
  • Jan 1, 2017
  • James B Carrell

As we saw in Chap. 8, when V is a finite-dimensional vector space over \({\mathbb {F}}\), then a linear mapping \(T:V\rightarrow V\) is semisimple if and only if its eigenvalues lie in \({\mathbb {F}}\) and its minimal polynomial has only simple roots. It would be useful to have a result that would allow one to predict that T is semisimple on the basis of a criterion that is simpler than finding the minimal polynomial, which, after all, requires knowing the roots of the characteristic polynomial.

  • PDF Download Icon
  • Research Article
  • 10.29235/1561-2430-2021-57-2-135-147
On real algebraic numbers in which the derivative of their minimal polynomial is small
  • Jul 16, 2021
  • Proceedings of the National Academy of Sciences of Belarus. Physics and Mathematics Series
  • D V Koleda

Algebraic numbers are the roots of integer polynomials. Each algebraic number α is characterized by its minimal polynomial Pα that is a polynomial of minimal positive degree with integer coprime coefficients, α being its root. The degree of α is the degree of this polynomial, and the height of α is the maximum of the absolute values of the coefficients of this polynomial. In this paper we consider the distribution of algebraic numbers α whose degree is fixed and height bounded by a growing parameter Q, and the minimal polynomial Pα is such that the absolute value of its derivative P'α (α) is bounded by a given parameter X. We show that if this bounding parameter X is from a certain range, then as Q → +∞ these algebraic numbers are distributed uniformly in the segment [-1+√2/3.1-√2/3]

  • Research Article
  • Cite Count Icon 5
  • 10.1016/j.tcs.2005.11.044
On linear complexity of sequences over [formula omitted
  • Jan 13, 2006
  • Theoretical Computer Science
  • A.M Youssef + 1 more

On linear complexity of sequences over [formula omitted

  • PDF Download Icon
  • Research Article
  • Cite Count Icon 3
  • 10.1017/s0305004122000020
Step roots of Littlewood polynomials and the extrema of functions in the Takagi class
  • Jan 24, 2022
  • Mathematical Proceedings of the Cambridge Philosophical Society
  • Xiyue Han + 1 more

We give a new approach to characterising and computing the set of global maximisers and minimisers of the functions in the Takagi class and, in particular, of the Takagi–Landsberg functions. The latter form a family of fractal functions $f_\alpha:[0,1]\to{\mathbb R}$ parameterised by $\alpha\in(-2,2)$ . We show that $f_\alpha$ has a unique maximiser in $[0,1/2]$ if and only if there does not exist a Littlewood polynomial that has $\alpha$ as a certain type of root, called step root. Our general results lead to explicit and closed-form expressions for the maxima of the Takagi–Landsberg functions with $\alpha\in(-2,1/2]\cup(1,2)$ . For $(1/2,1]$ , we show that the step roots are dense in that interval. If $\alpha\in (1/2,1]$ is a step root, then the set of maximisers of $f_\alpha$ is an explicitly given perfect set with Hausdorff dimension $1/(n+1)$ , where n is the degree of the minimal Littlewood polynomial that has $\alpha$ as its step root. In the same way, we determine explicitly the minima of all Takagi–Landsberg functions. As a corollary, we show that the closure of the set of all real roots of all Littlewood polynomials is equal to $[-2,-1/2]\cup[1/2,2]$ .

  • Research Article
  • Cite Count Icon 5
  • 10.1145/1089263.1089265
Lattices and factorization of polynomials
  • Aug 1, 1981
  • ACM SIGSAM Bulletin
  • A K Lenstra

A new algorithm to factorize univariate polynomials over an algebraic number field has been implemented in Algol-68 on a CDC-Cyber 170-750 computer. The algebraic number field is given as the field of rational numbers adjoined by a root of a prescribed minimal polynomial. Unlike other algorithms [1,2] the efficiency of our so-called lattice algorithm does not depend on the irreducibility of the minimal polynomial modulo some prime. The factorization of the polynomial to be factored is constructed from the factorization of that polynomial over a finite field determined by a prime p and an irreducible factor of the minimal polynomial modulo p. The algorithm is based on a theorem on integral lattices and a theorem giving a lower bound for the length of a shortest-length polynomial having modulo p k a non-trivial common divisor with the minimal polynomial. These theorems also enable us to formulate a new algorithm for factoring polynomials over the integers. A technical report describing the algorithms will soon be available from the Mathematisch Centrum, Amsterdam.

  • Research Article
  • Cite Count Icon 6
  • 10.1017/s0004972700020487
On numbers which are differences of two conjugates of an algebraic integer
  • Jun 1, 2002
  • Bulletin of the Australian Mathematical Society
  • Artūras Dubickas

We investigate which numbers are expressible as differences of two conjugate algebraic integers. Our first main result shows that a cubic, whose minimal polynomial over the field of rational numbers has the form x3 + px + q, can be written in such a way if p is divisible by 9. We also prove that every root of an integer is a difference of two conjugate algebraic integers, and, more generally, so is every algebraic integer whose minimal polynomial is of the form f (xe) with an integer e ≥ 2.

Save Icon
Up Arrow
Open/Close
  • Ask R Discovery Star icon
  • Chat PDF Star icon

AI summaries and top papers from 250M+ research sources.