6,483 research outputs found
Characterizing Triviality of the Exponent Lattice of A Polynomial through Galois and Galois-Like Groups
The problem of computing \emph{the exponent lattice} which consists of all
the multiplicative relations between the roots of a univariate polynomial has
drawn much attention in the field of computer algebra. As is known, almost all
irreducible polynomials with integer coefficients have only trivial exponent
lattices. However, the algorithms in the literature have difficulty in proving
such triviality for a generic polynomial. In this paper, the relations between
the Galois group (respectively, \emph{the Galois-like groups}) and the
triviality of the exponent lattice of a polynomial are investigated. The
\bbbq\emph{-trivial} pairs, which are at the heart of the relations between
the Galois group and the triviality of the exponent lattice of a polynomial,
are characterized. An effective algorithm is developed to recognize these
pairs. Based on this, a new algorithm is designed to prove the triviality of
the exponent lattice of a generic irreducible polynomial, which considerably
improves a state-of-the-art algorithm of the same type when the polynomial
degree becomes larger. In addition, the concept of the Galois-like groups of a
polynomial is introduced. Some properties of the Galois-like groups are proved
and, more importantly, a sufficient and necessary condition is given for a
polynomial (which is not necessarily irreducible) to have trivial exponent
lattice.Comment: 19 pages,2 figure
Graham Higman's PORC theorem
Graham Higman published two important papers in 1960. In the first of these
papers he proved that for any positive integer the number of groups of
order is bounded by a polynomial in , and he formulated his famous
PORC conjecture about the form of the function giving the number of
groups of order . In the second of these two papers he proved that the
function giving the number of -class two groups of order is PORC. He
established this result as a corollary to a very general result about vector
spaces acted on by the general linear group. This theorem takes over a page to
state, and is so general that it is hard to see what is going on. Higman's
proof of this general theorem contains several new ideas and is quite hard to
follow. However in the last few years several authors have developed and
implemented algorithms for computing Higman's PORC formulae in special cases of
his general theorem. These algorithms give perspective on what are the key
points in Higman's proof, and also simplify parts of the proof.
In this note I give a proof of Higman's general theorem written in the light
of these recent developments
- …