Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I haven't studied group theory in earnest beyond first courses, so my notation may be nonstandard and my question may be a 'standard fact', so bear with me:

Consider a group $G$, and for each natural number $n \in \mathbb{N}$ define $$G_n := \{g \in G : g^n = 1\}$$ to be the set of $n^\text{th}$ roots of unity in $G$. If $G$ is Abelian, then each $G_n$ is a subgroup of $G$, but in general this may not be the case: for example, taking $$G = D_3 = \langle \sigma, \tau : \sigma^2 = \tau^3 = 1, \tau \sigma = \sigma \tau^2 \rangle,$$ we can compute that $$ G_2 = \{1,\sigma,\sigma \tau, \sigma \tau^2\}$$ which is not a subgroup of $D_3$. This leads to the first question, which I've already answered:

Are there any non-Abelian groups $G$ such that every $G_n$ is a subgroup of $G$?

The smallest such $G$ is the quaternion group, assuming my calculations are correct. So we refine this question:

Which non-Abelian groups $G$ are such that every $G_n$ is a subgroup of $G$?

I haven't made any calculations for groups larger than the quaternion group, but I thought I'd throw this question out into the open. However, the calculation above for $D_3$ shows that no dihedral groups $D_n$ with $n \geq 3$ satisfy this property, since $$(D_n)_2 = \{1,\sigma,\sigma \tau, \ldots, \sigma \tau^{n-1}\}$$ is not a subgroup of $D_n$.

Have at it!

share|cite|improve this question
up vote 4 down vote accepted

I am going to use the notation $\sqrt[n]{G}$ instead. In this answer all groups will be finite.

If $G$ has a Sylow $p$-subgroup $P$ which is not normal, then the elements of order dividing $|P|$ can't form a subgroup (since they consist precisely of the conjugates of $P$). Hence in order for $\sqrt[n]{G}$ to always be a subgroup, every Sylow subgroup needs to be normal.

Lemma: Let $G$ be a finite group all of whose Sylow subgroups are normal. Then $G$ is the direct product of its Sylow subgroups.

Proof. Let $g$ be an element of a Sylow $p$-subgroup and $h$ be an element of a Sylow $q$-subgroup, $p \neq q$. Then $ghg^{-1} h^{-1}$ lies in a Sylow $q$-subgroup (since $ghg^{-1}$ is in a Sylow $q$-subgroup) but also in a Sylow $p$-subgroup (since $hg^{-1} h^{-1}$ lies in a Sylow $p$-subgroup), and the intersection of any two such subgroups is trivial. Hence $gh = hg$. It follows that the obvious map from the direct product of the Sylow subgroups of $G$ to $G$ is an injective homomorphism between two groups of the same size, hence an isomorphism. $\Box$

Write $G = P_1 \times ... \times P_k$ where $P_i$ is the Sylow $p_i$-subgroup ($p_i$ the primes in increasing order) and let $n = \prod p_i^{e_i}$. Then

$$\sqrt[n]{G} = \prod \sqrt[p_i^{e_i}]{P_i}.$$

Consequently, $\sqrt[n]{G}$ is always a subgroup of $G$ if and only if $\sqrt[p_i^{e_i}]{P_i}$ is always a subgroup of $P_i$.

So the problem reduces to the case of non-abelian $p$-groups, and here I have no idea what can happen in general, but here are infinitely many examples for every $p \ge 3$: the discrete Heisenberg group $H_3(\mathbb{F}_{p^n})$ is non-abelian of order $p^{3n}$, and every element can be written in the form $I + N$ where $N$ is a $3 \times 3$ nilpotent matrix over $\mathbb{F}_{p^n}$. Hence

$$(I + N)^p = I + p N + {p \choose 2} N^2 = I$$

and we conclude that every element has order dividing $p$.

share|cite|improve this answer
Indeed, every regular p-group satisfies this condition. – user641 Aug 24 '12 at 5:05
Interesting answer! My group theory knowledge unfortunately ends just before the Sylow theorems, so this is good motivation to read up on them. Thanks for that. – Alex Amenta Aug 26 '12 at 1:28

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.