Uncountable locally free groups
and their group rings

arXiv:1601.00295v1 [] 3 Jan 2016

TSUNEKAZU NISHINAKA
University of Hyogo
8-2-1 Gakuen Nishimachi Nishiku
Kobe-City 651-2197 Japan
Email: nishinaka@econ.u-hyogo.ac.jp

Abstract. In this note, we show that an uncountable locally free group, and
therefore every locally free group, has a free subgroup whose cardinality is the
same as that of G. This result directly improve the main result in [4] and establish
the primitivity of group rings of locally free groups.

1. INTRODUCTION
A group G is called locally free if all of its finitely generated subgroups are free. As a consequence of Nielsen-Schreier theorem, a free
group is always locally free. If the cardinality |G| of G is countable,
then G is locally free if and only if G is an ascending union of free
groups. In particular, G is a locally free group which is not free provided that it is a properly ascending union of non-abelian free groups
of bounded finite rank. In fact, in this case, G is infinitely generated
and Hopfian and so it is not free (also see [5] and [1]). If |G| is uncountable, that is |G| > ℵ0 , then it was studied in the context of almost free
groups, and it is also known that there exists an uncountable locally
free group which is not free ([2]).
Now, clearly, if G is a locally free group with |G| = ℵ0 , then G has
a free subgroup whose cardinality is the same as that of G. In the
present note, we shall show that it is true for locally free groups of any
cardinality. In fact, we shall prove the following theorem:
Theorem 1.1. If G is a locally free group with |G| > ℵ0 , then for each
finitely generated subgroup A of G, there exists a subgroup H of G with
|H| = |G| such that AH ≃ A ∗ H, the free product of A and H.
In particular, G has a free subgroup of the same cardinality as that
of G.
2000 Mathematics Subject Classification: 20E05, 20E25, 20C07
Key words and phrases: uncountable locally free group, primitive group ring.
This research was partially supported by Grants-in-Aid for Scientific Research
(KAKEN) under grant no. 26400055
1

2

Theorem 1.1 means that there is no need to assume the existence of
free subgroups in [4, Theorem 1]. That is, we can improve the theorem
and establish the primitivity of group rings of locally free groups, where
a ring R is (right) primitive provided it has a faithful irreducible (right)
R-module.
2. Proof of the theorem
In order to prove Theorem 1.1, we prepare necessary notations and
some lemmas which include a result due to Mal’cev [3]. Some of them
might be trivial for experts but we include their proofs for completeness.
For a finitely generated subgroup H of a locally free group G, µG (H)
is defined to be the least positive integer m such that H ⊆ Fm for some
free subgroup Fm of rank m > 0 in G. The rank r(G) of G is defined
to be the maximum element in
{µG (H) | H is a finitely generated subgroup in G}
or r(G) = ∞. We should note that r(G) is finite if and only if for each
finitely generated subgroup H of G, there exists a free subgroup N of
rank r(G) such that H ⊆ N. We should also note that for subgroups
H, M and N of G with H ⊆ M ⊆ N, µM (H) ≥ µN (H) holds.
Lemma 2.1. Let G be a locally free group, D a finitely generated subgroup of G with µG (D) = m and M a subgroup of G such that D ⊆ M
and r(M) = m. For g ∈ G \ M, set Mg = Mhgi; the subgroup of G
generated by g and the elements in M, and let r(Mg ) = n.
Then, if n > m, then n = m + 1 and there exists a free subgroup Fm
of rank m in M such that D ⊆ Fm and Fm hgi is isomorphic to the free
product Fm ∗ hgi.
Proof. Since r(Mg ) = n, there exists a finitely generated subgroup C of
Mg such that µMg (C) = n. Since C is finitely generated, it can be easily
seen that there exists finite number of elements a1 , . . . , al in M such
that C ⊆ ha1 , . . . , al , gi. We have then that there exists a free subgroup
Fm of rank m in M such that ha1 , . . . , al iD ⊆ Fm because of r(M) = m.
Since C ⊆ Fm hgi and µMg (C) = n, we see that r(Fm hgi) ≥ n. On the
other hand, r(Fm hgi) ≤ m + 1 because of g 6∈ Fm . Combining these
with the assumption n > m, we get that n = m + 1 = r(Fm hgi), which
implies Fm hgi ≃ Fm ∗ hgi.

For a locally free group of finite rank, the following result due to
Mal’cev is well-known.
Lemma 2.2. (See [3]) If G is a locally free group of finite rank, then
the cardinality of G is countable; namely |G| = ℵ0 .

3

On the other hand, if G is not of finite rank, then we have the
following property:
Lemma 2.3. If G is a locally free group whose rank is not finite, then
for each finitely generated subgroup A of G, there exists an element
x ∈ G with x 6∈ A, such that Ahxi ≃ A ∗ hxi, the free product of A and
hxi.
Proof. Let A be a finitely generated subgroup of G. We have then that
A is a free group of finite rank, because G is locally free. Since the rank
of G is not finite, there exists a free subgroup F of G such that A ( F
and r(F ) > r(A). Let A = hy1, . . . , yl i and F = hx1 , . . . , xm i, where
l = r(A) and m = r(F ). If for A1 = hy1, . . . , yl , x1 i, r(A1 ) = l + 1,
then A1 ≃ A ∗ hx1 i. If r(A1 ) ≤ l then there exists i ∈ {2, . . . , m} such
that r(Ai ) = r(Ai−1 ) + 1, where Ai = hy1, . . . , yl , x1 , . . . , xi i. We have
then that Ai ≃ Ai−1 ∗ hxi i. Since A ⊆ Ai−1 , we have thus seen that
Ahxi ≃ A ∗ hxi for some x ∈ G \ A.

Let G = A ∗ B be the free product of A 6= 1 and B 6= 1. Clearly,
if |G| = ℵ0 , then G has a free subgroup whose cardinality is the same
as that of G. If |G| > ℵ0 , then either |A| = |G| or |B| = |G|, say
|A| = |G|. Let I be a set with |I| = |A|, and for each i ∈ I, let ai be
in A such that ai 6= aj for i 6= j. We have then that for 1 6= b ∈ B,
the elements (ai b)2 over i ∈ I freely generate the subgroup of G whose
cardinality is the same as that of G. Hence we have
Lemma 2.4. If G = A ∗ B is the free product of A and B, then G has
a free subgroup whose cardinality is the same as that of G.
We are now read to prove Theorem 1.1.
Proof of Theorem 1.1. Let A be a finitely generated subgroup of G.
We set
B = {B | B is a non-trivial subgroup of G such that AB ≃ A ∗ B}.
Since G is locally free, A is a free group of finite rank. By assumption,
|G| > ℵ0 , and so the rank of G is not finite by Lemma 2.2. Hence, by
Lemma 2.3, there exists an element g ∈ G \ A such that Ahgi ≃ A ∗ hgi,
whence hgi ∈ B; thus B =
6 ∅.S Let B1 ⊆ B2 ⊆ · · · ⊆ Bi ⊆ · · · be a chain
∗
of Bi ’s in B, and let B ∗ = ∞
i=1 Bi . We can see that B belongs to B.
∗
∗
In fact, if not so, then AB 6≃ A ∗ B , and so there exists a finitely
generated subgroup C of B ∗ such that AC 6≃ A ∗ C. However, because
C is finitely generated in B ∗ , we have C ⊆ Bi for some i, which implies
ABi 6≃ A ∗ Bi , a contradiction. We have thus shown that (B, ⊆) is
an inductively ordered set. By Zorn’s lemma, there exists a maximal

4

element H in (B, ⊆). We shall show |H| = |G|, which completes the
proof of the theorem. In fact, AH ≃ A ∗ H and it has also a free
subgroup whose cardinality is the same as that of G by Lemma 2.4.
Suppose, to the contrary, that |H| < |G|. Set N = AH(≃ A∗H), and
for a finitely generated subgroup D of N with µG (D) = m, let M(D)
be the set of subgroups M of G such that D ⊆ M and r(M) = m.
We can see that (M(D), ⊆) is an inductively ordered set as follows:
Since m = µG (D), there exists a free subgroup Fm of rank m in G such
that D ⊆ Fm . Hence Fm ∈ M(D), whence M(D) 6= ∅. Let
S∞M1 ⊆
∗
M2 ⊆ · · · ⊆ Mi ⊆ · · · be a chain of Mi ’s in M, and let M = i=1 Mi .
Clearly, D ⊆ M ∗ . By the definition of the rank, r(M ∗ ) ≥ µM ∗ (D).
Since M ∗ ⊆ G, we have that µM ∗ (D) ≥ µG (D) = m; thus r(M ∗ ) ≥ m.
On the other hand, by the definition of r(M ∗ ), there exists a finitely
generated subgroup C of M ∗ such that µM ∗ (C) = r(M ∗ ). Since C
is finitely generated, there exists i > 0 such that C ⊆ Mi , and then
µMi (C) ≤ r(Mi ), which implies that r(M ∗ ) = µM ∗ (C) ≤ µMi (C) ≤
r(Mi ) = m; thus r(M ∗ ) ≤ m. Hence we have r(M ∗ ) = m. We have
thus proved that M ∗ ∈ M(D) and that (M(D), ⊆) is an inductively
ordered set.
Again by Zorn’s lemma,
S there exists a maximal element M(D) in
(M(D), ⊆). Let L = D∈D M(D), where D is the set consisting of
all finitely generated subgroups of N. Since r(M(D)) is finite for each
D ∈ D, it follows from Lemma 2.2 that |M(D)| = ℵ0 for each D ∈ D.
Hence we have |L| < |G| because |D| = |N| < |G|. In particular, there
exists g ∈ G such that g 6∈ L. Note that g 6∈ N because of N ⊂ L, and
so g 6∈ H. We shall show that Nhgi ≃ N ∗ hgi. In order to do this, it
suffices to show that for each D ∈ D, Dhgi ≃ D ∗ hgi holds.
Let r(M(D)) = m for D ∈ D and let Mg = M(D)hgi. Since D ⊆ Mg
and µMg (D) ≥ µG (D) = m, it follows that r(Mg ) ≥ m. Moreover,
since g 6∈ M(D), we have M(D) ( Mg . Hence the maximality of
M(D) implies r(Mg ) > m. It follows from Lemma 2.1 that there
exists a free subgroup Fm of rank m in M(D) such that D ⊆ Fm and
Fm hgi ≃ Fm ∗ hgi. Hence we have Dhgi ≃ D ∗ hgi.
We have thus shown that Nhgi ≃ N ∗ hgi, which contradicts the
maximality of H because N ∗ hgi = A ∗ (H ∗ hgi). This completes the
proof of the theorem.

Theorem 1.1 shows that the assumption on existence of free subgroups in [4, Theorem 1] can be dropped. That is, we have the following
theorem:

5

Theorem 2.5. Let G be a non-abelian locally free group. If R is a
domain with |R| ≤ |G|, then RG is primitive.
In particular, KG is primitive for any field K.
References
[1] G. Higman, A finitely related group with an isomorphic factor group, J. London
Math.Soc., 26(1951), 59-61
[2] G. Higman, Almost free groups, Proc. London Math.Soc., 1(3)(1951), 284-290
[3] A. I. Mal’cev, On groups of finite rank, Mat. Sbornik N.S., 22(64)(1948), 351352.
[4] T. Nishinaka, Group rings of countable non-abelian locally free groups are primitive, Int. J. algebra and computation, 21(3) (2011), 409-431
[5] M. Takahashi, Note on locally free groups, Osaka, City, Univ., 1(1950), 65-70.

