Fuchs' problem for 2-groups

Finite rings and finite-dimensional associative algebras (16P10) Units, groups of units (associative rings and algebras) (16U60) Group rings of finite groups and their modules (group-theoretic aspects) (20C05)

Abstract: Nearly

60

years ago, L'{a}szl'{o} Fuchs posed the problem of determining which groups can be realized as the group of units of a commutative ring. To date, the question remains open, although significant progress has been made. Along this line, one could also ask the more general question as to which finite groups can be realized as the group of units of a finite ring. In this paper, we consider the question of which

2

-groups are realizable as unit groups of finite rings, a necessary step toward determining which nilpotent groups are realizable. We prove that all

2

-groups of exponent

4

and exponent

2

are realizable in characteristic

2

, and we prove that many

2

-groups with exponent

4

and nilpotency class

3

are realizable in characteristic

2

. On the other hand, we provide an example of a

2

-group with exponent

4

and nilpotency class

4

that is not realizable in characteristic

2

. Moreover, while some groups of exponent greater than

4

are realizable as unit groups of rings, we prove that any

2

-group with a self-centralizing element of order

8

or greater is never realizable in characteristic

2^{m}

, and consequently any indecomposable, nonabelian group with a self-centralizing element of order

8

or greater cannot be the group of units of a finite ring.

Review text

A famous still unsettled question of \textit{L. Fuchs} [Abelian groups. Oxford-London-New York-Paris: Pergamon Press (1960; Zbl 0100.02803)] asked to determine which groups can be realized as the group of units of a commutative ring. A common generalization is the more general question as to which finite groups can be realized as the group of units of a finite ring. This very interesting paper mainly deals with the latter problem. Specifically, it is considered the question of which $2$-groups are realizable as unit groups of finite rings, a necessary step toward determining which nilpotent groups are realizable. It is proved that all $2$-groups of exponent $4$ are realizable in characteristic $2$ (Theorem 1.1). Moreover, while some groups of exponent greater than $4$ are realizable as unit groups of rings, it is established general constraints on the exponent of a realizable $2$-group. These constraints are also used to describe constructions of $2$-groups that cannot be the group of units of a finite ring. Likewise, the other main result (Theorem 1.2) calculates the exponent of a $2$-group of order $2^n$ that is realizable in characteristic $2^m$ for some two natural numbers $m$ and $n$. The paper ends with some intriguing examples and left-open problems.

Recommendations

Cites work

Cited in

(9)

Describes a project that uses

Uses Software

GAP

This page was built for publication: Fuchs' problem for 2-groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2178502)