Related papers: On perfect order subsets in finite groups

A finite group G is said to be a POS-group if the number of elements of every order occurring in G divides |G|. We answer two questions by Finch and Jones by providing an infinite family of nonabelian POS-groups with orders not divisible by…

A finite group $G$ is said to be a POS-group if for each $ x $ in $G$ the cardinality of the set $\{y \in G | o(y) =o(x)\}$ is a divisor of the order of $G$. In this paper we study some of the properties of arbitrary POS-groups, and…

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…

A number is perfect if it is the sum of its proper divisors; here we call a finite group `perfect' if its order is the sum of the orders of its proper normal subgroups. (This conflicts with standard terminology but confusion should not…

Let $G$ be a finite group and $\psi(G) = \sum_{g \in G} o(g)$, where $o(g)$ denotes the order of $g \in G$. In [M. Herzog, et. al., Two new criteria for solvability of finite groups, J. Algebra, 2018], the authors put forward the following…

A finite group $G$ is called $\psi$-divisible if $\psi(H)|\psi(G)$ for any subgroup $H$ of $G$, where $\psi(H)$ and $\psi(G)$ are the sum of element orders of $H$ and $G$, respectively. In this paper, we extend a result provided in [10], by…

A finite group $G$ is said to be a $\mathcal{B}_{\psi}$-group if $\psi(H)<|G|$ for any proper subgroup $H$ of $G$, where $\psi(H)$ denotes the sum of element orders of $H$. In this paper, we characterize the $\mathcal{B}_{\psi}$-groups up…

For a finite group $G$, let $\psi(G)$ be the sum of the orders of its elements, and define the corresponding normalized sum as $\psi'(G) := \psi(G)/\psi(\mathcal{C}_{|G|})$, where $\mathcal{C}_{|G|}$ is the cyclic group of the same order as…

The average order of a finite group G is denoted by o(G). In this note, we classify groups whose average orders are less than o(S4), where S4 is the symmetric group on four elements. Moreover, we prove that G \cong S4 if and only if o(G) =…

In a finite group, a subset is called a Lagrange subset if its size divides the group order, and a factor if it admits a complementary subset. We provide a new and comparatively direct proof of the classification of groups in which every…

A finite group is called $\psi$-divisible iff $\psi(H)|\psi(G)$ for any subgroup $H$ of a finite group $G$. Here, $\psi(G)$ is the sum of element orders of $G$. For now, the only known examples of such groups are the cyclic ones of…

Let $G$ be a group of order $n$ and $H$ be a subgroup of order $m$ of $G$. Denote by $\psi_H(G)$ the sum of element orders relative to $H$ of $G$. It is known that if $G$ is nilpotent, then $\psi_H(G)\leq\psi_{H_m}(G)$, where $H_m$ is the…

The order sequence of a finite group $G$ is a non-decreasing finite sequence formed of the element orders of $G$. Several properties of order sequences were studied by P. J. Cameron and H. K. Dey in a recent paper that concludes with a list…

A finite group is said to have "perfect order classes" if the number of elements of any given order is either zero or a divisor of the order of the group. The purpose of this note is to describe explicitly the finite Hamiltonian groups with…

In a finite group $ G $, $ \psi(G) $ denotes the sum of element orders of $ G $. A finite group $ G $ is said to be a $\mathscr{B}_{\psi}$-group if $ \psi(H) < |G| $ for any proper subgroup $ H $ of $ G $. In \cite{Lazorec} Lazorec asked:…

Let $G$ be a finite group and $N$ a proper, nontrivial, normal subgroup of $G$. If, for every element $x$ of $G$ not lying in $N$, the elements in the coset $xN$ all have the same order as $x$, then we say that $(G,N)$ is an {\it{equal…

Let $G$ be a finite group and $\psi(G)=\sum_{g\in{G}}{o(g)}$. There are some results about the relation between $\psi(G)$ and the structure of $G$. For instance, it is proved that if $G$ is a group of order $n$ and…

An $integral$ of a group $G$ is a group $H$ whose derived group (commutator subgroup) is isomorphic to $G$. This paper discusses integrals of groups, and in particular questions about which groups have integrals and how big or small those…

Let $G$ be a finite group. Then we denote $\psi(G) = \sum_{x\in G}o(x)$ where $o(x)$ is the order of the element $x$ in $G$. In this paper we characterize some finite $p$-groups ($p$ a prime) by $\psi$ and their orders.

Let $\psi(G) = \sum_{g \in G} o(g)$ denote the sum of element orders of a finite group $G$. It is known that among groups of order $n$, the cyclic group $C_n$ maximizes $\psi$. T\u{a}rn\u{a}uceanu proved that two finite abelian $p$-groups…