Abstract:This paper provides a bridge between two active areas of research, the spectrum (set of element orders) and the power graph of a finite group. The order sequence of a finite group $G$ is the list of orders of elements of the group, arranged in non-decreasing order. Order sequences of groups of order $n$ are ordered by elementwise domination, forming a partially ordered set. We prove a number of results about this poset, among them the following. M.~Amiri recently proved that the poset has a unique maximal element, corresponding to the cyclic group. We show that the product of orders in a cyclic group of order $n$ is at least $q^{\phi(n)}$ times as large as the product in any non-cyclic group,where $q$ is the smallest prime divisor of $n$ and $\phi$ is Euler's function, with a similar result for the sum. The poset of order sequences of abelian groups of order $p^n$ is naturally isomorphic to the (well-studied) poset of partitions of $n$ with its natural partial order. If there exists a non-nilpotent group of order $n$, then there exists such a group whose order sequence is dominated by the order sequence of any nilpotent group of order $n$. There is a product operation on finite ordered sequences, defined by forming all products and sorting them into non-decreasing order. The product of order sequences of groups $G$ and $H$ is the order sequence of a group if and only if $|G|$ and $|H|$ are coprime. The paper concludes with a number of open problems.

On finite groups with elements of prime power orders

On soluble groups in which commutators have prime power order

Finite groups with few regular orbits on the power set

On the Partial -Property of Some Subgroups of Prime Power Order of Finite Groups

Quantitative characterization of finite simple groups: a complement

Finite Groups in Which Maximal Subgroups of Sylow -Subgroups are -Permutable

On Finite Groups with Some Primary Subgroups Satisfying Partial S-Π-property

On Quasisupersoluble and P-Quasisupersoluble Finite Groups

Finite Groups with Seminormal Sylow Subgroups

Nonsolvable Groups Satisfying the Prime-Power Hypothesis

On the order sequence of a group

FINITE GROUPS WITH NILPOTENT LOCAL SUBGROUPS

Finite Groups in Which the Number of Classes of Non-nilpotent Proper Subgroups of the Same Order is Given

Arithmetical Conditions on Element Orders and Group-Structure

Finite simple groups with some abelian Sylow subgroups

Finite non-solvable groups whose real degrees are prime-powers

Primitive prime divisor elements in finite classical groups

On the sum of the inverses of the element orders in finite groups

Finite Groups Whose Prime Graphs Do Not Contain Triangles. III

On the Sum of Orders of Elements in Finite Groups

On the number of conjugacy classes of a finite solvable group