For each positive integer n, let $U(\mathbf {Z}/n\mathbf {Z})$ denote the group of units modulo n, which has order $\phi (n)$ (Euler’s function) and exponent $\lambda (n)$ (Carmichael’s function). The ratio $\phi (n)/\lambda (n)$ is always an integer, and a prime p divides this ratio precisely when the (unique) Sylow p-subgroup of $U(\mathbf {Z}/n\mathbf {Z})$ is noncyclic. Write W(n) for the number of such primes p. Banks, Luca, and Shparlinski showed that for certain constants $C_1, C_2>0$,

$$ \begin{align*} C_1 \frac{\log\log{n}}{(\log\log\log{n})^2} \le W(n) \le C_2 \log\log{n} \end{align*} $$

$\log \log {n}/\log \log \log {n}$

Let $p$ be a prime, $G$ a solvable group and $P$ a Sylow $p$-subgroup of $G$. We prove that $P$ is normal in $G$ if and only if $\unicode[STIX]{x1D711}(1)_{p}^{2}$ divides $|G:\ker (\unicode[STIX]{x1D711})|_{p}$ for all monomial monolithic irreducible $p$-Brauer characters $\unicode[STIX]{x1D711}$ of $G$.

Let $G$ be a group, $p$ be a prime and $P\in \text{Syl}_{p}(G)$. We say that a $p$-Brauer character $\unicode[STIX]{x1D711}$ is monolithic if $G/\ker \unicode[STIX]{x1D711}$ is a monolith. We prove that $P$ is normal in $G$ if and only if $p\nmid \unicode[STIX]{x1D711}(1)$ for each monolithic Brauer character $\unicode[STIX]{x1D711}\in \text{IBr}(G)$. When $G$ is $p$-solvable, we also prove that $P$ is normal in $G$ and $G/P$ is nilpotent if and only if $\unicode[STIX]{x1D711}(1)^{2}$ divides $|G:\ker \unicode[STIX]{x1D711}|$ for all monolithic irreducible $p$-Brauer characters $\unicode[STIX]{x1D711}$ of $G$.

We characterise finite unitary rings $R$ such that all Sylow subgroups of the group of units $R^{\ast }$ are cyclic. To be precise, we show that, up to isomorphism, $R$ is one of the three types of rings in $\{O,E,O\oplus E\}$, where $O\in \{GF(q),\mathbb{Z}_{p^{\unicode[STIX]{x1D6FC}}}\}$ is a ring of odd cardinality and $E$ is a ring of cardinality $2^{n}$ which is one of seven explicitly described types.

Baumslag and Wiegold have recently proven that a finite group G is nilpotent if and only if o(xy) = o(x)o(y) for every x, y ∈ G with (o(x), o(y)) = 1. Motivated by this surprisingly new result, we have obtained related results that just consider sets of prime divisors of element orders. For instance, the first of our main results asserts that G is nilpotent if and only if π(o(xy)) = π(o(x)o(y)) for every x, y ∈ G of prime power order with (o(x), o(y)) = 1. As an immediate consequence, we recover the Baumslag–Wiegold Theorem. While this result is still elementary, we also obtain local versions that, for instance, characterize the existence of a normal Sylow p-subgroup in terms of sets of prime divisors of element orders. These results are deeper and our proofs rely on results that depend on the classification of finite simple groups.

Let $T$ be a finite simple group of Lie type in characteristic $p$, and let $S$ be a Sylow subgroup of $T$ with maximal order. It is well known that $S$ is a Sylow $p$-subgroup except for an explicit list of exceptions and that $S$ is always ‘large’ in the sense that $|T|^{1/3}<|S|\leq |T|^{1/2}$. One might anticipate that, moreover, the Sylow $r$-subgroups of $T$ with $r\neq p$ are usually significantly smaller than $S$. We verify this hypothesis by proving that, for every $T$ and every prime divisor $r$ of $|T|$ with $r\neq p$, the order of the Sylow $r$-subgroup of $T$ is at most $|T|^{2\lfloor \log _{r}(4(\ell +1)r)\rfloor /\ell }=|T|^{O(\log _{r}(\ell )/\ell )}$, where $\ell$ is the Lie rank of $T$.