FUCHS’ PROBLEM FOR DIHEDRAL GROUPS

arXiv:1607.00687v1 [math.RA] 3 Jul 2016

SUNIL K. CHEBOLU AND KEIR LOCKRIDGE
Abstract. More than 50 years ago, László Fuchs asked which abelian groups can be the
group of units of a ring. Though progress has been made, the question remains open.
One could equally well pose the question for various classes of nonabelian groups. In this
paper, we prove that D2 , D4 , D6 , D8 , and D12 are the only dihedral groups that appear
as the group of units of a ring of positive characteristic (or, equivalently, of a finite ring),
and D2 and D4k , where k is odd, are the only dihedral groups that appear as the group
of units of a ring of characteristic 0.

Contents
1. Introduction
2. Preliminaries
3. Rings of positive characteristic
4. Rings of characteristic zero
References

1
3
6
10
12

1. Introduction
László Fuchs poses the following problem in [Fuc60]: determine which abelian groups
are the group of units of a commutative ring. In [PS70], following [Gil63], all finite cyclic
groups which occur as the group of units of a ring are determined. In [CL15], we provide
an answer to this question for indecomposable abelian groups. Rather than narrowing the
class of abelian groups under consideration, one could also broaden the scope of the problem
by considering nonabelian groups and noncommutative rings. Call a group G realizable
if it is the group of units of some ring. In [DO14a] and [DO14b] the authors determine
which alternating, symmetric, and finite simple groups are realizable. In the present work,
we determine which dihedral groups are the group of units of a ring, and our classification
is stratified by characteristic. All rings in this paper are rings with unity. Our results are
summarized in the following theorem.
Theorem 1.1. Let R be a ring. If the group of units R× is a dihedral group, then char R =
0, 2, 3, 4, 6, 8, or 12. The following is a complete list of the dihedral groups which are realizable
as the group of units for a ring R with c = char R. In the third column, we give an example
of such a ring in each case.
Date: July 5, 2016.
2000 Mathematics Subject Classification. Primary 11T06, 20K10; Secondary 06F20.
Key words and phrases. group of units, group algebra, dihedral group, Jacobson radical, split quaternions.

2

SUNIL K. CHEBOLU AND KEIR LOCKRIDGE

c=0

D2
Z
D4k , k odd Zk ⋊ Z[C2 ]
c = 2 D2
F2 [D2 ]
D4
F2 [D2 ] × F2 [D2 ]
D6
M2 (F2 )
D8
U3 (F2 )
D12
F2 [D6 ]
c = 3 D2
F3
D4
F3 × F3
D12
U2 (F3 )
c = 4 D2
Z4
D4
Z4 × Z4
D8
EndZ (C4 × C2 )
D12
Z4 × M2 (F2 )
c = 6 D2
F2 × F3
D4
F2 × F3 × F3
D12
F2 × U2 (F3 )
c = 8 D4
Z8
c = 12 D4
Z12
The ring Zk ⋊ Z[C2 ] is defined in §4. The group Cn denotes the (multiplicative) cyclic
group of order n, Fpk denotes the finite field of order pk (for p a prime), Zn denotes the
ring of integers modulo n, and k[G] denotes the group algebra of G with coefficients in k.
The ring Mn (k) denotes the ring of n × n matrices with entries in k, and Un (k) denotes
the ring of n × n upper triangular matrices with entries in k. The group of units of U3 (F2 )
is the Heisenberg group of order 8, which is isomorphic to D8 . The group algebras F2 [D2 ]
and F2 [D6 ] are isomorphic to F2 [x]/(x2 ) and F2 [x]/(x2 ) × M2 (F2 ), respectively.
Proof. We prove in Proposition 4.1 that the unit group of Zk ⋊ Z[C2 ] is D4k when k is
odd. It is straightforward to check that the remaining rings have the indicated dihedral
unit groups; we leave this to the reader to verify. In Proposition 2.3, we show that the
characteristic of a ring whose group of units is dihedral must be 0, 2, 3, 4, 6, 8, or 12.
It is clear from the proof that D4 is the only dihedral group realizable in characteristic 8
∼
since it is the only dihedral group whose center contains Z×
8 = C2 × C2 , and D4 is the
only dihedral group realizable in characteristic 12 since it is the only dihedral group whose
∼
center contains Z×
12 = C2 × C2 . We eliminate the possibility that any unlisted dihedral
groups are the group of units of a ring of characteristic c in Propositions 4.4 (c = 0); 3.2
and 3.4 (c = 2); 3.5 (c = 3); 3.7 and 3.8 (c = 4); 3.6 (c = 6).

There is a finite ring whose unit group is dihedral if and only if there is a ring of positive
characteristic whose unit group is dihedral (see Proposition 2.2). Note also that every
dihedral group that occurs as the group of units of a finite ring occurs as the group of units
of a ring of characteristic 2, and this is precisely the list of dihedral groups which occur as
subgroups of GL2 (Z) (see [Mac96]). The nonabelian dihedral groups appearing as the group
of units of a finite ring, D6 , D8 , and D12 , arise in at least two other interesting situations:
they are the only nonabelian dihedral groups isomorphic to their own automorphism groups,
and they correspond precisely with the only regular polygons that tile the plane (equilateral
triangles, squares, and regular hexagons).

FUCHS’ PROBLEM FOR DIHEDRAL GROUPS

3

We wish to thank the developers of the open source mathematics software system
SageMath; it enabled us to do several computations that helped illuminate various aspects
of the proof of Theorem 1.1. We are also grateful to the referee for providing detailed and
helpful comments.
2. Preliminaries
We will use the following familiar presentation of the dihedral group of order 2n,
generated by a rotation r of order n and a fixed reflection s:
D2n = hr, s | r n = 1, s2 = 1, srs = r −1 i.
The following properties of the dihedral group are well known and will be used freely
throughout this paper. We will refer to a group G as indecomposable if it is not isomorphic
to a direct product of two nontrivial groups, and we will refer to a ring R as indecomposable
if it is not isomorphic to a direct product of two nontrivial rings (the trivial ring is the ring
{0}).
Proposition 2.1. The dihedral group D2n satisfies the following properties.
(A) We have D2 ∼
= C2 and D4 ∼
= D2 × D2 ∼
= C2 × C2 .
(B) For n > 2, the center of D2n is h1i if n is odd and hr n/2 i if n is even.
(C) For n > 2, the dihedral group is indecomposable unless n = 2k where k is odd, in
which case
D2n ∼
= C2 × D2k ,
where both factors are indecomposable. This direct product decomposition is unique
up to the order of the factors.
(D) For n > 2 and n odd, the only proper normal subgroups of D2n are the subgroups of
hri. For n > 2 and n even, there are two additional proper normal subgroups, hr 2 , si
and hr 2 , rsi, both of order n and isomorphic to Dn .
We will say that a group G is realizable in characteristic m if G is the group of units
of some ring of characteristic m. The next proposition shows that a realizable group is the
group of units of a quotient of a group algebra.
Proposition 2.2. If D2n is realizable in characteristic m, then it is the group of units of
the ring Zm [D2n ]/I for some two-sided ideal I. In particular, D2n is the group of units of
a finite ring if and only if it is realizable in positive characteristic.
Proof. Let R be a ring of characteristic m whose group of units is isomorphic to D2n . There
is a ring homomorphism
ϕ : Zm [D2n ] −→ R
that restricts to the identity map on D2n ≤ (Zm [D2n ])× (note that if m = 0, then Zm = Z).
The image of ϕ is isomorphic to R′ = Zm [D2n ]/I, where I is a two-sided ideal equal to the
kernel of ϕ, and (R′ )× = D2n .

In this and subsequent sections, we will replace R with the quotient Zm [D2n ]/I appearing in the above proposition as necessary. Usually, the significance of this replacement
is simply that R may be assumed to be generated by its units and finite when m > 0. We
next determine the possible characteristics of a ring with dihedral units.

4

SUNIL K. CHEBOLU AND KEIR LOCKRIDGE

Proposition 2.3. If R is a ring whose group of units is isomorphic to a dihedral group D2n ,
then the characteristic of R is 0, 2, 3, 4, 6, 8 or 12. If n > 1 is odd, then the characteristic
of R must be 2.
Proof. Suppose R is a ring of characteristic m > 0 with R× = D2n . Since Zm is a central
subring of R, Z×
m is a subgroup of the center of D2n . This center is trivial if n > 2 is odd,
isomorphic to C2 if n = 1 or n > 2 is even, and isomorphic to C2 × C2 if n = 2. If m > 12,
we have |Z×
m | > 4, so char R ≤ 12. If the center has order at most 2, then n = 2, 3, 4, or 6.
∼
For D4 = C2 × C2 , the ring may also have characteristic 8 (indeed, Z×
8 = D4 ) or 12 (since
× ∼
Z12 = D4 ). For n > 1 note that −1 ∈ R is a central element of multiplicative order 2, but
if n is odd there is no such element of D2n , and hence for n odd the characteristic must
equal 2.

To motivate the next two propositions, consider a ring R of prime characteristic p
whose group of units contains an element of order pr . We would like to know whether this
imposes any interesting restrictions on the size of R× . There is a ring homomorphism
r

ϕ : Fp [x]/(xp − 1) −→ R

(1)

r

sending x to a unit of order pr . The domain of ϕ is isomorphic to Fp [x]/(xp ), so S = im ϕ
is a subring of R isomorphic to Fp [x]/(xn ) for some n ≤ pr . In the next proposition, we
compute the group of units of Fp [x]/(xn ).
Proposition 2.4. The group of units of Fp [x]/(xn ) is isomorphic to

m l m l
m
l
n
n
M
−2 nk + k+1
k−1
p
p
.
Un = Cp−1 ⊕ 
Cpkp
1≤k<1+logp n

Proof. First, observe that an element of R = Fp [x]/(xn ) is a unit if and only if its constant
term is nonzero. Thus, R× ∼
= Cp−1 × B, where B is the subgroup of units with constant
term 1. Further, |B| = pn−1 so every element of B has order a power of p.
Now, let αpk denote the number of units in B of order dividing pk . A non-identity
element f (x) = 1 + cj xj + · · · , with cj 6= 0, is a unit of order dividing pk if and only if
pk j ≥ n. Hence,
l m
n

n−

pk .
αpk = p
Let βpk denote the number of factors in the canonical decomposition of B isomorphic to
Cpk . Then,

αpk = pβp · (p2 )βp2 · · · · · (pk−1 )βpk−1 · (pk )βpk +βpk+1 + ··· .
Solving for βpk , one finds that
βpk = logp

"

α2pk
αpk−1 αpk+1

The formula given in the statement now follows.

#

.


For a finite abelian group G, let d(G) denote the number of factors in the canonical
decomposition of G as a direct product of cyclic groups of prime power order. The next

FUCHS’ PROBLEM FOR DIHEDRAL GROUPS

5

proposition gives a useful lower bound on d(G) for some finite abelian subgroup G ≤ R×
and gives criteria for the presence of noncyclic abelian subgroups.
Proposition 2.5. Let R be a ring of prime characteristic p whose group of units contains
an element of order pr ≥ p2 .
(A) If p > 2, then R× has a noncyclic finite abelian subgroup G such that d(G) ≥
1 + (p − 1)pr−2 .
(B) If p = 2, then R× has a finite abelian subgroup G such that d(G) ≥ 2r−2 . If r ≥ 3,
then G is noncyclic.
Proof. As explained in the paragraph before Proposition 2.4 where the ring homomorphism
r
ϕ is defined, the domain of ϕ is isomorphic to Fp [x]/(xp ), so S = im ϕ is a subring of
R isomorphic to Fp [x]/(xn ) for some n ≤ pr . The ring S must contain an element of
order pr , so in light of the decomposition of Un appearing in Proposition 2.4 we must have
r−1
1 ≤ r < 1+logp n. Thus n ≥ pr−1 +1. The quotient map S −→ Fp [x]/(xp +1 ) is surjective
r−1
on units since its kernel, the ideal (xp +1 ), is a nilpotent ideal of S. Consequently, Upr−1 +1
is a quotient of a subgroup G of R× . Since taking quotients cannot increase the number of
factors in the canonical decomposition of a finite abelian group, d(G) ≥ d(Upr−1+1 ). Using
Proposition 2.4, one can check that
(p−1)2

Upr−1 +1 = Cp−1 × Cp−1
× Cpr−2
pr−1

p(p−1)2

× Cpr−3

pr−4 (p−1)2

× · · · × Cp2

× Cpp

r−3 (p−1)2

.

If p > 2, d(Upr−1+1 ) = 1 + (p − 1)pr−2 . If p = 2, d(Upr−1 +1 ) = 2r−2 .
When p > 2, d(Upr−1+1 ) ≥ 3, and if p = 2 and r ≥ 3, then d(Upr−1+1 ) ≥ 2. In both
cases, d(H) ≥ 2, where H is the p-torsion summand of Upr−1 +1 . It follows that G is a
noncyclic abelian subgroup.

Before turning to the proof of Theorem 1.1 for rings of positive characteristic in the
next section, we collect a few results from the theory of noncommutative rings. Let R be a
ring with a finite group of units and let I be a two sided ideal contained in the Jacobson
radical J of R. The Jacobson radical satisfies J = {x ∈ R | 1 + RxR ⊆ R× }. Now, if a + I
is a unit of R/I, then there is an element b ∈ R such that ab − 1 ∈ I ⊆ J, so ab is a unit of
R and therefore a has a right inverse. Similarly, a also has a left inverse and hence a must
be a unit of R. This proves that the quotient map R −→ R/I is surjective on units. The
remainder of the following proposition follows easily from this fact.
Proposition 2.6. Let R be a ring with a finite group of units and let I be a two-sided ideal
of R contained in the Jacobson radical. Then:
(A) The quotient map ϕ : R −→ R/I induces a surjective group homomorphism
ϕ× : R× −→ (R/I)× .
(B) The set 1 + I = ker ϕ× is a normal subgroup of R× , and I is finite since R× is finite.
(C) We have |R× | = |(R/I)× || ker ϕ× | = |(R/I)× ||I| and hence |I| divides both |R| and
|R× |.
The next proposition is part of the theory of idempotents in noncommutative rings;
see [Lam01, §21, §22] for more details. Central idempotents in such rings may be used
to find block decompositions, and it is natural to ask whether information from a block
decomposition of a quotient may give information about the original ring. If R is a ring

6

SUNIL K. CHEBOLU AND KEIR LOCKRIDGE

and I is a nilpotent two-sided ideal contained in the Jacobson radical of R, then there is a
bijection between the set of central idempotents of R and the central idempotents of R/I 2
(see [Lam01, 22.9]). We only need the following proposition, which is a corollary to this
fact.
Proposition 2.7. If R is a ring and I is a nilpotent two-sided ideal contained in the
Jacobson radical of R, then R is indecomposable if and only if R/I 2 is indecomposable.
Finally, we need a structure theorem for finite rings with trivial Jacobson radical. A
ring with trivial Jacobson radical is called semiprimitive, and any Artinian semiprimitive
ring is semisimple. The Artin-Wedderburn Theorem then implies the ring is a product of
matrix rings over division rings. If the ring is finite, then each division ring is finite and
therefore a field by Wedderburn’s Little Theorem. This proves the following proposition.
Proposition 2.8. Let R be a finite ring of prime characteristic p. If R has trivial Jacobson
radical, then it is a finite product of matrix rings of the form Mm (Fpk ) where m and k are
positive integers.
3. Rings of positive characteristic
The goal of this section is to prove Theorem 1.1 for rings of positive characteristic.
To begin, we eliminate the unlisted dihedral groups in the characteristic 2 case.
Proposition 3.1. Let n be a positive integer such that 8 ∤ n. If R is a finite ring of
characteristic 2 with trivial Jacobson radical and unit group D2n , then n = 3.
Proof. Suppose R is an finite ring of characteristic 2 with trivial Jacobson radical such that
R× = D2n for some n, where 8 ∤ n. By Proposition 2.8, R is a product of matrix rings of
the form Mm (F2k ). The dihedral group D2n is indecomposable unless n = 2v for v odd, in
which case
D4v = C2 × D2v
by Proposition 2.1 (C). Since this direct product decomposition is unique (up to the order
of the factors) and C2 cannot be the group of units of any such matrix ring, we must have
D2n ∼
= GLm (F2k ). It is well known that the order of GLm (Fpk ) is
(pmk − 1)(pmk − pk ) · · · · · (pmk − p(m−1)k ).
The exponent of p in the prime factorization of this quantity is km(m − 1)/2. Since p = 2
has odd order, but the
and 8 ∤ n, we have km(m − 1) ≤ 6. When m = 1, GLm (F2k ) = F×
2k
dihedral group has even order, so m > 1. If k = 3, then m = 2; the center of GL2 (F8 ) is
F×
8 = C7 , which is not the center of any dihedral group. If k = 2, then m = 2; the center of
GL2 (F4 ) is F×
4 = C3 , which is not the center of any dihedral group. If k = 1, then m = 2
or 3; if m = 2, then we obtain GL2 (F2 ) ∼
= D6 . If m = 3, then GL3 (F2 ) has trivial center
and order 168, but the center of D168 has order 2.

Proposition 3.2. If D2n is realizable in characteristic 2, then n is a divisor of 12.
Proof. Suppose R is a ring of characteristic 2 whose group of units is D2n . If 8 | n, then
R contains a unit of order 23 . By Proposition 2.5 (B), D2n contains a noncyclic abelian
subgroup, but no such subgroup exists for n 6= 2. Hence, 8 ∤ n.

FUCHS’ PROBLEM FOR DIHEDRAL GROUPS

7

As observed in Proposition 2.2, we may assume R is finite. Note further that R and
its Jacobson radical J have orders which are powers of 2. But |J| must also divide |R× | so
|J| = 1, 2, 4 or 8.
If |J| = 1, then D2n = D6 by Proposition 3.1.
If |J| = 2, then 1 + J is a normal subgroup of order 2 in D2n . If this subgroup lies in
the rotation subgroup then 2 divides n and Dn = (R/J)× is realizable in characteristic 2
by a ring with trivial Jacobson radical, forcing n = 6 by Proposition 3.1. Otherwise, 1 + J
is one of the two order n subgroups hr 2 , si or hr 2 , rsi, forcing n = 2. Finally, we may have
1 + J = D2n forcing n = 1.
If |J| = 4, then 1 + J is a normal subgroup of order 4 in D2n . If this subgroup lies in
the rotation subgroup then 4 divides n and Dn/2 = (R/J)× is realizable in characteristic
2 by a ring with trivial Jacobson radical, forcing n = 12 by Proposition 3.1. If 1 + J does
not consist entirely of rotations, then n must be even and 1 + J = hr 2 , si or hr 2 , rsi. These
subgroups have order n, forcing n = 4. If 1 + J = D2n , then n = 2.
If |J| = 8, then since 8 ∤ n the only possibility is that 1 + J = D2n and n = 4.

In the characteristic 2 case, it remains to eliminate D24 . To that end, we first prove
the following proposition.
Proposition 3.3. If R is a ring of characteristic 2 generated by its units with R× ∼
= D12 ,
then R is decomposable.
Proof. Let R be a a ring of characteristic 2 generated by its units with R× ∼
= D12 . The
ring R is a quotient of F2 [D12 ]. The element r 2 + r 4 is a central idempotent of F2 [D12 ]; we
therefore have a decomposition
F2 [D12 ] = (r 2 + r 4 ) × (1 + r 2 + r 4 ) = R1 × R2 .
In the ring R2 , r 2 + r 4 = 0, so r 2 = 1 in R2 . It is straightforward to check that R2 is a
quotient of F2 [D4 ] ∼
= F2 [x, y]/(x2 , y 2 ), a ring with 16 elements and 8 units of order dividing
2.
Assume to the contrary that R is an indecomposable ring. Then R is either a quotient
of R1 or R2 . If R is a quotient of R2 , then it is a quotient of F2 [D4 ]. Since F2 [D4 ] has no
units of order 3, R must be a quotient of R2 of order at most 8. But no such ring can have
D12 as its group of units. Hence, R is a quotient of R1 . This means 1 + r 2 + r 4 = 0 in R or,
equivalently, r 2 + r 4 = 1. Now consider the element a = s + sr. Direct calculation shows
that a4 = 1 in R. But since D12 has no elements of order 4, we must have a2 = 1. Now,
1 = a2 = r + r 5 and hence r 3 = r 4 + r 2 = 1 in R, a contradiction.

Proposition 3.4. The dihedral group D24 is not realizable in characteristic 2.
Proof. If D24 is realizable in characteristic 2, then by Proposition 2.2 there exists a finite
ring R of characteristic 2, generated by its units, such that R× = D24 . We may further
assume R is indecomposable: if R ∼
= R1 × R2 , then since D24 indecomposable, without
loss of generality R1× = D24 and we may replace R with R1 (which is also generated by its
units). Since R is finite, we may repeat this step until we obtain an indecomposable ring.
Let J denote the Jacobson radical of R. Since 24 = 2 · 4 · 3, as in the proof of
Proposition 3.2 we must have |J| = 1, 2, or 4 (since D24 has no normal subgroup of order
8, |J| =
6 8). We cannot have |J| = 1 by Proposition 3.1. If |J| = 2, then 1 + J = hr 6 i and

8

SUNIL K. CHEBOLU AND KEIR LOCKRIDGE

R/J is has trivial Jacobson radical and unit group D12 , which is impossible by Proposition
3.1.
It remains to consider the possibility that |J| = 4. In this case, 1 + J = hr 3 i. Since J
is nilpotent, by Proposition 2.7 we obtain that since R is indecomposable, so is R/J 2 . Since
1 + J 2 = hr 6 i and the map R −→ R/J 2 is surjective on units, R/J 2 is an indecomposable
ring generated by its units with unit group D12 . This is impossible by Proposition 3.3. 
We now turn our attention to rings of characteristic 3.
Proposition 3.5. If n 6= 1, 2 or 6, then D2n is not realizable in characteristic 3.
Proof. Suppose R is a ring of characteristic 3 with R× = D2n . If 9| n, then R contains a
unit of order 32 . By Proposition 2.5 (A), D2n must contain a noncyclic abelian subgroup,
but no such subgroup exists for n 6= 2. Hence, 9 ∤ n.
Since we may assume R is finite, the Jacobson radical of R has order 1 or 3 since
9 ∤ n. If |J| = 1, then R is a product of matrix rings of the form Mm (F3k ). Suppose
D2n = GLm (F3k ). Using the formula for | GLm (F3k )| discussed in the proof of Proposition
3.1, we see that the exponent of 3 in | GLm (F3k )| is km(m − 1)/2. Since 9 ∤ n, we have
is cyclic, forcing k = 1
km(m − 1) ≤ 2. If m = 1, then the dihedral group D2n = F×
3k
and n = 1. If m = 2, then k = 1; however, GL2 (F3 ) has more than one subgroup of
order 3 (take, for example, upper triangular matrices with 1’s on the diagonal and lower
triangular matrices with 1’s on the diagonal), whereas D48 has a unique subgroup of order
3 generated by r 8 . To summarize, if D2n is indecomposable and realizable in characteristic
3 by a ring with trivial Jacobson radical, then D2n = D2 . If D2n is decomposable, then
n = 2n′ , where n′ is odd, D2n ∼
= D2 × D2n′ , and D2n′ is indecomposable. So if D2n is
decomposable and realizable in characteristic 3 by a ring with trivial Jacobson radical, then
D2n = D2 × D2 = D4 .
Now suppose |J| = 3. Then (R/J)× ∼
= D2n/3 where R/J has trivial Jacobson radical.
Hence, if D2n is realizable, then n = 3 or n = 6. To finish the proof, we must eliminate D6 .
If R× ∼
= D6 , then R has a subring isomorphic to a quotient of F3 [x]/(x3 − 1) ∼
= F3 [x]/(x3 ),
where x corresponds to r. By Proposition 2.4, the unit group of this subring is C2 × B,
where B is a finite abelian 3-group, necessarily nontrivial since the subring must contain
an element of order 3. The group R× must therefore contain an element of order 6, but D6
has no such element. This completes the proof.

Together with the classification in characteristics 2 and 3, the following proposition
completes the classification in characteristic 6. Condition (A) gives rise to all the dihedral
groups in characteristic 6 in Theorem 1.1; conditions (B) and (C) generate no other examples
(though the rings therein are not generally isomorphic to the rings appearing in condition
(A)).
Proposition 3.6. If D2n is the group of units of a ring R of characteristic 6 then either
(A) D2n = (F2 × S)× , where char S = 3;
(B) 2n = 4v, where v is odd, and D2n = (S × F3 )× , where char S = 2; or
(C) 2n = 4v, where v is odd, and D2n = (F2 [x]/(x2 ) × S)× where char S = 3.
Proof. Suppose R is a ring of characteristic 6 with unit group D2n . Then R ∼
= R1 × R2 ,
where R1 has characteristic 2, R2 has characteristic 3, and D2n = R1× × R2× . The group R2×

FUCHS’ PROBLEM FOR DIHEDRAL GROUPS

9

cannot be trivial, so one possibility is that R2× = D2n and condition (A) holds with S = R2 .
Otherwise, D2n must be decomposable. In this case, n = 2v, where v is odd, and D2v is
indecomposable with D2v = R1× or D2v = R2× . In the former case, D2n = (R1 × F3 )× and
condition (B) holds, and in the latter case D2n = (F2 [x]/(x2 ) × R2 )× and condition (C)
holds.

To complete the proof of Theorem 1.1 for rings of positive characteristic, only the
characteristic 4 case remains.
Proposition 3.7. If D2n is realizable in characteristic 4, then n = 1, 2, 4, 6 or 8.
Proof. Suppose R is a ring of characteristic 4 with R× = D2n . For any t ∈ R, we have
(1 + 2t)2 = 1. This implies that 1 + 2t is an element of order dividing 2 in D2n . Thus,
1 + (2) ⊆ {g ∈ D2n | |g| ≤ 2}.
Consider the quotient map ϕ : R −→ R/(2). Note that ϕ× : R× −→ (R/(2))× is surjective
since (2) is a nilpotent ideal and
1 + (2) = ker ϕ× .
This kernel cannot be trivial for otherwise 2 = 0 in R and R has characteristic 2, not 4.
Hence, ker ϕ× must be a nontrivial normal subgroup of D2n consisting entirely of elements of
order dividing 2. If n 6= 1, 2, 4, then we must have n even and ker ϕ× = hr n/2 i. Consequently,
(R/(2))× ∼
= Dn . This forces n to be 8 or an even divisor of 12 by Propositions 3.2 and 3.4.
In the case n = 12, we may assume (as in the proof of Proposition 3.4) that R in
the above argument is finite, indecomposable, and generated by its units. Note that the
Jacobson radical J of R contains the nilpotent ideal (2). Now the ring R/(2) is a ring of
characteristic 2 whose unit group is isomorphic to D12 . By the proof of Proposition 3.2,
the Jacobson radical of R/(2) must have size 2. Hence, |J| = 4. Since 1 + J is a normal
subgroup of D24 of order 4, we must have 1 + J = hr 3 i and 1 + J 2 = hr 6 i, so J 2 = (2). Since
R is indecomposable, R/J 2 = R/(2) is indecomposable by Proposition 2.7. This contradicts

Proposition 3.3.
Finally, we eliminate D16 in characteristic 4.
Proposition 3.8. The dihedral group D16 is not realizable in characteristic 4.
Proof. Assume to the contrary that there is a ring R of characteristic 4 with R× = D16 .
As observed earlier, −1 is a central unit of order 2 so r 4 = −1 in R. We therefore have a
ring homomorphism
ϕ : Z4 [x]/(x4 + 1) −→ R
sending x to r. Let S denote the image of ϕ. We claim that 2 = 0 in S forcing the
characteristic of R to be 2, a contradiction.
Since S is a commutative subring of R containing hri = C8 , we must have S × = C8
since this is the only abelian subgroup of D16 containing C8 . Hence, 1 and −1 are the only
units of order dividing 2 in S. Since (1 + 2r)2 = 1, we must either have 1 + 2r = 1, in which
case 2 = 0 since r is a unit, or 1 + 2r = −1, in which case 2r − 2 = 0.
Now, using the fact that r 4 + 1 = 0 and 2r − 2 = 0, we have (1 + (1 + r)3 )2 = 1. Thus,
either 1 + (1 + r)3 = 1, in which case 0 = (1 + r)4 + 2 = 2, or 1 + (1 + r)3 = −1, in which
case 0 = (1 + r)4 + 2 = 2(1 + r) + 2 = 2.


10

SUNIL K. CHEBOLU AND KEIR LOCKRIDGE

4. Rings of characteristic zero
Suppose n > 1 and D2n is realizable in characteristic 0. By Proposition 2.3, n must
be even. We will begin by proving that D4k is realizable when k ≥ 1 is odd. Let s
denote the generator of C2 = hsi. The group ring Z[C2 ] ∼
= Z[s]/(s2 − 1) has unit group
∼
∼
{1, −1, s, −s} = D2 × D2 = D4 . We now define a ring Zk ⋊ Z[C2 ] that contains Z[C2 ] as a
subring and has unit group isomorphic to C2 × D2k . Define maps
S, D : Z[C2 ] −→ Zk
by S(a + bs) = a + b mod k and D(a + bs) = a − b mod k. These maps are ring homomorphisms since they are evaluation at s = 1 and s = −1, respectively, followed by reduction
modulo k. As an additive abelian group, let
Zk ⋊ Z[C2 ] = Zk ⊕ Z[C2 ],
and define a product on Zk ⋊ Z[C2 ] by
(t, u)(t′ , v) = (tD(v) + t′ S(u), uv).
It is straightforward to check that this binary operation has identity 1 = (0, 1) and is both
associative and distributive.
Proposition 4.1. For any positive integer k, the ring Zk ⋊ Z[C2 ] has unit group isomorphic to C2 × D2k . In particular, if k is odd then the dihedral group D4k is realizable in
characteristic 0.
Proof. We will show that (Zk ⋊ Z[C2 ])× is isomorphic to h−1i × H = ±H, where H ≤
(Zk ⋊ Z[C2 ])× is isomorphic to D2k = hr, si. In Zk ⋊ Z[C2 ], write r = (1, 1), s = (0, s), and
±1 = (0, ±1).
The element r satisfies r i = (i, 1) for any integer i, so r is a unit of order k. Now,
sr = (0, s)(1, 1) = (1, s) = (−1, 1)(0, s) = r −1 s.
The subgroup of (Zk ⋊ Z[C2 ])× generated by r and s has 2k elements and satisfies the
relations s2 = 1, r k = 1, and sr = r −1 s; it is therefore isomorphic to D2k . This proves
that (Zk ⋊ Z[C2 ])× contains ±D2k as a subgroup. If (t, u) is a unit of Zk ⋊ Z[C2 ], then
u must be a unit in Z[s]/(s2 − 1), so (Zk ⋊ Z[C2 ])× has at most 4k elements. Hence
(Zk ⋊ Z[C2 ])× = ±D2k , as desired.

Remark 4.2. The construction of Zk ⋊Z[C2 ] is an example of a more general phenomenon.
Let A and B be rings and let f, g : A −→ Z(B) be ring homomorphisms, where Z(B) denotes
the center of B. We may define a ring T = B ⋊ A as follows. As an additive abelian group,
let T = B ⊕ A. Define a multiplication operation on T by
(b, a)(b′ , a′ ) = (bf (a′ ) + b′ g(a), aa′ ).
The identity for this operation is 1 = (0, 1). If (b, a) is a unit of T , then a is a unit of A and
(b, a)−1 = (−bg(a−1 )f (a−1 ), a−1 ).
The group A× is naturally a subgroup of T × as (0, A× ), and the group B ′ = (B, +) is
naturally a normal subgroup of T × as (B, 1). Further, T × = B ′ ·A× and B ′ ∩ A× = {(0, 1)}.
Hence, T × ∼
= B ′ ⋊ A× . The homomorphism ϕ : A× −→ Aut(B ′ ) that determines the
semidirect product is given by ϕa (b) = g(a)f (a−1 )b. In the case of Zk ⋊ Z[C2 ] above,
ϕ−1 (t) = t and ϕs (t) = −t, so (Zk ⋊ Z[C2 ])× ∼
= C2 × D2k .
= D2k × h−1i ∼
= Zk ⋊ hs, −1i ∼

FUCHS’ PROBLEM FOR DIHEDRAL GROUPS

11

It remains to prove that D2n is not realizable in characteristic zero when n = 4k.
Suppose R is a ring of characteristic zero with unit group D8k . Since r n/2 = r 2k is the
unique central unit of order 2, we must have −1 = r 2k = (r k )2 . Let i = r k . In R, the
following identities are satisfied:
i2 = −1
s2 = 1
si = sr k = r −k s = −is.
Let Q denote the split quaternion ring over the integers. In more detail, Q is the four
dimensional free Z-module with basis {1, i, s, is} and whose multiplication is determined by
the three identities above. This variant of Hamilton’s quaternions was first described by
Cockle in [Coc49]. We now have a ring homomorphism
ϕ : Q −→ R
sending i and s in Q to i and s in R.
Every element of Q has the form u + vs where u, v ∈ Z[i]. For α = u + vs ∈ Q, let
α
b = ū − vs

and define

N : Q −→ Z
by
N (α) = αb
α = |u|2 − |v|2 ,
where |·| denotes the usual norm for the complex numbers. The next proposition summarizes
the relevant properties of the norm N and the conjugation operation α 7→ α
b. For α =
a + bi + cs + dis ∈ Q, call the integer a the real part of α, denoted Re α.
Proposition 4.3. Let Q be the split quaternion ring over Z with conjugation operation
α 7→ α
b and norm N . Take α, β ∈ Q.
(A) We have the identities

c = βbα
αβ
b,

b and
\
α
+β =α
b + β,
b
α
b = α.

(B) N is multiplicative; i.e., N (αβ) = N (α)N (β).
(C) The element α is a unit if and only if N (α) = ±1.
(D) If N (α) = 1 and N (α − 1) = 0, then Re α = 1.
Proof. Statements (A), (B), and (C) are standard (see, for example, [Szy97]). For (D), we
take α ∈ Q and compute:
\
0 = N (α − 1) = (α − 1)(α
− 1)
= (α − 1)(b
α − 1)
= N (α) − (α + α
b) + 1
= 1 − 2Re α + 1

= 2(1 − Re α).

12

SUNIL K. CHEBOLU AND KEIR LOCKRIDGE

This forces Re α = 1, as desired.



We now prove that D8k is not realizable in characteristic zero.
Proposition 4.4. If 4 divides n then the dihedral group D2n is not realizable in characteristic 0.
Proof. Assume to the contrary that there is a ring R of characteristic zero with R× ∼
= D8k .
As shown above, there is a ring homomorphism ϕ : Q −→ R, where Q is the split quaternion
ring over the integers. Consider the element
z = (1 + 4i) + (3 + 3i)s ∈ Q.
Since N (z) = 17 − 18 = −1, z is a unit in Q and therefore maps to a unit in R. We then
have
0 = ϕ(z)8k − 1 = ϕ(z 8k − 1)
since |R× | = 8k. Thus,
8k − 1)) = ϕ(N (z 8k − 1)).
0 = ϕ((z 8k − 1)(z\

If the integer N (z 8k − 1) is nonzero, then we will obtain a contradiction since char R = 0.
By direct computation, z 2 = 2z + 1 and so z j = 2z j−1 + z j−2 for all j ≥ 2. Consequently,
Re z j = 2Re z j−1 + Re z j−2 .
By induction, Re z j > 1 for j ≥ 2. In particular, we have Re (z 8k ) 6= 1 and N (z 8k ) =
(−1)8k = 1 so N (z 8k − 1) 6= 0 by Proposition 4.3 (D).

References
[CL15]
[Coc49]
[DO14a]
[DO14b]
[Fuc60]
[Gil63]
[Lam01]
[Mac96]
[PS70]
[Szy97]

Sunil K. Chebolu and Keir Lockridge. Fuchs’ problem for indecomposable abelian groups. J. Algebra, 438:325–336, 2015.
James Cockle. On Systems of Algebra involving more than one Imaginary. Philosophical Magazine
(series 3) 35 (1849), pp. 434-435.
Christopher Davis and Tommy Occhipinti. Which alternating and symmetric groups are unit
groups? J. Algebra Appl., 13(3):1350114, 12, 2014.
Christopher Davis and Tommy Occhipinti. Which finite simple groups are unit groups? J. Pure
Appl. Algebra, 218(4):743–744, 2014.
L. Fuchs. Abelian groups. International Series of Monographs on Pure and Applied Mathematics.
Pergamon Press, New York-Oxford-London-Paris, 1960.
Robert W. Gilmer, Jr. Finite rings having a cyclic multiplicative group of units. Amer. J. Math.,
85:447–452, 1963.
T. Y. Lam. A first course in noncommutative rings, volume 131 of Graduate Texts in Mathematics.
Springer-Verlag, New York, second edition, 2001.
George Mackiw. Finite groups of 2 × 2 integer matrices. Math. Mag., 69(5):356–361, 1996.
K. R. Pearson and J. E. Schneider. Rings with a cyclic group of units. J. Algebra, 16:243–251, 1970.
Kazimierz Szymiczek. Bilinear algebra, volume 7 of Algebra, Logic and Applications. Gordon and
Breach Science Publishers, Amsterdam, 1997. An introduction to the algebraic theory of quadratic
forms.

Department of Mathematics, Illinois State University, Normal, IL 61790, USA
E-mail address: schebol@ilstu.edu
Department of Mathematics, Gettysburg College, Gettysburg, PA 17325, USA
E-mail address: klockrid@gettysburg.edu

