Elements with r-th roots in finite groups

(i). The first part is exactly Remark 2.1 (i). Now assume that r is prime. If G\simeq C^k_r, then G is isomorphic to the additive group of a vector space over the field with p elements, that is, G[r]\simeq G. Then \mathrm{Prob}_r(G)=\frac{1}{|G|}. Conversely, \mathrm{Prob}_r(G)=\frac{|rG|}{|G|}=\frac{|G|}{|G[r]| \ |G|}=\frac{1}{|G[r]|}=\frac{1}{|G|} implies |G[r]|=|G|, then 1=|rG|= \frac{|G|}{|G[r]|} via the isomorphism induced by \varphi, and so G[r]\simeq G, from which the result follows.

(ii). It is exactly Remark 2.1 (ii).

Given a\in A and b\in B, (ab)^r=a^rb^r if and only if [a,b]=1. Therefore [A,B]=1 implies (AB)^r=A^rB^r and so |A^rB^r|=\frac{|A^r||B^r|}{|A^r \cap B^r|}. Then

In particular, A^r \cap B^r \subseteq A \cap B=1 implies \mathrm{Prob}_r(G)=\mathrm{Prob}_r(A)\mathrm{Prob}_r(B).

Note that gN \in G/N has an r–th root if and only if there is xN \in G/N for which gN = (xN)^r, that is, x^r\in gN. Therefore gN \in G/N does not have an r–th root if and only if there is no element x \in G with x^r\in gN. Hence, if a coset in G/N does not have an r–th root, then no element of this coset has an r–th root in G, and therefore |G| - |G^r|\geq |N| (|G/N| - |(G/N)^r| ) . By dividing both sides by |G| we obtain 1-\mathrm{Prob}_r(G) \geq 1-\mathrm{Prob}_r(G/N) and so \mathrm{Prob}_r(G) \leq \mathrm{Prob}_r(G/N), as required.

Obviously H^r \subseteq G^r implies |H^r|\leq |G^r|. Therefore \mathrm{Prob}_r(H) \leq |H| \cdot \mathrm{Prob}_r(H)=\frac{|H|}{|H|} \cdot |H^r|\leq \frac{|G|}{|G|} \cdot |G^r|=|G| \cdot \mathrm{Prob}_r(G) implies |G|^{-1}\mathrm{Prob}_r(H)\leq \mathrm{Prob}_r(G) and the lower bound follows.

Since H is solvable, there exists a p'–Hall subgroup H of G such that |G| = |H||P| and H = H^p \subseteq G^p. Therefore, \mathrm{Prob}_p(G) = \frac{|G^p|} {|G|} \geq \frac{|H|}{ |G|} = \frac{|H|}{|H||P|} = \frac{1}{ |P|}.

We recall that

Let \nu be a generator of the multiplicative group of the field of q elements. Denote

and b an element of order q + 1 (Singer cycle) in \mathrm{SL}(2,q). By abuse of notation, we use the same symbols for the corresponding elements in \mathrm{PSL}(2,q)= \mathrm{SL}(2,q)/Z(\mathrm{SL}(2,q)). From the character table of \mathrm{SL}(2,q) (see [dorn, Theorem 38.1]), one gets easily the character table of \mathrm{PSL}(2,q). We reproduce it below for the convenience of the reader. The elements 1, c, d, a^l and b^m for 1 \le l \le \frac{q-1}{4} and 1 \le m \le \frac{q-1}{4} form a set of representatives for the conjugacy classes of \mathrm{PSL}(2,q). For 1 \le l \le \frac{q-1}{4} and 1 \le m \le \frac{q-1}{4}, one can see from [dorn, Theorem 38.1] that

where p is the prime of which q is power. Now we count the elements which do not have r–th roots and will deduce the probability of having r–th roots.

Since \langle a \rangle \simeq C_r, \langle a\rangle [r] \simeq \langle a\rangle and \langle a\rangle^r=1, Proposition 2.2 (i) implies \mathrm{Prob}_r(\langle a \rangle)= \frac{1}{r} so the elements not having r–th roots in \langle a\rangle are exactly

On the other hand, the (distinct) conjugates of \langle a \rangle have trivial intersection with \langle a \rangle so that the total number of elements of \mathrm{PSL}(2,q) which do not have r–th roots is obtained by multiplying \frac{q-3}{2} by the number of conjugates of \langle a \rangle , which is |\mathrm{PSL}(2,q) : N_{\mathrm{PSL}(2,q)}(\langle a \rangle )|. This means that

and, dividing both sides by |\mathrm{PSL}(2,q)|, we get

that is,

Let k>1 be such that 1/r^k < \epsilon and A be an elementary r–group of rank k. By Proposition 2.2 (ii), the result follows.

Since R is a Sylow r–subgroup of S which is elementary abelian of rank k for some k\ge1, we have 1/r^k < \epsilon and \mathrm{Prob}_r(S) = 1-\frac{1}{r^k}=\frac{r^k-1}{r^k}. On the other hand, 1 - \epsilon < \frac{r^k-1}{r^k} < 1, therefore 1 - \epsilon < \mathrm{Prob}_r(S) < 1, as claimed.

By Corollaries 3.3, 3.4, there is no loss of generality in showing that, if 0< x <1, then x is a limit point of T. There exists an integer m such that 1/r< r^mx<1. Note that (0,1)= {\underset {m\geq 0} \bigcup} [1/r^{m+1}, 1/r^m). Let y=r^mx. We can choose an integer n_1 \geq1 such that

noting that [1/r,1)={\underset {n\geq 1} \bigcup} [(r^n-1)/r^n, (r^{n+1}-1)/r^{n+1}). Let s_1=(r^{n_1}-1)/r^{n_1} and r_1=(r^{n_1+1}-1)/r^{n_1+1}. Again we can choose an integer n_2 \geq1 such that

noting that 1/r \leq y/r_1 < 1. As before, let s_2=(r^{n_2}-1)/r^{n_2} and r_2=(r^{n_2+1}-1)/r^{n_2+1}. Iterating this process, there exist positive integers n_1, n_2, n_3, \ldots and two sequences \{s_i\} and \{r_i\} such that s_i=(r^{n_i}-1)/r^{n_i}, r_i=(r^{n_i+1}-1)/r^{n_i+1} and s_i \leq \frac{y}{r_1r_2 \ldots r_{i-1}} < r_i for all i\geq 1. Of course, 0<s_i<r_i<1 for all i\geq1. We have n_i \leq n_{i+1} for all i\geq1, since

Thus \{s_i\} is a monotonically increasing sequence, bounded by 1, and so convergent. Moreover, \{s_i\} has infinitely many distinct terms; otherwise \{s_i\}, and hence \{r_i\}, would be eventually constant, and so, for some j\geq 1, we would have

or r_1r_2 \ldots r_{j-1} r^k_j for k\geq 1. This is impossible, since y>0 and {\underset{k\rightarrow \infty}\lim}r^k_j=0. Therefore, \{s_i\} converges to 1 (after omitting repeated terms), because it is a subsequence of \{(r^n-1)/r^n\}. This allows us to note that the sequence \{a_i\} converges to 1, where a_i=y/r_1r_2 \ldots r_{i-1}. Consequently, the sequence \{b_i\} converges to y, where b_i=r_1r_2 \ldots r_{i-1}. Thus we have

For each i\geq1 we consider the group G^{(i)}=G_0 \times G_1 \times \ldots \times G_{i-1}, where G_0=C^m_r and G_k is a sequence of groups isomorphic for each k to the group H, introduced in the assumptions. Propositions 2.2 and 2.6 imply

We have {\underset{i\rightarrow \infty}\lim}\mathrm{Prob}_r(G^{(i)})=x and the result follows.