Abstract:Brawley and Carlitz introduced diamond products of elements of finite fields and associated composed products of polynomials in 1987. Composed products yield a method to construct irreducible polynomials of large composite degrees from irreducible polynomials of lower degrees. We show that the composed product of two irreducible polynomials of degrees $m$ and $n$ is again irreducible if and only if $m$ and $n$ are coprime and the involved diamond product satisfies a special cancellation property, the so-called conjugate cancellation. This completes the characterization of irreducible composed products, considered in several previous papers. More generally, we give precise criteria when a diamond product satisfies conjugate cancellation. For diamond products defined via bivariate polynomials, we prove simple criteria that characterize when conjugate cancellation holds. We also provide efficient algorithms to check these criteria. We achieve stronger results as well as more efficient algorithms in the case that the polynomials are bilinear. Lastly, we consider possible constructions of normal elements using composed products and the methods we developed.

On the orders of composition factors in completely reducible groups

On the orders of composition factors in completely reducible groups

Bounding the order of complex linear groups and permutation groups with selected composition factors

On a polynomial bound for the orbital diameter of primitive affine groups

On the odd order composition factors of finite linear groups

Closures of permutation groups with restricted nonabelian composition factors

On a bijection between a finite group to a non-cyclic group with divisibility of element orders

Arithmetical Conditions on Element Orders and Group-Structure

Fixed locus dimension of diagonalizable $p$-groups

Factorizations of almost simple groups with a factor having many nonsolvable composition factors

On the proportion of elements in finite symmetric group: I

Groups satisfying the two-prime hypothesis with a composition factor isomorphic to ${\rm PSL}_2(q)$ for $q\geq 7$

On the odd order subgroups of solvable linear groups

An upper bound for Davenport constant of finite groups

Factorization Theory of 1-Generated Ω-Composition Formations

Factorization and irreducibility of composed products

On the Orbital Diameter of Primitive Affine Groups

On the structure of finite groups determined by the arithmetic and geometric means of element orders