ON SCHUR p-GROUPS OF ODD ORDER

arXiv:1511.02374v2 [math.GR] 16 May 2016

GRIGORY RYABOV
Abstract. A finite group G is called a Schur group if any S-ring over G is associated in a natural way with a subgroup of Sym(G) that contains all right translations. We prove that the groups
Z3 × Z3n , where n ≥ 1, are Schur. Modulo previously obtained results, it follows that every noncyclic
Schur p-group, where p is an odd prime, is isomorphic to Z3 × Z3 × Z3 or Z3 × Z3n , n ≥ 1 .
Keywords: Permutation groups, Cayley schemes, S-rings, Schur groups.
MSC:05E30, 20B30.

1. Introduction
Let G be a finite group, P
e the identity element of G. Let ZG be the integer group ring. Given
X ⊆ G, denote the element x∈X x of ZG by X and the set {x−1 : x ∈ X} by X −1 .
Definition 1.1. A subring A of ZG is called an S-ring over G if there exists a partition S = S(A) of
G such that:
(1) {e} ∈ S,
(2) X ∈ S ⇒ X −1 ∈ S,
(3) A = SpanZ {X : X ∈ S}.
The elements of this partition are called the basic sets of the S-ring A.
The definition of an S-ring goes back to Schur and Wielandt, they used “the S-ring method” to
study a permutation group having a regular subgroup [11, 12].
Let Γ be a subgroup of Sym(G) that contains the subgroup of right translations Gright = {x 7→
xg, x ∈ G : g ∈ G}. Let Γe stand for the stabilizer of e in Γ and Orb(Γe , G) stand for the set of all
orbits of Γe on G. As Schur proved in [11], the Z-submodule
A = A(Γ, G) = SpanZ {X : X ∈ Orb(Γe , G)} ,
is an S-ring over G.
Definition 1.2 (Pöschel, 1974). An S-ring A over G is called schurian if A = A (Γ, G) for some Γ
with Gright ≤ Γ ≤ Sym(G).
Definition 1.3 (Pöschel, 1974). A finite group G is called a Schur group if every S-ring over G is
schurian.
Wielandt wrote in [13]:“Schur had conjectured for a long time that every S-ring is determined by
a suitable permutation group”, or in our terms that every S-ring is schurian. However, it turns out
to be false. The first counterexample found by Wielandt [12] is an S-ring over Zp × Zp , where p > 3
is a prime. The problem of determining all Schur groups was suggested by Pöschel in [9] about 40
years ago. He proved that the cyclic p-groups are Schur whenever p is odd. Moreover, if p > 3 then a
p-group is Schur if and only if it is cyclic. Applying this result Pöschel and Klin solved the isomorphism
problem for circulant graphs with pn vertices, where p is an odd prime [6].
Only 30 years later all cyclic Schur groups were classified in [3]. Strong necessary conditions of
schurity for abelian groups were recently proved in [4]. From these conditions it follows that any
abelian Schur group belongs to one of several explicitly given families. The case of non-abelian Schur
The work is supported by the Russian Foundation for Basic Research (project 13-01-00505).
1

2

GRIGORY RYABOV

groups was analyzed in [8]: it was proved that every Schur group G is solvable of derived length at
most 2 and the number of distinct prime divisors of the order of G does not exceed 7.
In this article we are interested in abelian Schur 3-groups. From [4, Theorem 1.2, Theorem 1.3 ] it
follows that all abelian Schur 3-groups are known except for the groups Z3 × Z3n , where n ≥ 4. We
prove the following statement.
Theorem 1.1. The groups Z3 × Z3n , where n ≥ 1, are Schur.
Modulo previously obtained results [4, Theorem 1.2, Theorem 1.3], [8, Theorem 4.2], [10, Theorem 1],
Theorem 1.1 implies the classification of Schur p-groups, where p is an odd prime:
Theorem 1.2. A p-group G, where p is an odd prime, is Schur if and only if G is cyclic or p = 3
and G is isomorphic to one of the groups below:
(1) Z3 × Z3 × Z3 ;
(2) Z3 × Z3n , n ≥ 1.
The case of Schur 2-groups was considered in [7], where the complete classification of abelian Schur
2-groups was given. From [7, Theorem 1.2] it follows that any non-abelian Schur 2-group of order at
least 32 is dihedral.
In the proof of Theorem 1.1 we follow, in general, the scheme of the proof [7, Theorem 10.1]. At
first, we establish that regular and rational S-rings over Z3 × Z3n with trivial radical are schurian.
Further, we prove that an S-ring over Z3 × Z3n with nontrivial radical is a “good” generalized wreath
product of two smaller S-rings. In this case the S-ring is schurian by the criterion of schurity for a
generalized wreath product over abelian groups [7, Theorem 10.2].
2. Preliminaries
In this section we recall some definitions and facts concerned with S-rings and Schur groups. The
most part of them is taken from [7]. There are references before other statements.
Definition 2.1. Let G be a finite group, R a family of binary relations on G. The pair C = (G, R) is
called a Cayley scheme over G if the following properties are satisfied:
(1) R forms a partition of the set G × G;
(2) Diag (G × G) ∈ R;
(3) R = R∗ , i. e., if R ∈ R then R∗ = {(h, g) | (g, h) ∈ R} ∈ R;
(4) if R, S, T ∈ R, then the number |{h ∈ G : (f, h) ∈ R, (h, g) ∈ S}| does not depend on the
choice of (f, g) ∈ T .
Let A be an S-ring over G. We associate each basic set X ∈ S(A) with the binary relation
{(a, xa) | a ∈ G, x ∈ X} ⊆ G × G and denote it by R(X). The set of all such binary relations forms a
partition R(S) of G × G.
Lemma 2.1. C(A) = (G, R(S)) is a Cayley scheme over G.
The relation R(X) is called the basic relation of the scheme C(A) corresponding to X.
′

′

′

Definition 2.2. Cayley schemes C = (G, R) and C = (G , R ) are called isomorphic if there exists a
′
′
bijection f : G → G such that R = Rf , where Rf = {Rf : R ∈ R} and Rf = {(af , bf ) : (a, b) ∈ R}.
′

′

We say that S-rings A over G and A over G are isomorphic if the Cayley schemes associated to
′
A and A are isomorphic. Any isomorphism between these schemes is called the isomorphism from A
′
onto A . The group of all isomorphisms from A to itself has a normal subgroup Aut(A) that consists
of all isomorphisms f such that X f = X for all X ∈ S(A); any such f is called an automorphism of
the S-ring A. An S-ring A over G is schurian if and only if S(A) = Orb(Aut(A)e , G). Under a Cayley
′
′
′
isomorphism from A to A we mean a group isomorphism f : G → G such that S(A)f = S(A ). In
′
this case A and A are called Cayley isomorphic. Every Cayley isomorphism is an isomorphism.
Definition 2.3. Let A be an S-ring over G. A subset X ⊆ G is called an A-set if X ∈ A.

ON SCHUR p-GROUPS OF ODD ORDER

3

Definition 2.4. Let A be an S-ring over G. A subgroup H ≤ G is called an A-subgroup if H ∈ A.
Lemma 2.1. Let A be an S-ring over G and H be an A-subgroup. Then the module
AH = SpanZ {X : X ∈ S(A), X ⊆ H} ,
is an S-ring over H. In addition, if A is schurian, then AH is schurian too.
Definition 2.5. Let L, U be subgroups of a group G and L be normal in U . A section U/L of G is
called an A-section if U and L are A-subgroups.
Lemma 2.2. Let F = U/L be an A-section. Then the module
AF = SpanZ {X π : X ∈ S(A), X ⊆ U } ,
where π : U → U/L is the quotient epimorphism, is an S-ring over F .
In addition, if A is schurian, then AF is schurian too.
The following two lemmas give well-known properties of basic sets of an S-ring.
Lemma 2.3. For any basic sets X, Y, Z of an S-ring A over G denote by cZ
X,Y the number of distinct
representations of an element z ∈ Z in the form z = xy with x ∈ X and y ∈ Y . Then
−1

−1

−1

Z
X
Y
|Z|cX,Y
= |X|cY,Z
= |Y |cZ,X
.

Lemma 2.4. For any basic sets X, Y of an S-ring A over G the set XY is an A-set. Moreover, if
|X| = 1 or |Y | = 1 then XY is a basic set.
Lemma 2.5. Let H be an A-subgroup of G and X ∈ S(A). Then the number |X ∩Hg| does not depend
on g ∈ G with X ∩ Hg 6= ∅.
Definition 2.6. Let G be a finite group and X ⊆ G. Then the subgroup of G defined by rad(X) =
{g ∈ G|Xg = gX = X} is called the radical of X.
Lemma 2.6. Let A be an S-ring over G. If a set X is an A-set, then the groups hXi and rad(X) are
A-subgroups of G.
Theorem 2.1. Let X be a basic set of an S-ring A over G. Suppose that H ≤ rad(X \ H) for some
group H such that X ∩ H 6= ∅ and X \ H 6= ∅. Then X = hXi \ rad(X) with rad(X) ≤ H ∩ hXi. In
this case H is called a separating group.
Definition 2.7. An S-ring A over G is called primitive if G has no nontrivial proper A-subgroups.
Otherwise A is called imprimitive.
Lemma 2.7. For every prime p a primitive S-ring over Zpa × Zpb , a > b ≥ 0, a > 1, has rank 2.
Proof. Follows from the proofs of [12, Theorem 25.3, Theorem 25.5]



Definition 2.8. Let K ≤ Aut(G). Then the orbit partition Orb(K, G) defines an S-ring A over G.
In this case A is called cyclotomic and denoted by Cyc(K, G).
For any set X ⊆ G and m ∈ Z denote by X (m) the set {xm : x ∈ X}. We say that two sets X and
Y are rationally conjugate if there exists m ∈ Z coprime to n such that Y = X (m) .
Further we formulate two theorems on multipliers of S-rings over abelian groups. Both of them
were proved by Schur in [11].
Theorem 2.2. Let A be an S-ring over an abelian group G of order n. Then X (m) ∈ S(A) for all
X ∈ S(A) and all m ∈ Z coprime to n.
Theorem 2.3. Let A be an S-ring over an abelian group G. Then given a prime p dividing the order
of G, the set
X [p] = {xp : x ∈ X, |X ∩ Hx| 6≡ 0
where H = {g ∈ G : g = e}, is an A-set for all A-sets X.
p

mod p},

4

GRIGORY RYABOV

The following lemma is taken from [9].
Lemma 2.8. Let A be an S-ring over cyclic p-group G, where p is an odd prime. Then for every
X ∈ S(A) one of the following statements holds:
(1) X ∈ Orb(K, G) for some K ≤ Aut(G);
(2) X = hXi \ rad(X).
Lemma 2.9. Let A be a cyclotomic S-ring over cyclic 3-group G and S be an A-section. Suppose
that rad(A) = e. Then | rad(AS )| = 1.
Proof. Follows from [3, Theorem 7.3].



Let D = S × C, S = hsi, |s| = 3, C = hci, |c| = 3n , n ≥ 2. Every subset X of D can be uniquely
presented as the union X = X0e ∪ sX1s ∪ s2 X2s2 , where X0e , X1s , X2s2 ⊆ C. If T ⊆ D, we denote
the set {t ∈ T : |t| ≤ 3m } by Tm . Denote one of two elements of order 3 from C by c1 , the cyclic group
hc1 i by C1 , the elementary abelian group S × C1 by E, the basic set of the S-ring A containing an
element x by Tx .
Lemma 2.10. If a basic set T of an S-ring A over D contains elements a, b such that |a| > |b| ≥ 3
then a{1, c1 , c21 } ⊆ T
2|a|
m
l
(m)
, T (l) are basic
Proof. Set m = 1 + |a|
3 , l = 1 + 3 . Then b = b = b. By Theorem 2.2, the sets T

and T (m) = T (l) = T . So {am , al } = {aa

|a|
3

, aa

2|a|
3

} = {ac1 , ac21 } ⊆ T .



Further we formulate and prove two lemmas that describe regular sets with trivial radical over
C = Z3n and D = Z3 × Z3n .
Lemma 2.11. Let X ∈ Orb(M, C) where M ≤ Aut(C). Then rad(X) = e if and only if M = e
or M = {e, δ}, where δ : x → x−1 . This means that there exists x ∈ C such that X = {x} or
X = {x, x−1 }.
Proof. Follows from [2, Lemma 5.1].



Lemma 2.12. Let T be a basic set of an S-ring A over D and 3m = min{|t| : t ∈ T }. Suppose
that rad(T ) = e. Then there exist subsets X, Y, Y1 , Z, Z1 of C such that Tm = X ∪ sY ∪ s2 Y1 ∪ sZ ∪
s2 Z1 , Y ∩ Y1 = Z ∩ Z1 = ∅, and one of the following statements holds:
(1) every nonempty set U ∈ {X, Y ∪ Y1 , Z ∪ Z1 } is singleton;
(2) every nonempty set U ∈ {X, Y ∪ Y1 , Z ∪ Z1 } is of the form {x, x−1 }, x ∈ C.
Proof. Let us present Tm as a union Tm = T0e,m ∪ sT1s,m ∪ s2 T2s2 ,m , where T0e,m , T1s,m , T2s2 ,m ⊆ C.
Denote by K the group {σm : m ∈ Z∗3n }, σm : x → xm , and by M the setwise stabilizer K{T } of T in
K. If a ∈ T0e,m and α ∈ M then aα ∈ T0e,m . Thus T0e,m is a union of some orbits of M . Since all
elements in T0e,m have the same order, T0e,m is an orbit of M . If a ∈ sT1s,m ∪ s2 T2s2 ,m and α ∈ M
then aα ∈ sT1s,m ∪ s2 T2s2 ,m . Thus sT1s,m ∪ s2 T2s2 ,m is a union of some orbits of M . Moreover, it
is easy to check that sT1s,m ∪ s2 T2s2 ,m is a union of at most two orbits of M . Therefore Tm can be
presented as a union Tm = X ∪ sY ∪ s2 Y1 ∪ sZ ∪ s2 Z1 , where each set X, Y ∪ Y1 , Z ∪ Z1 is empty or
equal to an orbit of M . At least one of the sets X, Y ∪ Y1 , Z ∪ Z1 has trivial radical because otherwise
c1 ∈ rad(T ) by Lemma 2.10. Without loss of generality we assume that X 6= ∅ and rad(X) = e. Then
from Lemma 2.11 it follows that M = e or M = {e, δ} where δ : x → x−1 . Now the claim follows. 
Now we describe two constructions producing S-rings over the group G = G1 × G2 from S-rings A1
and A2 over G1 and G2 respectively.
Definition 2.9. Let A1 be an S-ring over G1 and A2 be an S-ring over G2 . Then the set
S = S(A1 ) × S(A2 ) = {X1 × X2 : X1 ∈ S(A1 ), X2 ∈ S(A2 )}
forms a partition of the group G = G1 × G2 that defines an S-ring over G. This S-ring is called the
tensor product of the S-rings A1 and A2 and denoted by A1 ⊗ A2 .

ON SCHUR p-GROUPS OF ODD ORDER

5

Definition 2.10. Let A1 be an S-ring over group G1 with the identity element e1 and A2 be an S-ring
over group G2 with the identity element e2 . Then the set S = S1 ∪ S2 where
S1 = {X1 × {e2 } : X1 ∈ S(A1 )}, S2 = {G1 × {X2 } : X2 ∈ S(A2 ) \ {e2 }}
forms a partition of the group G = G1 × G2 that defines an S-ring over G. This S-ring is called the
wreath product of the S-rings A1 and A2 and denoted by A1 ≀ A2 .
Lemma 2.13. The S-ring A1 ⊗ A2 is schurian if and only if so are the S-rings A1 and A2 .
Lemma 2.14. The S-ring A1 ≀ A2 is schurian if and only if so are the S-rings A1 and A2 .
Definition 2.11. Let A be an S-ring over G and L, U be A-subgroups such that e ≤ L ≤ U ≤
G, L ✂ G. The S-ring A is called the generalized wreath product or U/L-wreath product of AU and
AG/L if every basic set S ∈ S(A) outside U is a union of L-cosets. The product is called nontrivial or
proper if L 6= 1, U 6= G.
Remark. When U = L the generalized wreath product coincides with a wreath product.
Definition 2.12. Permutation groups Γ, Γ1 ≤ Sym(V ) are called 2-equivalent if Orb(Γ, V 2 ) =
Orb(Γ1 , V 2 ).
Definition 2.13. A permutation group Γ ≤ Sym(V ) is called 2-isolated if it is the only group which
is 2-equivalent to Γ.
Theorem 2.4. Let A be an S-ring over an abelian group G. Suppose that A is an U/L-wreath
product and S-rings AU and AG/L are schurian. Then A is schurian if and only if there exist groups
∆0 ≥ (G/L)right and ∆1 ≥ Uright such that ∆0 is 2-equivalent to Aut(AG/L ), ∆1 is 2-equivalent to
Aut(AU ) and (∆0 )U/L = (∆1 )U/L .
Corollary 2.1. Under the hypothesis of Theorem 2.4 the S-ring A is schurian whenever the group
Aut(AU/L ) is 2-isolated.
Lemma 2.15. Let A be an S-ring over G. Suppose that the point stabilizer of Aut(A) has a faithful
regular orbit. Then Aut(A) is 2-isolated.
Definition 2.14. An S-ring A is called quasi-thin if |X| ≤ 2 for every X ∈ S(A).
Definition 2.15. A basic set X 6= {e} of a quasi-thin S-ring A is called an orthogonal, if X ⊆ Y Y −1
for some Y ∈ S(A).
Lemma 2.16. Any commutative quasi-thin S-ring A is schurian. Moreover, if it has at least two
orthogonals, then the group Aut(A)e has a faithful regular orbit.
3. S-rings over D = Z3 × Z3n : basic sets containing elements of order 3
A set X ⊂ D is called highest (in D) if it contains an element of order 3n . Given an S-ring A over
D set rad(A) to be the group generated by the groups rad(X), where X runs over the highest basic
sets of A. Clearly, rad(A) = e if and only if every highest basic set of A has trivial radical. A set
X ⊂ D is called regular if it consists of elements of the same order. An S-ring A over a group D is
called regular if each highest basic set of A is regular. A set X ⊂ D is called rational if X = ∪m X (m) ,
where m runs over integers coprime to 3. An S-ring A over a group D is called rational if each basic
set of A is rational.
In this section we describe the basic sets containig an element of order 3. The main result of this
section is given by the following two lemmas.
Lemma 3.1. Let A be an S-ring over D. Then exactly one of the following statements holds:
(1) Tc1 is rational, nonregular, and Tc1 ∪ L is an A-subgroup for some A-subgroup L ≤ E such that
L ∩ C1 = {e};
(2) Tc1 is regular. In this case C1 is an A-subgroup or E is an A-subgroup.

6

GRIGORY RYABOV

Lemma 3.2. Let A be an S-ring over D and Tc1 is rational and nonregular. Denote the set of all
basic sets that contain an element of order 3 by I. Then exactly one of the following statements holds:
(1) I = {Tc1 , {q, q 2 }, {q, q 2 }Tc1 }, where q ∈ E \ C1 and Tc1 ∪ {e} is a cyclic A-subgroup;
(2) I = {Tc1 , {q, q 2 }}, where q ∈ E \ C1 and Tc1 ∪ {e, q, q 2 } is an A-subgroup;
(3) I = {Tc1 } ;
(4) I = {Tc1 , {q}, {q 2 }, qTc1 , q 2 Tc1 }, where q ∈ E \ C1 and Tc1 ∪ {e} is a cyclic A-subgroup;
(5) C1 ≤ rad(T ) for every T ∈ I \ {Tc1 }.
The proofs of Lemma 3.1 and Lemma 3.2 will be given later. Now we need to prove an auxiliary
lemma.
Lemma 3.3. Let Tc1 be nonregular. Then Tc1 is rational.
Proof. Assume the contrary. Let Tc1 ∩ E = Y , |Tc1 | = a, and α = |Y | − |c1 Y ∩ Y |. Note that α ≥ 1
because c1 ∈ Y but c1 ∈
/ c1 Y . Since Tc1 is not rational, |Y | ≤ 4 and if |Y | = 4 then |c1 Y ∩ Y | ≥ 1.
Therefore α ≤ 3. Lemma 2.10 implies that C1 ≤ rad(Tc1 ) \ Y . So
Tc1

CT

−1
c1 Tc1

= |c1 Tc1 ∩ Tc1 | = a − α.

Hence every element from Tc1 ∪ Tc21 enters the element Tc1 Tc1 −1 with coefficient a − α. Since e
enters Tc1 Tc1 −1 with coefficient a, we conclude that at least 2a2 − 2αa + a elements enter Tc1 Tc1 −1 .
On the other hand, exactly a2 elements enter this element. Thus we arrive to a contradiction if
2a2 − 2αa + a > a2 or equivalently a > 2α − 1. However, this holds for α = 1 because Tc1 is nonregular;
if α = 2 then a > 4 by Lemma 2.10; if α = 3 then a > 5 by Lemma 2.10.

Proof of Lemma 3.1. If Tc1 is not rational then Tc1 is regular by Lemma 3.3. In this case C1 = hTc1 i
or E = hTc1 i and Lemma 2.6 implies Statement (2) of the lemma. If Tc1 is regular and rational,
obviously, Statement (2) also holds. Suppose that Tc1 is rational and nonregular. Then it follows from
Lemma 2.10 that c1 , c21 ∈ rad(Tc1 \ E). The set Tc1 ∩ E is a union of 1, 2, 3 or 4 subgroups of order
3 without {e}. So there are four possibilities for Tc1 ∩ E:

(1) Tc1 ∩ E = c1 , c21 ;
(2) Tc1 ∩ E = c1 , c21 , q, q 2 where |q| = 3;
(3) Tc1 ∩ E = c1 , c21 , q, q 2 , f, f 2 where |q| = |f | = 3;
(4) Tc1 ∩ E = c1 , c21 , s, s2 , sc1 , s2 c1 , sc21 , s2 c21 .
If Tc1 = hTc1 i \ rad(Tc1 ) and rad(Tc1 ) = {e} or | rad(Tc1 )| = 3 then Statement (1) of the lemma
holds with L = rad(Tc1 ). Let us prove that in all cases Tc1 = hTc1 i \ rad(Tc1 ) and rad(Tc1 ) = {e} or
| rad(Tc1 )| = 3. Note that Tc1 ∩ C1 6= ∅ and Tc1 \ C1 6= ∅. In the first and fourth cases Lemma 2.10
implies that C1 ≤ rad(T \ C1 ). By Theorem 2.1, we have Tc1 = hTc1 i \ rad(Tc1 ). In the first case
m
rad(Tc1 ) does not contain c1 . If rad(Tc1 ) contains an element of order m > 3 then x 3 = c1 ∈ rad(Tc1 )
2m
or x 3 = c1 ∈ rad(Tc1 ). Therefore rad(Tc1 ) = {e} or | rad(Tc1 )| = 3. In the fourth case rad(Tc1 ) = {e}.
In the second case
T

|c1 Tc1 ∩ Tc1 | = |Tc1 | − 3 = CTcc1 Tc = |qTc1 ∩ Tc1 |.
1

c21 ,
2

2

1

(1)

2

Note that q{c1 ,
q, q } ∩ Tc1 = {q }. Therefore |q(Tc1 \ E) ∩ Tc1 | = |Tc1 | − 4 = |Tc1 \ E|. We
conclude that q, q ∈ rad(Tc1 \ E). Also c1 , c21 ∈ rad(Tc1 \ E) by Lemma 2.10 and Tc1 ∩ E 6=
∅, Tc1 \ E 6= ∅. Thus, by Theorem 2.1 for separating group E, we have Tc1 = hTc1 i \ rad(Tc1 ). Since
rad(Tc1 ) does not contain c1 , the group rad(Tc1 ) is trivial or has order 3. In the third case (1) holds
and |q{c1 , c21 , q, q 2 f, f 2 } ∩ Tc1 | = 3 because {f, f 2 } = {qc1 , q 2 c21 } or {f, f 2 } = {q 2 c1 , qc21 }. So
|q(T \ E) ∩ T | = |T | − 6 = |T \ E| and we have q, q 2 ∈ rad(T \ E). By Theorem 2.1 for separating
group E, we have Tc1 = hTc1 i \ rad(Tc1 ). Since rad(Tc1 ) does not contain c1 , it is trivial or has order
3.

Lemma 3.4. In the conditions of Lemma 3.2 let all basic sets from I \ {Tc1 } are rational with trivial
radical. Then one of Statements (1) − (3) of Lemma 3.2 holds.

ON SCHUR p-GROUPS OF ODD ORDER

7

Proof. Statement (2) of Lemma 3.2 obviously holds if Tc1 ∪ {e, q, q 2 } ≤ D, where q, q 2 ∈ E \ C1 .
Statement (3) holds if Tc1 ∪ {e} ≤ D and Tc1 ∪ {e} is noncyclic. Put K = Tc1 ∪ {e}. By Lemma 3.1,
we may assume that K is a cyclic group and K ≤ C.
If X ∈ I \ {Tc1 } then |X ∩ E| ∈ {2, 4, 6}. If |X ∩ E| = 6 then C1 ≤ rad(T ), a contradiction with
the assumption of the lemma. So I \ {Tc1 } = {X, Y, Z}, where |X ∩ E| = |Y ∩ E| = |Z ∩ E| = 2, or
I \ {Tc1 } = {X, Y }, where |X ∩ E| = 2, |Y ∩ E| = 4. In both cases there exists X ∈ I \ {Tc1 } such
that X ∩ E = {q, q 2 }. Note that |c1 X ∩ X| = |X| − 2. It is obvious if X is regular and follows from
Lemma 2.10 otherwise. Therefore Lemma 2.3 implies that
T

c1
|Tc1 | = CTXc1 X |X|.
(|X| − 2)|Tc1 | = CXX

(2)

l
2 |X|,

where l ≥ 1 is an integer. Moreover,
Since (|X|, |X|− 2) ≤ 2, we conclude that |X| = 2 or |Tc1 | =
l 6= 1 because |Tc1 | ≡ |X| ≡ 2 mod 3. Every element from Tc1 enters the element X 2 with coefficient
|X| − 2 because |c1 X ∩ X| = |X| − 2; every element from X enters X 2 because |qX ∩ X| ≥ 1; the
identity element e enters X 2 with coefficient |X| because X = X −1 . Assuming that |X| > 2 and
|Tc1 | > 32 |X|, we conclude that at least |X|2 − 23 |X| elements of D (counted with multiplicities) enter
X 2 . However, exactly |X|2 elements enter X 2 and |X|2 < 32 |X|2 − |X| if |X| > 2, a contradiction.
Hence |X| = 2 or |Tc1 | = |X|, and
X 2 = |X|e + (|X| − 2)Tc1 + X.
2

(3)

2

If for Y ∈ I \ {Tc1 } we have Y ∩ E = {q, q , f, f } then |c1 Y ∩ Y | = |Y | − 2. Therefore Lemma 2.3
implies that (2) holds for Y . Thus |Tc1 | = 2l |Y |, where l ≥ 1 is an integer. Note that l < 3 because
otherwise at least 23 |Y |2 − |Y | elements enter the element Y 2 that is impossible. Moreover, l 6= 2, since
|Tc1 | ≡ 2 mod 3, |Y | ≡ 1 mod 3. Thus |Y | = 2|Tc1 |.
Let 3k = max|t|, t ∈ Tc1 , Dk = {g ∈ D : |g| ≤ 3k }. Suppose that X contains l elements x1 , . . . , xl
of order greater than 3k . Then at least 2l elements qx1 , . . . , qxl , q 2 x1 , . . . , q 2 xl of order greater than 3k
enter the element X X. On the other hand, due to (3) exactly l elements, namely x1 , . . . , xl of order
greater than 3k enter the element X X, a contradiction. Thus X does not contain elements of order
greater than 3k and
(4)
Tc1 ∪ X ∪ Tc1 X = Dk \ {e}.
Suppose that I \ {Tc1 } = {X, Y, Z} with |X ∩ E| = |Y ∩ E| = |Z ∩ E| = 2 and |X| > 2, |Y | >
2, |Z| > 2. Then |X| = |Y | = |Z| = |Tc1 | = m. Therefore |c1 X ∩ X| = |qX ∩ Tc1 | = m − 2
and Tc1 X = (m − 2)X + Y + Z. Due to (4), we have Dk \ {e} = Tc1 ∪ X ∪ Y ∪ Z. However,
3m + 2 = |Dk \ {e}| = |Tc1 | + |X| + |Y | + |Z| = 4m. Since m > 2, we have a contradiction. Thus in
this case at least one of the sets X, Y, Z has cardinality 2.
Suppose that I \ {Tc1 } = {X, Y } with |X ∩ E| = 2, |Y ∩ E| = 4 and |X| > 2. Then |X| = |Tc1 | =
m, |Y | = 2|Tc1 | = 2m, and Tc1 X = (m − 2)X + Y . Again (4) implies that Dk \ {e} = Tc1 ∪ X ∪ Y ∪ Z
and we have a contradiction. Therefore in all cases there exists a basic set X ∈ I \ {Tc1 } that has form
{q, q 2 }, q ∈ E.
Let us show that {q, q 2 }Tc1 is a basic set. If the elements qc1 , q 2 c21 , q 2 c1 , qc21 lie in one basic set Y
then |Y | = 2|Tc1 | and Y = {q, q 2 }Tc1 . Otherwise there are two basic sets
Y = qA ∪ q 2 (Tc1 \ A), Z = q(Tc1 \ A) ∪ q 2 A,
where A ⊆ Tc1 , Tc1 \ A = A−1 . Then Lemma 2.10 implies that c1 ∈ rad(A \ C1 ), c1 ∈ rad(A−1 \ C1 ).
Suppose that yz = c1 , y, z ∈ A and |y| = |z| > 3. Then z = c1 y −1 ∈ A−1 , a contradiction. Thus the
element c1 enters the element Y Z = (q + q 2 )A A−1 + A2 + (A−1 )2 with coefficient 1. In the other hand,
there exist elements from Tc1 that enter the element Y Z with coefficient at least 2, a contradiction.

Therefore X = {q, q 2 }Tc1 is a basic set of A and Statement (1) of Lemma 3.2 holds.
Proof of Lemma 3.2. If rad(T ) > e for some T ∈ I \ {Tc1 } then C1 ≤ rad(T ) for every T ∈ I \ {Tc1 }
and Statement (5) holds. Thus due to Lemma 3.4 we may assume that there exists nonrational

8

GRIGORY RYABOV

T ∈ I \ {Tc1 } such that rad(T ) = {e}. Then T contains one, two or three elements of order 3. Suppose
Tc
that T contains exactly one element q of order 3. Then CT T1−1 = |c1 T ∩ T | = |T | − 1. This is obvious
if T is regular and follows from Lemma 2.10 otherwise. Lemma 2.3 yields that
Tc

|Tc1 |(|T | − 1) = CT T1−1 |Tc1 | = CTTc1 T |T |.
Thus |T | divides (|T | − 1)|Tc1 |. If |Tc1 | = l|T | where l > 1, then at least |T | + l|T |(|T | − 1) elements
enter the element T T −1 . We have a contradiction because |T | + l|T |(|T | − 1) > |T |2 . So either |T | = 1
or |Tc1 | = |T |. In the first case T = {q} and Statement (4) of the lemma holds.
In the second case we have that |Tc1 | = |T | ≡ 1 mod 3 by Lemma 2.10. It follows that Tc1 contains
four elements c1 , c21 , qc1 , q 2 c21 of order 3. Suppose that c1 = tx, t ∈ Tc1 , x ∈ T . If |t| > |x| ≥ 3
then |tx| = |t| > 3. The same is true if |x| > |t| ≥ 3. So |x| = |t|. If |t| > 3 then x = c1 t−1 ∈ Tc1 by
Lemma 2.10. Thus |x| = |t| = 3. Then c21 enters the element T Tc1 whereas c1 does not, a contradiction
with rationality of Tc1 .
Suppose that T contains exactly three elements of order 3. We consider the case when s, sc1 , s2 c1 ∈
T, s2 , s2 c21 , sc21 ∈ T −1 . In other cases such that |T ∩ E| = 3 the arguments are similar. Note that
|c1 T ∩ T | = |T | − 2 and (|T | − 2)|Tc1 | is divisible by |T |. Lemma 2.10 implies that |T | is divisible
by 3. However, (|T | − 2)|Tc1 | is not divisible by 3 because Tc1 contains two elements of order 3, a
contradiction.
Suppose that T contains exactly two elements of order 3.
Case 1. Let s, s2 c21 ∈ T, s2 , sc1 ∈ T −1 . Denote the basic set containing sc21 by X. Note that c1
and c21 appear in X T only as the product of two elements of order 3 because otherwise X ∩ T −1 6= ∅
by Lemma 2.10. So c1 enters the element X T whereas c21 does not, a contradiction with Tc1 = Tc21 .
Case 2. Let s, sc1 ∈ T, s2 , s2 c21 ∈ T −1 . Then s2 c1 ∈ X since otherwise X contains exactly one
element of order 3, hence, |X| = 1, and Statement (4) of the lemma holds. The element sc21 enters
the element Tc1 T as the product of s and c21 . Since sc21 , s2 c1 ∈ X, the element s2 c1 also enters Tc1 T .
Thus there are elements r ∈ Tc1 and t ∈ T such that |r| > 3, |t| > 3, and rt = c1 s2 . From Lemma 2.10
it follows that r−1 c1 ∈ Tc1 . By Lemma 3.1, either Tc1 ∪ {e} ≤ D or Tc1 ∪ {e, q, q 2 } ≤ D, |q| = 3.
The latter case is impossible because then Tc1 = T . So K = Tc1 ∪ {e} is an A-subgroup. We have
that |sK ∩ T | ≡ 1 mod 3 and |s2 K ∩ T | ≡ 0 mod 3. Thus Lemma 2.5 yields that s2 K ∩ T = ∅.
Otherwise t = r−1 c1 s2 ∈ s2 K ∩ T , a contradiction.
Other cases such that |T ∩ E| = 2 are similar to Case 1 or to Case 2. We conclude that T does not
contain exactly two elements of order 3.

Corollary 3.1. Let 3k = max|t|, t ∈ Tc1 , Dk = {g ∈ D : |g| ≤ 3k }, Tc1 be nonregular, rational, and
R be the union of all basic sets containing elements of order 3. Then (Dk \ {e}) ⊆ R. Moreover, if
rad(T ) = {e} for every T ∈ I \ {Tc1 } then R = Dk \ {e}.
Proof. The statement of the corollary is clear if one of Statements (1)−(4) of Lemma 3.2 holds. Suppose
that Statement (5) of Lemma 3.2 holds. Then K = Tc1 ∪ {e} is a cyclic group. Let T ∈ I \ {Tc1 } and
q ∈ T ∩ E. Since rad(T ) is an A-subgroup, we conclude that Tc1 = K \ {e} ⊆ rad(T ). Thus qK ⊆ T ,

q 2 K ⊆ T −1 , and R = Tc1 ∪ T ∪ T −1 ⊇ Tc1 ∪ sK ∪ s2 K = Dk \ {e}.
4. S-rings over D = Z3 × Z3n : nonregular case
The purpose of this section is to describe nonregular S-rings with trivial radical over D. The main
result can be formulated as follows.
Theorem 4.1. Let A be an S-ring over D. Suppose that rad(A) = e. Then one of the following
statements holds:
(1) A is regular;
(2) A = AH ⊗ AL , where rk(AH ) = 2 and |L| ≤ 3 ≤ |H|. In particular, A is schurian.
The proof of Theorem 4.1 will be given in the end of the section.

ON SCHUR p-GROUPS OF ODD ORDER

9

Lemma 4.1. Let T be a nonregular basic set of an S-ring A over D. Suppose that C1 is an A-subgroup.
Then C1 ≤ rad(T ).
Proof. Let 3m = min|t|, t ∈ T . Lemma 2.10 implies that C1 ≤ rad(T \ Tm ). Suppose that there
exists t ∈ Tm such that tc1 ∈
/ T . Then X = Ttc1 is other than T . Let π : D → D/C1 be the
quotient epimorphism. The sets π(T ) and π(X) are basic sets of AD/C1 and π(t) ∈ π(T ) ∩ π(X).
Therefore π(T ) = π(X). So there is an element y ∈ T \ Tm such that either yc1 ∈ X or yc21 ∈ X.
However, yc1 , yc21 ∈ T by Lemma 2.10, a contradiction. Thus for every t ∈ Tm we have tc1 ∈ T and
C1 ≤ rad(T ).

The key point of the proof of Theorem 4.1 is the following statement.
Lemma 4.2. Let T be a nonregular basic set of an S-ring A over D. Suppose that T does not contain
elements of order 3. Then rad(T ) > e.
Proof. Assume the contrary. Let 3m = min|t|, t ∈ T . Then m > 1, c1 ∈
/ rad(Tm ), Tm 6= ∅, and
T \ Tm 6= ∅. From Lemma 2.12 it follows that |Tm | ≤ 6. By Lemma 4.1, the group C1 is not an
A-subgroup. Lemma 3.1 yields that either Tc1 is rational and nonregular or E is an A-subgroup. Let
us define groups K and M as in the proof of Lemma 2.12:
K = {σm : m ∈ Z∗3n }, σm : x → xm , M = K{T } .
Proposition 4.1. In the above notation |T \ Tm | ≥ |Tm |, and the equality holds if and only if
(1) Tm is a union of three M -orbits;
(2) T \ Tm is an M -orbit;
(3) any element in T \ Tm is of order 3m+1 .
Proof. Note that M = (Z∗3n ){Tm } . For every t ∈ T we have Kt ≤ M since T is a basic set of A.
Therefore
Mt = Kt = {1 + |t|k : k = 0, . . . ,

3n
− 1}.
|t|

n

Thus |Mt | = 3|t| . It follows that if |t1 | = |t2 | then |t1 M | = |t2 M |. Let x ∈ Tm . Then |Tm | =
|Tm /M ||xM |. Let z ∈ T \ Tm , |z| > |x|. Then
|Mz | = |Mx |

|x|
.
|z|

Taking into account that Tm is a disjoint union of at most three M -orbits, we obtain that |Mz | ≤
and

|Mx |
3

|T | − |Tm | ≥ |zM | ≥ 3|xM | ≥ |Tm /M ||xM | = |Tm |.
as required. Since the equality holds only if the second and third inequalities in the above formula are
equalities, we are done.

Let H = hTc1 i be a group of exponent 3k and let R be the union of all basic sets containing
elements of order 3. Then R is a rational A-set and R ∩ T = ∅. Moreover, k < m: if Tc1 is rational
and nonregular then this follows from Corollary 3.1; otherwise Tc1 ⊆ E and, hence, k = 1 < m.
So |tk| = |t| for every t ∈ T and every k ∈ H. This implies that tH ∩ T ⊆ Tm for every t ∈ Tm .
Therefore Tm is a disjoint union of some sets tH ∩ T with such t. However, by Lemma 2.5, the number
λ := |tH ∩ T | does not depend on the choice of t ∈ T . Thus λ divides |Tm |. From Lemma 2.12 it
follows that |Tm | ∈ {1, 2, 3, 4, 6} and, hence,
λ ∈ {1, 2, 3, 4, 6}.
Let us prove that Tc1 is regular. Assume the contrary. Then we have that H = Tc1 ∪ {e} or
H = Tc1 ∪ {e, q, q 2 }, q ∈ E \ C1 by Lemma 3.1. In the first case CTT Tc = λ − 1. In the second
1

10

GRIGORY RYABOV

there exists t ∈ T such that qt ∈
/ T or q 2 t ∈
/ T ; otherwise tq, tq 2 ∈ T for every t ∈ T and, hence,
T
q ∈ rad(T ) > e, a contradiction. So CT Tc = λ − 1 or CTT Tc = λ − 2. Lemma 2.3 yields that
1

1

CTT Tc1 |T |

=

Tc
CT T1−1 |Tc1 |

= |c1 T ∩ T ||Tc1 | = (|T | − α)|Tc1 |,

(5)

where α = |Tm | − |c1 Tm ∩ Tm |. We conclude that α > 0 since c1 ∈
/ rad(Tm ). Proposition 4.1 implies
that |T | − α > 0. The number |Tc1 | − CTT Tc is not equal to 0 because otherwise α = 0. Therefore from
1
(5) and Proposition 4.1 it follows that
α|Tc1 |
= |T | ≥ 2|Tm | ≥ 2α.
|Tc1 | − CTT Tc
1

Thus |Tc1 | ≤ 2CTT Tc ≤ 10 because CTT Tc ≤ λ − 1 ≤ 5. So |H| = 9 and, hence, H = E or H is a cyclic
1
1
group. Let us show that the latter case is impossible. If H is a cyclic group then we may assume that
H ≤ C. On the one hand, |tH ∩ T | ≥ 3 for t ∈ T \ Tm by Lemma 2.10. On the other hand, Lemma 2.12
implies that 0 < |tH ∩ T | ≤ |tC ∩ Tm | ≤ 2 for any t ∈ Tm . We have a contradiction with Lemma 2.5.
Therefore H = E and Tc1 is regular.
From Lemma 2.10 it follows that tC1 ⊆ tH ∩ T for every t ∈ T \ Tm . Thus λ = 3 or λ = 6. To
complete the proof of Lemma 4.2, we show that both of these cases are impossible. Since λ divides
|Tm | and |Tm | ≤ 6, we have |Tm | = 3 or |Tm | = 6. Besides, Lemma 2.12 yields that |c1 Tm ∩ Tm | = 0
(otherwise C1 ≤ rad(T )) and α = |Tm |. Suppose that λ = 6. Then |tH ∩ Tm | = 6 for any t ∈ Tm .
Hence Tm ⊆ tH and |c1 Tm ∩ Tm | > 0, a contradiction. So λ = 3. Then the regularity of Tc1 implies
that |Tc1 | ∈ {2, 3, 4, 6, 8}. If |Tc1 | ∈ {4, 6, 8} then Tc1 is rational and CTT Tc = λ − 1 = 2 because for
1
any t ∈ T \ Tm we have c1 t, c21 t ∈ tTc1 ∩ T by Lemma 2.10. If |Tc1 | ∈ {2, 3} then CTT Tc = λ − 2 = 1
1
/ tTc1 ∩ T for any t ∈ T \ Tm . On the other hand, from (5) it follows
because t, c21 t ∈ tH ∩ T but t, c21 t ∈
that
|T | = α +

2α
≤ 2α
|Tc1 | − 2

for |Tc1 | ∈ {4, 6, 8} and
α
≤ 2α
|Tc1 | − 1
for |Tc1 | ∈ {2, 3}. We conclude that |T | = 2α = 2Tm ∈ {6, 12} since |T | ≥ 2α by Proposition 4.1.
′
′
Let π : D → D/E be the quotient epimorphism and T = π(T ). Then T is a nonregular basic set
′
with trivial radical of a circulant S-ring over D/E. Lemma 2.8 implies that |T | ≥ 4. On the other
′
′
hand, |T | = |Tλ | = |T3 | by the definition of λ. Thus |T | 6= 6. Therefore |T | = 12. Then |T | = 4. Since
′
′
′
′
′
T is a nonregular set with trivial radical, Lemma 2.8 implies that T = hT i \ rad(T ) = hT i \ {e}
′
and 4 = |T | = 3i − 1 for some integer i, a contradiction.

|T | = α +

Proposition 4.2. Suppose that there exists a nonregular highest basic set X of an S-ring A over D
such that rad(X) = e. Then Statement (2) of Theorem 4.1 holds. In particular, rad(A) = e.
Proof. Since X is nonregular and rad(X) = e, we conclude by Lemma 4.2 that the set X ∩ E is not
empty. So neither C1 nor E is an A-subgroup (the former follows from Lemma 4.1). So we have that
Tc1 is nonregular and rational by Statement (2) of Lemma 3.1.
Show that Tc1 is a highest basic set. This is obvious if Tc1 = X. If Tc1 6= X then every basic set T
with T ∩ E 6= ∅ and T 6= Tc1 has trivial radical (otherwise c1 ∈ rad(X)). From Corollary 3.1 it follows
that Dk \ {e} = R, where 3k = max|t|, t ∈ Tc1 , and R is a union of all basic sets containing elements
of order 3. Since X ⊆ R and X is a highest set, this implies that Dk = D and we are done.
Lemma 3.1 implies that H = Tc1 ∪ {e} is an A-subgroup or H = Tc1 ∪ {e, q, q 2 } is an A-subgroup,
where q ∈ E \ C1 . In the latter case H = D because Tc1 is highest. Thus Tc1 = X is the unique
highest basic set and q ∈ rad(Tc1 ) that is impossible. Thus H = Tc1 ∪ {e}. Now, if H is noncyclic then

ON SCHUR p-GROUPS OF ODD ORDER

11

H = D and A = AH ⊗ AL for L = {e}. If H is cyclic then we have A = AH ⊗ AL for L of order 3 by
Statements (1) and (4) of Lemma 3.2.

Proof of the Theorem 4.1. Suppose that A is not regular. Then there exists a nonregular highest basic
set X and we are done by Proposition 4.2.

5. S-rings over D = Z3 × Z3n : regular case
In this section we classify regular S-rings with trivial radical over D. The main result is given by
the following theorem.
Theorem 5.1. Let A be a regular S-ring over D. Suppose that rad(A) = e. Then A is cyclotomic.
Moreover, A is Cayley isomorphic to Cyc(K, D), where K ≤ Aut(D) is one of the groups listed in
Table 1. In particular, A is schurian.
name
K0
K1
K2
K3
K4
K5
K6
K7
K8
K9

generators
(x, s) → (x, s)
(x, s) → (x, s2 )
(x, s) → (x−1 , s)
(x, s) → (x−1 , s), (x, s) → (x, s2 )
(x, s) → (x−1 , s2 )
(x, s) → (sx−1 , s)
(x, s) → (sx, sc1 )
(x, s) → (sx, sc1 ), (x, s) → (x, s2 c1 )
(x, s) → (sx, sc21 ), (x, s) → (x−1 , sc1 )
(x, s) → (sx, sc21 ), (x, s) → (x−1 , s2 )

size
1
2
2
4
2
2
3
6
6
6

Table 1. The groups of cyclotomic rings with trivial radical.
Before we start to prove Theorem 5.1, we formulate a technical lemma on S-rings over E = S × C1 ,
where S = hsi, C1 = hc1 i.
Lemma 5.1. Let A be an S-ring over E. Suppose that C1 is an A-subgroup. Then A is one (up to
Cayley isomorphism) of the following S-rings:
(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)
(9)

A = ZC1 ≀ AS , where rk(AS ) = 2;
A = ZE;
A = ZC1 ≀ ZS;
A = ZC1 ⊗ AS , where rk(AS ) = 2;
A = AC1 ⊗ ZS, where rk(AC1 ) = 2;
A = AC1 ≀ ZS, where rk(AC1 ) = 2;
A = Cyc(M, E), where M = {e, δ}, δ : x → x−1 ;
A = AC1 ⊗ AS , where rk(AQ ) = rk(AC1 ) = 2;
A = AC1 ≀ AS ,where rk(AS ) = rk(AC1 ) = 2;

and S(A) without e is one (up to Cayley isomorphism) of the following forms :
(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)
(9)

S(A) = {{c1 }, {c21 }, {s, sc1 , sc21 , s2 , s2 c1 , s2 c21 }};
S(A) = {{c1 }, {c21 }, {s}, {s2 }, {sc1 }, {s2 c1 }, {sc21 }, {s2 c21 }};
S(A) = {{c1 }, {c21 }, {s, sc1 , sc21 }, {s2 , s2 c1 , s2 c21 }};
S(A) = {{c1 }, {c21 }, {s, s2 }, {sc1 , s2 c1 }, {sc21 , s2 c21 }};
S(A) = {{c1 , c21 }, {s}, {s2 }, {sc1 , sc21 }, {s2 c1 , s2 c21 }};
S(A) = {{c1 , c21 }, {s, sc1 , sc21 }, {s2 , s2 c1 , s2 c21 }};
S(A) = {{c1 , c21 }, {s, s2 }, {sc1 , s2 c21 }, {sc21 , s2 c1 }};
S(A) = {{c1 , c21 }, {s, s2 }, {sc1 , s2 c21 , sc21 , s2 c1 }};
S(A) = {{c1 , c21 }, {s, s2 , sc1 , s2 c21 , sc21 , s2 c1 }}.

Proof. Follows from calculations in the group ring of E that made by [5].



12

GRIGORY RYABOV

Proof of the Theorem 5.1. Let X be a highest basic set and x ∈ X. Without loss of generality we may
assume that hxi = C. From Lemma 2.12 it follows that |X| ∈ {1, 2, 3, 4, 6}. Let us consider all these
cases.
Case 1: |X| = 1. In this case X = {x}. Lemma 2.6 implies that C is an A-subgroup and
AC = ZC. Suppose that the basic set Ts that contains s is not regular. Then from Lemma 4.1 it
follows that C1 ≤ rad(Ts ). Hence |Ts | ≥ 6. Let Y be the highest basic set containing sx−1 . Suppose
that |Y | = 6. Then Y0e 6= ∅, Y1s 6= ∅, Y2s2 6= ∅, and Y = Y −1 . Therefore every highest basic set is
rationally conjugate to Y that is not true for X. Thus |Y | ≤ 4 . By Lemma 2.4, the set x−1 Y is a
basic set containing s. So x−1 Y = Ts . However, |x−1 Y | ≤ 4 and |Ts | ≥ 6, a contradiction. Therefore
Ts is regular. This implies that E is an A-subgroup. Since also c1 , c21 ∈ A, we conclude that S(AE ) is
one (up to Cayley isomorphism) of the forms (1) − (4) from Lemma 5.1.
If S(AE ) is of the form (1) then the set X1 = x{s, sc1 , sc21 , s2 , s2 c1 , s2 c21 } is a highest basic set
such that c1 ∈ rad(X1 ), a contradiction. If S(AE ) is of the form (3) the set X1 = x{s, sc1 , sc21 } is
a highest basic set such that c1 ∈ rad(X1 ), a contradiction. If S(AE ) is of the form (2) or (4) then
AC = ZC and S is an A-subgroup. Therefore A is the tensor product of AC and AS . In the former
case A = ZD = Cyc(K0 , D); in the latter case A = Cyc(K1 , D).
Case 2: |X| = 2. Let X = {x, x1 }. If x1 ∈
/ C then without loss of generality we may assume that
x1 ∈ sC. If x1 ∈ C then Lemma 2.12 implies that x1 = x−1 . In the first case put y = s2 x1 . Note that
y ∈ C.
Let X = {x} ∪ s{y}. Since C is cyclic, there exists k ∈ Z such that y = xk . By Theorem 2.2, the
set X (2) = {x2 } ∪ s2 {y 2 } is basic. Since 2sxy = X 2 − X (2) , we conclude that Y = {sxy} ∈ S(A). If
k ≡ 1 mod 3 then Y is a highest basic set of cardinality 1, and we are done by the previous case. So
2
we may assume that k ≡ 2 mod 3. Theorem 2.2 yields that the set Z = X (−k) = {x−k } ∪ s{x−k } is
basic.
Consider the element
ξ = X Z = x−k+1 + sx−k
−k+1

2

2 −k +k

2

+1

+ s + s2 x−k

2

+k

.

(6)

n

The elements x
and s x
have order 3 because k ≡ 2 mod 3. Hence Ts = {s} or Ts =
2
{s, sx−k +1 }. In the latter case Ts is regular because otherwise |Ts | ≥ 4 by Lemma 2.10. If Ts =
2
2
2
{s, sx−k +1 } then 2s2 x−k +1 = Ts 2 − Ts (2) and {s2 x−k +1 } ∈ S(A). Therefore there exists a basic set
that has form {q}, q ∈ E \ C1 . Without loss of generality we may assume that Ts = {s}. Then the
sets
sX = s{x} ∪ s2 {y}, s2 X = s2 {x} ∪ {y}
2

are basic. The latter implies that X (k) = s2 X. Thus xk = y k = x and, hence, 3n divides k 2 − 1 =
(k − 1)(k + 1). So 3n divides k + 1. This shows that y = x−1 . Since C is cyclic, Theorem 2.2 yields
that every highest basic set is rationally conjugate to X or to sX. Hence every highest basic set has
one of the following three forms
{x} ∪ s{x−1 }, s{x} ∪ s2 {x−1 }, s2 {x} ∪ {x−1 }, x ∈ C, |x| = 3n .
From Theorem 2.3 it follows that {u, u−1} is a basic set for every u ∈ C, |u| < 3n . Since {s} ∈ S(A),
the sets s{u, u−1 }, s2 {u, u−1} are basic for every u ∈ C, |u| < 3n . Thus we have A = Cyc(K5 , D).
Now let X = {x, x−1 }. Then C is an A-subgroup by Lemma 2.6. The basic sets of AC are of the
form {xk , x−k }, k ∈ Z, by Theorem 2.2 and Theorem 2.3. Let us show that
rad(Ts ) = e.
sc1 , sc21

(7)

Assume the contrary. Then
∈ Ts . Let Y be the highest basic set containing sx. Note that
|Y | ∈ {2, 4} because otherwise Theorem 2.2 implies that every highest basic set has cardinality 3 or
6. So Y = s{x} ∪ s2 {x−1 } or Y = s{x, y} ∪ s2 {x−1 , y −1 }, y ∈ C. The element s enters the element
ψ = X Y . Therefore sc1 and sc21 enter ψ. If |Y | = 2 then only the elements s and sx2 from sC enter
ψ, a contradiction. If |Y | = 4 then only the elements s, sx2 , sxy, sx−1 y from sC enter ψ. However, sx2
and one of the elements sxy, sx−1 y have order 3n , a contradiction. The obtained contradiction proves

ON SCHUR p-GROUPS OF ODD ORDER

13

(7). Moreover, Ts is regular since otherwise we have C1 ≤ rad(Ts ) by Lemma 4.1. Hence E = hTc1 , Ts i
is an A-subgroup by Lemma 2.6 and S(AE ) is one (up to Cayley isomorphism) of the forms (5), (7), (8)
from Lemma 5.1.
If S(AE ) is of the form (5) then AS = ZS and C is an A-subgroup. Therefore, A = AC ⊗ AS and
A = Cyc(K2 , D). If S(AE ) is of the form (7) or (8) then the set {s, s2 } is basic and, hence, every basic
set outside C is of the form either s{y} ∪ s2 {y −1 } or s{y, y −1 } ∪ s2 {y, y −1 }, where y ∈ C. Assume
that there exist basic sets
Y = s{y} ∪ s2 {y −1 }, y ∈ C, Z = s{z, z −1} ∪ s2 {z, z −1}, z ∈ C.
Then the elements sz and s2 z −1 enter the element (zy −1 + yz −1 )Y whereas the elements sz −1 and
s2 z do not, a contradiction. So all basic sets outside C are of the form s{y} ∪ s2 {y −1 }, y ∈ C, or
all basic sets outside C are of the form s{y, y −1 } ∪ s2 {y, y −1 }, y ∈ C. Therefore A = Cyc(K4 , D) or
A = AC ⊗ AS = Cyc(K3 , D), where AS is an S-ring of rank 2 over S.
Case 3: |X| = 4. Lemma 2.12 implies that X = {x, x−1 } ∪ s{y} ∪ s2{y −1 }, y ∈ C, because x ∈ C.
Obviously,
X X = x2 + x−2 + s2 y 2 + sy −2 + 4e + 2sxy + 2s2 xy −1 + 2sx−1 y + 2s2 x−1 y −1 .
(2)

2

−1

−1

(8)

2 −1 −1

Since X
∈ S(A) and exactly two elements from sxy, s xy , sx y, s x y have order 3n ,
there exists a highest basic set Y such that |Y | ≤ 2 and we arrive at Case 1 or 2.
Case 4: |X| = 3. In this case X = {x} ∪ si {y} ∪ sj {z}, x, y, z ∈ C, i, j ∈ {1, 2}. Since C is cyclic,
there exist k, l ∈ Z such that y = xk , z = xl . Note that T = {si xk+1 , sj xl+1 , si+j xk+l } is an A-set
because
si xk+1 + sj xl+1 + si+j xk+l = X 2 − X (2) .
If k ≡ 2 mod 3 or l ≡ 2 mod 3 then T contains exactly one element of order 3n and we arrive at
Case 1. So we assume that k ≡ 1 mod 3 and l ≡ 1 mod 3. Suppose that i = j. Then si y, sj z ∈ hsi xi.
From Lemma 2.12 it follows that sj z = (si y)−1 that is not true. Therefore i 6= j. Without loss of
generality we assume that i = 1, j = 2.
Let us show that
(9)
C1 , E ∈ A.
Suppose first that |xE ∩ X| = 3. Then X = x{e, sε1 , s2 ε2 }, ε1 , ε2 ∈ C1 . Note that ε2 6= ε1−1 since
otherwise rad(X) = C1 > e. A straightforward computation shows that
E \ C1 = X X −1 − 3e.
So E \ C1 is an A-set. Hence E = hE \ C1 i is an A-subgroup by Lemma 2.6 and C1 = E \ (E \ C1 ) is an
A-subgroup. If |xE ∩ X| < 3 then from Theorem 2.3 it follows that X [3] = {x3 , y 3 , z 3 } ⊆ C is an A-set.
Suppose that {x3 } is a basic set. Then the set x3 X (−2) is basic. Hence x3 X (−2) = X and |xE ∩X| = 3,
a contradiction. Similarly, neither y 3 nor z 3 is a basic set. Therefore X [3] is a basic set. Theorem 2.8
yields that X [3] ∈ Orb(K, Cn−1 ) for some K ≤ Aut(Cn−1 ). If |X [3] | = 2 then rad(X [3] ) = e and, by
Lemma 2.11, without loss of generality we have x3k = y 3 = x3 , x3l = z 3 = x−3 . This contradicts the
fact that k ≡ 1 mod 3 and l ≡ 1 mod 3. Therefore |X [3] | = 3 and this set has nontrivial radical by
Lemma 2.11. Thus X [3] = x3 C1 and C1 = rad(X [3] ) is an A-subgroup by Lemma 2.6. To prove that E
is an A-subgroup it is sufficient to verify that Ts is regular. Indeed, if Ts is regular then E = hTs , C1 i
is an A-subgroup by Lemma 2.6. Assume that Ts is not regular. Then C1 ≤ rad(Ts ) by Lemma 4.1
and, hence, |Ts | ≥ 6. Since X [3] = x3 C1 is a basic set, Lemma 2.6 implies that Cn−1 = hX [3] i is an
A-subgroup. Let π : G → G/C1 be the quotient epimorphism. Then {π(x3 )} is a highest basic set of
ACn−1 /C1 and, hence, ACn−1 /C1 = Z(Cn−1 /C1 ) by Lemma 2.4. The set π(Ts ) is not regular. Therefore
Lemma 4.1 implies that rad(π(Ts )) > e and |π(Ts )| ≥ 6. So |Ts | ≥ 18. Exactly 9 elements enter the
element θ1 = X Y , where Y is the highest basic set containing y −1 . On the other hand, s enters θ1
and we conclude that at least 18 elements enter θ1 , a contradiction. Thus Ts is regular and E is an
A-subgroup.

14

GRIGORY RYABOV

Now we prove that
{c1 } ∈ S(A).
n−1

Without loss of generality we may assume that x3
= c1 . Since k ≡ 1 mod 3 and l ≡ 1 mod 3, we
3n−1
3n−1
(3n−1 +1)
have y
=z
= c1 and the set X
= c1 X is basic. The element c1 enters the element
c1 X X −1 whereas c21 does not. So c1 and c21 lie in the different basic sets.
Let us check that there are no A-subgroups of order 3 distinct from C1 . Assume the contrary.
Without loss of generality let S be an A-subgroup of order 3 other than C1 . Let π1 be the quotient
epimorphism from D to D/S. The set π1 (X) has trivial radical since otherwise rad(π1 (X)) = C1 and,
hence, rad(X) = hsc1 i or rad(X) = hs2 c1 i. Thus we have π1 (X) ∈ Orb(K, C) for some K ≤ Aut(C) by
Theorem 2.8. Lemma 2.11 implies that π1 (X) = {u} or π1 (X) = {u, u−1 }. The first case is impossible
because in this case S ≤ rad(X). In the second case y = xk = x−1 or z = xl = x−1 . This contradicts
the fact that k ≡ 1 mod 3 and l ≡ 1 mod 3. Thus there are no A-subgroups of order 3 distinct from
C1 and (9) yields that S(AE ) has (up to Cayley isomorphism) form (1) or (3) from Lemma 5.1.
Let Y and Z be the basic sets containing the elements y and z respectively. Then by the above
remarks, Y −1 = {y −1 } ∪ s{u} ∪ s2 {v}, u, v ∈ C, and Z −1 = {z −1 } ∪ s{u1 } ∪ s2 {v1 }, u1 , v1 ∈ C. The
element s enters the element X Y −1 . So the elements sc1 and sc21 enter X Y −1 . Therefore without
loss of generality u = c1 x−1 , v = c21 z −1 . The element s2 enters the element X Z −1 . So the elements
s2 c1 and s2 c21 enter X Z −1 . Therefore without loss of generality u1 = c1 y −1 , v1 = c21 x−1 . Thus
Y = {y} ∪ s{c1 z} ∪ s2 {c21 x}, Z = {z} ∪ s{c1 x} ∪ s2 {c21 y}.
By Theorem 2.2, we have Y = X (k) , Z = X (l) . Since k ≡ 1 mod 3 and l ≡ 1 mod 3, we conclude
3
2
3
2
that y k = c1 z, z k = c21 x, y l = c1 x, z l = c21 y. These equlities imply that xk = y k = x, xl = z l = x.
n
3
3
a
Thus 3 divides k − 1 and l − 1. Let k = 3 p + 1, where 3 does not divide p and a ≥ 1. Then
k 3 − 1 = 3a+1 p(32a−1 p2 + 3a p + 1).
We have a + 1 ≥ n because 3 does not divide (32a−1 p2 + 3a p + 1). Hence y = xk = q1 x where
q1 ∈ C1 . Similarly z = q2 x, q2 ∈ C1 . Since rad(X) = e, we have q2 6= q1−1 . Every highest basic set is
rationally conjugate to X because X0e 6= ∅, X1s 6= ∅, X2s2 6= ∅. This implies that if X is an orbit
of K ≤ Aut(D) then every highest basic set is an orbit of K.
A straightforward computation shows that q1 q2 x3 is the unique element which enters the element
X X (3) with coefficient 3. So the set {x3 } is basic. If S(AE ) is of the form (3) from Lemma 5.1 then
the basic sets of ADn−1 are of the forms
{u}, suC1 , s2 uC1 , u ∈ Cn−1
by Lemma 2.4, and, hence, A is Cayley isomorphic to Cyc(K6 , D); if S(AE ) is of the form (1) from
Lemma 5.1 then the basic sets of ADn−1 are of the forms
{u}, suC1 ∪ s2 uC1 , u ∈ Cn−1
by Lemma 2.4, and, hence, A is Cayley isomorphic to Cyc(K7 , D).
Case 5: |X| = 6. From Lemma 2.12 it follows that
X = {x, x−1 } ∪ s{y, z} ∪ s2 {y −1 , z −1 }, x, y, z ∈ C.
Theorem 2.2 implies that for every highest basic Y there exists m ∈ Z such that Y = X (m) . Since C
is cyclic, there exist k, l ∈ Z such that y = xk , z = xl . Without loss of generality we may assume that
k≡1

mod 3, l ≡ 2 mod 3.

Indeed, suppose that k ≡ l mod 3. Then the element s2 yz has order 3n and it enters the element
θ2 = X 2 − X (2) . So there exists b ∈ C, |b| = 3n that enters θ2 because every highest basic set
nontrivially intersects with C. However, only the elements yz −1 , y −1 z, e from C enter θ2 . All these
elements have order less than 3n , a contradiction. Therefore k 6≡ l mod 3.
Let us prove (9). The proof is similar to the case when |X| = 3. If |xE ∩ X| = 3 then
X = x{e, sε1 , s2 ε2 } ∪ x−1 {e, s2 ε21 , sε22 }, ε1 , ε2 ∈ C1 ,

ON SCHUR p-GROUPS OF ODD ORDER

15

because X = X −1 . Note that ε2 6= ε−1
1 since otherwise rad(X) > e. Thus all elements from E \ C1
enter X 2 and only these elements from Dn−1 enter X 2 . Since A is regular, Dn−1 is an A-subgroup.
So E \ C1 is an A-set. Lemma 2.6 implies that E = hE \ C1 i is an A-subgroup and we are done.
If |xE ∩ X| < 3 then from Theorem 2.3 it follows that X [3] = {x3 , y 3 , z 3 , x−3 , y −3 , z −3 } ⊆ C is
an A-set. All basic sets inside X [3] are conjugate and, hence, have the same radical. Suppose that
every basic set inside X [3] has trivial radical. Then from Lemma 2.8 and Lemma 2.11 it follows that
Tx3 = {x3 } or Tx3 = {x3 , x−3 }. In the former case x3 X (2) is a basic set by Lemma 2.4. So x3 X (2) = X
and x5 = x, a contradiction with |x| > 3. In the latter case (x3 + x−3 )X (2) contains 12 elements
including x and x5 . This implies that
(x3 + x−3 )X (2) = X + X (5) .
3 −2

3 −2

(10)

−3 −2

−3 −2

A straightforward computation shows that s{x y , x z , x y , x z } is the set of all elements
from sC that the summand in the left-hand side of (10) contains. Therefore
{x3 y −2 , x3 z −2 , x−3 y −2 , x−3 z −2 } = {y, z, y −5, z −5 }.
Since k ≡ 1 mod 3, l ≡ 2 mod 3, we conclude that y 3 , z 3 ∈ {x3 , x−3 }. This yields that |xE ∩ X| = 3,
in contrast to the assumption. Thus rad(X [3] ) > e. Moreover, rad(X [3] ) = C1 because |X [3] | ≤ 6.
From Lemma 2.6 it follows that C1 is A-subgroup. If Ts is not regular then like in the case when
|X| = 3 we have that |Ts | ≥ 18. This contradicts the fact that exactly 16 elements including s from
sC enter X 2 . Thus Ts is regular and E is an A-subgroup.
Now we show that {c1 , c21 } ∈ S(A). Assume the contrary. Then {c1 } is a basic set. So c1 X is a basic
n−1
set. Without loss of generality we assume that x3
= c1 . Since k ≡ 1 mod 3 and l ≡ 2 mod 3, we
n−1
n−1
conclude that y 3
= c1 and z 3
= c21 . On the one hand,
n−1

X (3

+1)

= {c1 x, c21 x−1 } ∪ s{c1 y, c21 z} ∪ s2 {c21 y −1 , c1 z −1 }
n−1

is a basic set containing c1 x. On the other hand, X (3 +1) 6= c1 X because sc1 z ∈ c1 X, sc1 z ∈
/
(3n−1 +1)
2
X
, a contradiction. Thus {c1 , c1 } ∈ S(A).
Let us show that there are no A-subgroups of order 3 distinct from C1 . Assume the contrary.
Without loss of generality let S be an A-subgroup of order 3 other than C1 . Let π1 be the quotient
epimorphism from D to D/S. Suppose that rad(π1 (X)) > e. Then rad(π1 (X)) = C1 because |π1 (X)| ≤
6. This implies that π1 (X) = xC1 ∪ x−1 C1 . So
X = x{e, f1 , f2 } ∪ x−1 {e, f1−1 , f2−1 },
where f1 , f2 ∈ {sc1 , sc21 , s2 c1 , s2 c21 }. Assume that f2 6= f1−1 . Then f2 = f f1 , where f ∈ {s, s2 , c1 , c21 }.
Note that {f, f 2 } is an A-set. The element f2 x enters (f + f 2 )X whereas x does not. A contradiction
holds because x and f2 x lie in the same basic set X. Therefore f2 = f1−1 and rad(X) = {e, f1 , f1−1 } that
is not true. Thus rad(π1 (X)) = e. Hence Lemma 2.8 and Lemma 2.11 yield that π1 (X) = {u, u−1 }.
Then S ≤ rad(X), a contradiction. So there are no A-subgroups of order 3 distinct from C1 . Thus by
the previous paragraph, S(AE ) has form (6) or (9) from Lemma 5.1.
Further we prove that y = q1 x, z = q2 x−1 , q1 , q2 ∈ C1 . Using the assumption on l and k, list all
elements from sC of order less than 3n that enter X −1 X (k)
s, sz k x, sy k x−1 , syz, sz −k y −1 , sy −k z −1 .
n

and all elements from sC of order less than 3 that enter X
−1 −l

s, sx

l −1

y , syz, sz y

−1

l −1

, sy z

X

(11)

(l)

, sxz −l .

(12)

Every element from (11) has the form sxi , where
i ∈ I = {kl + 1, k 2 − 1, k + l, kl + k, k 2 + l},
because y = xk , z = xl . Since c1 ∈ rad(Ts ) and Ts is contained in X −1 X (k) , we conclude that sc1
and sc21 are among the elements in (11). Therefore two numbers from I are divisible by 3n−1 . Let us
show that 3n−1 divides k − 1. This is obvious by the assumption on k if k 2 − 1 is a multiple of 3n−1 .

16

GRIGORY RYABOV

If k + l and kl + k are divisible by 3n−1 then 3n−1 divides l(k − 1) = kl + k − k − l, hence, 3n−1 divides
k − 1 by the assumption on l. If k + l and kl + 1 are multiple of 3n−1 then (k − 1)(l − 1) = kl + 1 − k − l
is a multiple of 3n−1 , hence, k − 1 is a multiple of 3n−1 . If k + l and k 2 + l are divisible by 3n−1 then
k(k − 1) = k 2 + l − l − k is divisible by 3n−1 , hence, k − 1 is divisible by 3n−1 . If 3n−1 divides kl + k
and kl + 1 then 3n−1 divides k − 1 = kl + k − kl − l. If kl + k and k 2 + l are multiple of 3n−1 then
(k − 1)(k − l) = k 2 + l − kl − k is a multiple of 3n−1 , hence, k − 1 is a multiple of 3n−1 . If kl + 1 and
2
k 2 + l are divisible by 3n−1 then without loss of generality z k x = xkl+1 = c1 , y −k z −1 = x−k −l = c21 .
3
2
Note that x−k +1 = (x−k −l )k xkl+1 = c21 c1 = e. Thus k 3 − 1 is divisible by 3n and k − 1 is divisible
by 3n−1 . So in all cases k − 1 is divisible by 3n−1 and we have y = q1 x, q1 ∈ C1 .
Every element from (12) has the form sxj , where
j ∈ J = {kl + 1, l2 − 1, k + l, kl − l, l2 − k},
because y = xk , z = xl . Again sc1 and sc21 are among the elements in (12) because Ts enters X −1 X (l) .
This implies that 3n−1 divides two elements from J. Applying the similar arguments, we conclude that
l + 1 is divisible by 3n−1 and z = xl+1 x−1 = q2 x−1 , where q2 ∈ C1 . Note q1 6= q2 since otherwise sq1 ∈
rad(X). Every highest basic set is rationally conjugate to X because X0e 6= ∅, X1s 6= ∅, X2s2 6= ∅.
This implies that if X is an orbit of K ≤ Aut(D) then every highest basic set is an orbit of K.
A straightforward computation shows that only the elements q1 q22 x3 , q12 q2 x−3 enter the element
X (3) with coefficient 3. If {q1 q22 x3 } is a basic set then Lemma 2.4 implies that {c1 } is a basic set that
is not true. Therefore {q1 q22 x3 , q12 q2 x−3 } is a basic set and every basic set of ACn−1 is of the form
{u, u−1}, u ∈ Cn−1 , by Theorem 2.2 and Theorem 2.3. If S(AE ) is of the form (6) from Lemma 5.1
then a straightforward check shows that every nonhighest basic set outside C is one of two forms
{su, sc1 u, sc21 u, su−1 , sc1 u−1 , sc21 u−1 }, {s2 u, s2 c1 u, s2 c21 u, s2 u−1 , s2 c1 u−1 , s2 c21 u−1 }, u ∈ C.
So A is Cayley isomorphic to Cyc(K8 , D). If S(AE ) is of the form (9) from Lemma 5.1 then a
straightforward check shows that every nonhighest basic set outside C is of the form
{su, sc1 u, sc21 u, s2 u−1 , s2 c1 u−1 , s2 c21 u−1 }, u ∈ C.
So A is Cayley isomorphic to Cyc(K9 , D).



Corollary 5.1. Let A be a regular S-ring over D such that rad(A) = e. Then C1 and Cn−1 are
A-subgroups.
Corollary 5.2. Let A be a regular S-ring over D such that rad(A) = e. If L is an A-subgroup of
order 3 and A = Cyc(Ki , D), i ∈ {0, 1, 2, 3, 4, 5}, then the group Aut(AD/L ) is 2-isolated.
Proof. For n ≤ 3 the statement of the corollary follows from calculations in the group ring of D that
made by [5]. So we assume that n ≥ 4. By Lemma 2.15, it is sufficient to prove that Aut(AD/L )e
has a faithful regular orbit. If L 6= C1 then D/L is cyclic and Theorem 5.1 implies that either
AD/L = Z(D/L) or every basic set of AD/L is of the form {x, x−1 }, x ∈ C/L. In both cases,
obviously, the group Aut(AD/L )e has a faithful regular orbit.
Let L = C1 and π : D → D/L be the quotient epimorphism. If A = Cyc(K0 , D) then | Aut(AD/L )e | =
1 and, obviously, Aut(AD/L )e has a faithful regular orbit. If A = Cyc(K1 , D) = ZC ⊗ AS , where AS
has rank 2, then AD/L = ZCn−1 ⊗ AS . So | Aut(AD/L )e | = 2 and π({sx, s2 x}) is a faithful regular
orbit of Aut(AD/L )e . If A = Cyc(Ki , D), i ∈ {2, 4, 5}, then AD/L is a quasi-thin S-ring with at least
two orthogonals. Indeed, {π(y 2 ), π(y −2 )} and {π(y 4 ), π(y −4 )}, where y is a generator of Cn−1 , are
orthogonals. These orthogonals are distinct since n ≥ 4. Thus Aut(AU/L )e has a faithful regular orbit
by Lemma 2.16. If A = Cyc(K3 , D) the basic sets of AD/L are of the form
{π(s), π(s2 )}, {π(y), π(y −1 )}, π(s){π(y), π(y −1 )} ∪ π(s2 ){π(y), π(y −1 )}, y ∈ C.
Note that π(S) and π(C) are AD/L -subgroups, AD/L = AC/L ⊗ AS/L , and Aut(AD/L )e |S ∼
=
Aut(AD/L )e |C ∼
= Z2 × Z2 and π(s){π(y), π(y −1 )} ∪
= Z2 . Thus we conclude that Aut(AD/L )e ∼
π(s2 ){π(y), π(y −1 )} is a faithful regular orbit of Aut(AD/L )e .


ON SCHUR p-GROUPS OF ODD ORDER

17

Proposition 5.1. Let A be an S-ring over D. Suppose that for every highest basic set X with trivial
radical the following statements hold:
(1) X is regular;
(2) hXi = D.
Then every highest basic set of A has trivial radical.
Proof. Lemma 2.12 implies that that |X| ≤ 6. If |X| = 1 then Condition (2) of the Proposition
does not hold. The statement of the proposition follows from Theorem 2.2 if |X| ∈ {3, 6}. In these
cases every highest basic set is rationally conjugate to X because X0e 6= ∅, X1s 6= ∅, X2s2 6= ∅.
Suppose that |X| = 2. Then without loss of generality we may assume that X = {x} ∪ s{y}, x, y ∈ C.
Theorem 2.3 implies that C1 is an A-subgroup. From (6) (see proof of Theorem 5.1) it follows that Ts
is regular (otherwise |Ts | ≥ 6 by Lemma 4.1), |Ts | ≤ 2, and Ts 6= Ts2 . Thus E is an A-subgroup and
Lemma 5.1 yields that there exists a basic set of the form {q}, q ∈ E \ C1 . From Lemma 2.4 it follows
that qX is a basic set. Therefore
[
(X (m) ∪ (qX)(m) ) = D \ Dn−1 ,
m

where m runs over integers coprime to 3. We are done because rad(X) = e.
Let us show that Condition (2) of the Proposition does not hold whenever |X| = 4. In this case
without loss of generality we may assume that X = {x, x−1 } ∪ s{y} ∪ s2 {y −1 }, x, y ∈ C. Theorem 2.3
implies that C1 is an A-subgroup. Exactly one of the elements sxy, sx−1 y, say the first one, has order
3n . If Tsxy is not regular then |Tsxy | ≥ 6 by Lemma 4.1 that contradicts (8) (see proof of Theorem 5.1).
Indeed, exactly four distinct elements including sxy enter X 2 − X (2) . So Tsxy is regular and from (8)
it follows that Tsxy = {sxy} or Tsxy = {sxy, s2 x−1 y −1 }. In both cases hTsxy i is cyclic.

6. S-rings over D = Z3 × Z3n : nontrivial radical case
In this section we are interested in an S-ring over D that has nontrivial radical and follow [7,
Section 9].
Theorem 6.1. Let A be an S-ring over D such that rad(A) > e. Then A is a proper S-wreath product.
Moreover, |S| = 1 or |S| = 3 or rad(AU ) = e and |L| = 3, where S = U/L.
Proof. Denote by U the group generated by all basic sets of A with trivial radicals.
Lemma 6.1. U is an A-subgroup and rad(AU ) = e.
Proof. The first statement follows from Lemma 2.6. Let us prove that rad(AU ) = e. Without loss of
generality we may assume that U = D. Then there exists a highest basic set X such that rad(X) = e.
If X is not regular then it contains an element of order 3 by Lemma 4.2 and we have that rad(A) = e
by Proposition 4.2. Therefore we may assume that every highest basic set with trivial radical is
regular. At least one of the sets X0e , X1s , X2s2 is not empty. Without loss of generality we assume
that X0e 6= ∅. If hZi = D for every highest basic set Z with trivial radical then every highest basic
set has trivial radical by Proposition 5.1 and we are done. So we may assume that hXi = C. Then by
Lemma 2.11, we have X = {x} or X = {x, x−1 }, where x ∈ C. Since hXi = C, there exists a basic
set Y such that D = hX, Y i and rad(Y ) = e. If Y is not regular then from Lemma 4.1 it follows that
C1 ≤ rad(Y ). So Y is regular. Without loss of generality Y1s 6= ∅ and y ∈ Y1s . Note that |Y1s | ≤ 2 by
Lemma 2.12.
Let us show that rad(Ts ) = e, where Ts is a basic set containing s. It is obvious if Ts = Y . Suppose
that Ts 6= Y . Assume on the contrary that rad(Ts ) > e. Then C1 ≤ rad(Ts ). If |Y1s | = 1 then exactly
two elements s and sy 2 from sC enter the element α = (y + y −1 )Y , a contradiction. Suppose that
Y1s = {y, z}. Then exactly four elements s, syz, sy −1 z, and sy 2 from sC enter α. Since sc1 , sc21 ∈ Ts ,
we conclude that {c1 , c21 } ⊆ {y 2 , yz, y −1 z}. If y 2 ∈ C1 then sc1 ∈ Y or sc21 ∈ Y and Y = Ts , a
contradiction. Thus {c1 , c21 } = {yz, y −1z}. Hence z 2 = e, a contradiction.
From the claim of the previous paragraph it follows that Ts is regular because otherwise C1 ≤ rad(Ts )
by Lemma 4.1. Since C1 is an A-subgroup, from Lemma 5.1 it follows that there exisits an A-subgroup

18

GRIGORY RYABOV

Q 6= C1 of order 3. Every basic set inside C has the form {x} or {x, x−1 }. Hence {qx, qx−1 , q 2 x, q 2 x−1 }
is an A-set for every x ∈ C. Thus every basic set of A has trivial radical as required.

Lemma 6.2. Let Abe an S-ring over D and H be a minimal A-subgroup. Then either H \ {e} ∈ S(A)
or |H| = 3 and AH = ZH.
Proof. If |H| > 3 then the primitive S-ring AH is of rank 2 by Lemma 2.7. Thus H \ {e} ∈ S(A). Let
|H| = 3 and rk(AH ) > 2. Then, obviously, AH = ZH.

Since by the theorem hypothesis rad(A) > e, Lemma 6.1 implies that U < D. In addition, from
Lemma 6.2 it follows that U contains every minimal A-subgroup.
Lemma 6.3. If there is a unique minimal A-subgroup or C1 ≤ rad(X) for every basic set X outside
U then the statement of Theorem 6.1 holds.
Proof. Let L be a unique minimal A-subgroup. Then L ≤ rad(X) for every X ∈ S(A)D\U because
Lemma 2.6 implies that rad(X) is a nontrivial A-subgroup. So A is the U/L-wreath product. If |L| = 3
then the statement of Theorem 6.1 holds. Suppose that |L| > 3. Then from Corollary 5.1 it follows
that AU is not regular (otherwise C1 is an A-subgroup of order 3). Therefore by Theorem 4.1, the
S-ring AU has rank 2. Hence U = L and we are done.
To complete the proof suppose that there are at least two minimal A-subgroups and C1 ≤ rad(X)
for every X ∈ S(A)D\U . Assume that C1  U . Then |U | = 3 and U is the unique minimal A-subgroup
becuse U contains every minimal A-subgroup, a contradiction. So C1 ≤ U . Denote by H the minimal
A-subgroup containing C1 . Then A is the S-wreath product, where S = U/H. If H = C1 then |H| = 3
and the statement of Theorem 6.1 holds. If H > C1 then AU is not regular by Corollary 5.1. Thus
Theorem 4.1 implies that AU = AH ⊗ AL where |L| ≤ 3. So |S| = |U/H| ∈ {1, 3}.

The uninon of all basic sets X such that rad(X) = e or c1 ∈ rad(X) denote by V . Then, obviously,
U ⊂ V and V is an A-set. By Lemma 6.3, we may assume that V 6= D and there exist at least two
minimal A-subgroups. Let X be a basic set containing an element of order 3. Suppose that rad(X) > e
and c1 ∈
/ rad(X). Then | rad(X)| = 3 and rad(X) is the unique minimal A-subgroup, a contradiction.
So X ⊆ V and E ⊆ V .
For given A-set X put S(A)X = {Y ∈ S(A) : Y ⊆ X}.
Lemma 6.4. Let X ∈ S(A)D\V . Then
(1) rad(X) = {e, q, q 2 }, q ∈ E \ C1 ;
(2) X regular and X0e 6= ∅, X1s 6= ∅, X2s2 6= ∅.
Proof. Since X 6⊆ U , we have rad(X) > e. The group rad(X) does not contain elements of order
greater than 3 because by the above assumption c1 ∈
/ rad(X). Therefore rad(X) is a group of order
3 distinct from C1 and Statement (1) holds. Denote rad(X) = {e, q, q 2 } by L. Then rad(π(X)) = e,
where π : D → D/L is the quotient epimorphism. The group D/L is cyclic. Thus by Lemma 2.8, the
set π(X) is regular or π(X) = H \ {e} for some H ≤ D/L. If π(X) = H \ {e} then X contains all
elements of order 3 distinct from q and q 2 . Hence L is a unique minimal A-subgroup, a contradiction.
So π(X) and X are regular. Since LX = X, we conclude that X0e 6= ∅, X1s 6= ∅, X2s2 6= ∅.

Statement (2) of Lemma 6.4 yields that
[

tr(X) = D \ Dk

X∈S(A)D\V

for some k ≥ 1. So V = Dk is an A-subgroup.
Lemma 6.5. Let X, Y ∈ S(A)D\V . Then rad(X) = rad(Y ).
Proof. Assume the contrary. Then by Lemma 6.4, without loss of generality we may assume that
rad(X) = {e, s, s2 } = S and rad(Y ) = {e, sc1 , sc21 }. So
X = X0e ∪ sX0e ∪ s2 X0e , Y = Y0e ∪ sc1 Y0e ∪ s2 c21 Y0e .

ON SCHUR p-GROUPS OF ODD ORDER

19

The sets X0e and Y0e are regular and nonempty by Statement (2) of Lemma 6.4. Thus X0e and Y0e
are orbits of a group K ≤ Aut(C). Furthermore, rad(X0e ) = rad(Y0e ) = e since otherwise rad(X) or
rad(Y ) contains at least nine elements that contradicts Statement (1) of Lemma 6.4. Consider the basic
sets π(X) and π(Y ) of the circulant S-ring AD/S , where π : D → D/S is the quotient epimorphism.
The radical of π(X) = X0e is trivial, the radical π(Y ) contains π(sc1 ). This contradicts Lemma 2.9
applied for an S-ring π(AhXi ) and A-section π(hY i).

Lemma 6.6. rad(AV ) = e. In particular, U = V .
Proof. Let X be the highest basic set of AV . Since V 6= D, there exists Y ∈ S(A)D\V such that
X ∩ Y 3 6= ∅. Moreover, X ⊂ Y 3 because Y 3 is an A-set. By Lemma 6.4, without loss of generality we
3
may assume that Y = Y0e ∪ sY0e ∪ s2 Y0e , rad(Y ) = S, rad(Y0e ) = e. Then Y 3 = SY0e
. Since Y0e is
nonempty and regular by Lemma 6.4, the set Y0e is an orbit of K ≤ Aut(C). Therefore Lemma 2.11
implies that either Y0e = {y} or Y0e = {y, y −1 }. So Y 3 is one of two types:
{y 3 , sy 3 , s2 y 3 },
{y, sy, s2 y, y −1 , sy −1 , s2 y −1 , y 3 , sy 3 , s2 y 3 , y −3 , sy −3 , s2 y −3 }.
Since X ⊂ V , we have rad(X) = e or c1 ∈ rad(X). Let us show that the latter is impossible. This is
obvious if Y 3 is of the first type. If Y 3 is of the second type and c1 ∈ rad(X) then it is easy to check
that y = c1 or y = c21 . However, y ∈
/ V . This contradicts the fact that E ⊆ V . Thus rad(X) = e and
rad(AV ) = e.

To complete the proof of Theorem 6.1, let L = rad(X), X ∈ S(A)D\V . By Lemma 6.4, the group
L does not depend on the choice of X. Then A is the S-wreath product where S = V /L. Since
rad(AV ) = e and |L| = 3 the statement of Theorem 6.1 holds.

7. S-rings over D = Z3 × Z3n : schurity
In this section we prove Theorem 1.1.
Proof of the Theorem 1.1. We proceed by induction on n. The statement of the theorem for n ≤ 3
follows from calculations in the group ring of D that made by [5]. Let n ≥ 4 and A be an S-ring over
D. Let us show that A is schurian. If rad(A) = e then A is schurian by Theorem 4.1 and Theorem 5.1.
Suppose that rad(A) > e. Then Theorem 6.1 implies that A is the S-wreath product, where S = U/L,
and one of the following statements holds:
(1) |S| = 1,
(2) |S| = 3,
(3) rad(AU ) = e and |L| = 3.
Let us show that in these cases A is schurian. By the induction hypothesis, the S-rings AU and
AD/L are schurian. So by Corollary 2.1, it is sufficient to prove that Aut(AS ) is 2-isolated. Obviously,
the group Aut(AS ) is 2-isolated whenever |S| = 1 or |S| = 3. Hence we may assume that |S| ≥ 9. Let
rad(AU ) = e and |L| = 3. If U is cyclic then Lemma 2.8 and Lemma 2.11 imply that every basic set
of AU is of the form {x} or every basic set of AU is of the form {x, x−1 }. In these cases, obviously,
Aut (AU/L )e has a faithful regular orbit. So Aut (AU/L ) is 2-isolated by Lemma 2.15. Thus we may
assume that U = Dk , where k < n. Since L is an A-subgroup of order 3, we conclude that rk(AU ) > 2.
Suppose that AU is not regular. Then Theorem 4.1 implies that AU = AH ⊗AL , where rk(AH ) = 2.
If rk(AL ) = 2, we have
Aut(AU )S = (Sym(H) × Sym(L))U/L = Sym(U/L).
If rk(AL ) = 3, we have
Aut(AU )S = (Sym(H) × Lright )U/L = Sym(U/L).
Note that D/L is cyclic and S is an AD/L -section of composite order. From [1, Theorem 4.6] it follows
that Aut(AD/L )S = Sym(U/L). Thus A is schurian by Theorem 2.4 applied for ∆0 = Aut(AD/L ) and

20

GRIGORY RYABOV

∆1 = Aut(AU ). Hence by Theorem 4.1, we may assume that AU is regular. From Theorem 5.1 it
follows that AU = Cyc(K, U ), where K listed in Table 1. If AU = Cyc(Ki , U ), i ∈ {0, 1, 2, 3, 4, 5},
then the group AU/L is 2-isolated by Corollary 5.2.
Let AU = Cyc(Ki , U ), i ∈ {6, 7, 8, 9}. Then C1 is the unique A-subgroup of order 3 and, hence,
L = C1 . Besides, for every highest basic set X of AU we have X0e 6= ∅, X1s 6= ∅, X2s2 6= ∅. Let
us show that the group H = rad(A) is not cyclic. Assume the contrary. Note that C1 ≤ H < U .
The first inequality holds because otherwise H is an A-subgroup of order 3 distinct from C1 . The
latter inequality holds because otherwise X ⊆ H for some highest basic set X of AU and H can not
be cyclic since X0e 6= ∅, X1s 6= ∅, X2s2 6= ∅. Next, the group D/H is isomorphic to Dl , where
l < n. The S-ring AD/H has trivial radical because otherwise H is not the radical of A. The group
e = {x ∈ D/H : |x| = 3} is an AD/H -subgroup because every basic set of AU/H is regular and U/H
E
contains all elements of order 3. Theorem 4.1 applied to D/H ∼
= Dl yields that AD/H is regular. Then
by Corollary 5.1, there exists a cyclic AD/H -subgroup of order 3l−1 . This contradicts the fact that
X0e 6= ∅, X1s 6= ∅, X2s2 6= ∅ for all highest basic sets of AU/H . Therefore H is not cyclic and, hence,
D/H is cyclic.
Since H is not cyclic, there exists a highest basic set X of A such that s ∈ rad(X). By Theorem 2.2,
every highest basic set of A is rationally conjugate to X and rad(Y ) = H for every highest basic set
Y of A. Therefore AD/H is circulant and rad(AD/H ) = e. Lemma 2.8 and Lemma 2.11 imply that
every basic set of AD/H is of the form {x} or every basic set of AD/H is of the form {x, x−1 }. So
A is regular and Dn−1 is an A-subgroup. Since H ≤ Dn−1 and rad(Y ) = H for every highest basic
set Y of A, we conclude that A is an Dn−1 /H-wreath product. By the induction hypothesis, S-rings
ADn−1 and AD/H are schurian. The basic sets of circulant S-ring ADn−1 /H are of the form {x} or of
the form {x, x−1 }. Thus Aut(ADn−1 /H )e has a faithful regular orbit. So Aut(ADn−1 /H ) is 2-isolated
by Lemma 2.15. Therefore Corollary 2.1 applied to Se = Dn−1 /H yields that A is schurian which
completes the proof of the theorem.

Acknowledgment. The author would like to thank Prof. I. Ponomarenko for the fruithful discussions on the subject matters. His suggestions help us to improve the text significantly.

ON SCHUR p-GROUPS OF ODD ORDER

21

References
[1] S. Evdokimov, I. Ponomarenko, Schurity of S-rings over a cyclic group and generalized wreath product of permutation groups, Algebra and Analysis, 24 (2012), 3, 84-127.
[2] S. Evdokimov, I. Ponomarenko, Characterization of cyclotomic schemes and normal Schur rings over a cyclic group,
Algebra and Analysis, 14 (2002), 2, 11-55.
[3] S. Evdokimov, I. Kovács, I. Ponomarenko, Characterization of cyclic Schur groups, Algebra and Analysis, 25
(2013), 61-85.
[4] S. Evdokimov, I. Kovács, I. Ponomarenko, On schurity of finite abelian groups, Communications Algebra, 44
(2016), 1, 101–117.
[5] The GAP Group, GAP Groups, Algorithms, and Programming, Version 4.7.6; 2014, http://www.gap-system.org.
[6] M. Klin, R. Pöschel, The isomorphism problem for circulant digraphs with pn vertices, Preprint P-34/80 Akad.
der Wiss. der DDR, ZIMM, Berlin, 1980.
[7] M. Muzychuk, I. Ponomarenko, On Schur 2-groups, Zapiski Nauchnykh Seminarov POMI, 435 (2015), 113-162.
[8] I. Ponomarenko, A. Vasil’ev, On non-abelian Schur groups, Journal of Algebra and Its Applications, 13 (2014), 8,
1450055-1-1450055-22.
[9] R. Pöschel, Untersuchungen von S-Ringen insbesondere im Gruppenring von p-Gruppen, Math. Nachr., 60 (1974),
1-27.
[10] G. Ryabov, On Schur 3-groups, Siberian Electronic Mathematical Reports, 12 (2015) 223-331.
[11] I. Schur, Zur theorie der einfach transitiven Permutationgruppen, S.-B. Preus Akad. Wiss. Phys.-Math. Kl. (1933),
598-623.
[12] H. Wielandt, Finite permutation groups, Academic Press, New York - London, 1964.
[13] H. Wielandt, Permutation groups through invariant relations and invariant functions, Lecture Notes Dept. Math.,
Ohio State Univ., Colombus, Ohio, 1969.
Novosibirsk State University, 2 Pirogova St., 630090 Novosibirsk, Russia
E-mail address: gric2ryabov@gmail.com

