The commutator and centralizer description of Sylow
subgroups of alternating and symmetric groups

arXiv:1712.01401v4 [] 24 Dec 2017

Ruslan Skuratovskii
December 27, 2017

Abstract
Given a permutational wreath product sequence of cyclic groups of order we research a commutator width of such groups and some properties of its commutator
subgroup. Commutator width of Sylow 2-subgroups of alternating group A2k , permutation group S2k and Cp ≀ B were founded. The result of research was extended
on subgroups (Syl2 A2k )′ , p > 2. The paper presents a construction of commutator
subgroup of Sylow 2-subgroups of symmetric and alternating groups. Also minimal
generic sets of Sylow 2-subgroups of A2k were founded. Elements presentation of
(Syl2 A2k )′ , (Syl2 S2k )′ was investigated. We prove that the commutator width [1]
of an arbitrary element of a discrete wreath product of cyclic groups Cpi , pi ∈ N is
1.
Key words: wreath product of group; commutator width of Sylow p-subgroups;
commutator subgroup of alternating group, centralizer subgroup, semidirect product.

1

Introduction
A form of commutators of wreath product A≀B was brieﬂy considered in [3]. For more

deep description of this form we take into account the commutator width (cw(G)) which
was presented in work of Muranov [1]. This form of commutators of wreath product was
used by us for the research of cw(Syl2 A2k ), cw(Syl2 S2k ) and cw(Cp ≀ B). As well known,
the ﬁrst example of a group G with cw(G) > 1 was given by Fite [5]. We deduce an
estimation for commutator width of wreath product B ≀ Cp of groups Cp and an arbitrary
group B taking into the consideration a cw(B) of passive group B. In this paper we
continue a researches which was stared in [18]. The form of commutator presentation [3]
was presented by us in form of wreath recursion and commutator width of it was studied.

1

A research of commutator-group serves to decision of inclusion problem [6] for elements
of Syl2 A2k in its derived subgroup (Syl2 A2k )′ .

2

Preliminaries
Denote by f un(B, A) the direct product of isomorphic copies of A indexed by elements

of B. Thus, f un(B, A) is a function B → A with the conventional multiplication and
ﬁnite supports. The extension of f un(B, A) by B is called the discrete wreath product
of A, B. Thus, A ≀ B := f un(B, A) ⋋ B moreover, bf b−1 = f b , b ∈ B, f ∈ f un(B, A).
As well known that a wreath product of permutation groups is associative construction.
Let G be a group acting (from the left) by permutations on a set X and let H be
an arbitrary group. Then the (permutational) wreath product H ≀ G is the semidirect
product H X ⋋ G, where G acts on the direct power H X by the respective permutations
of the direct factors. The group Cp is equipped with a natural action by left shift on
X = {1, . . . , p}, p ∈ N.
The multiplication rule of automorphisms g, h which presented in form of wreath recursion [7] g = (g(1) , g(2) , . . . , g(d) )σg , h = (h(1) , h(2) , . . . , h(d) )σh , is given by the formula:
g · h = (g(1) h(σg (1)) , g(2) h(σg (2)) , . . . , g(d) h(σg (d)) )σg σh .
We deﬁne σ as (1, 2, . . . , p) where p is deﬁned by context.
We consider B ≀ (Cp , X), where X = {1, .., p}, and B ′ = {[f, g] | f, g ∈ B}, p ≥ 1.
If we ﬁx some indexing {x1 , x2 , ..., xm } of set the X, then an element h ∈ H X can be
written as (h1 , ..., hm ) for hi ∈ H.
The set X ∗ is naturally a vertex set of a regular rooted tree, i.e. a connected graph
without cycles and a designated vertex v0 called the root, in which two words are connected by an edge if and only if they are of form v and vx, where v ∈ X ∗ , x ∈ X. The
set X n ⊂ X ∗ is called the n-th level of the tree X ∗ and X 0 = {v0 }. We denote by vj,i
the vertex of X j , which has the number i. Note that the unique vertex vk,i corresponds
to the unique word v in alphabet X. For every automorphism g ∈ AutX ∗ and every
word v ∈ X ∗ deﬁne the section (state) g(v) ∈ AutX ∗ of g at v by the rule: g(v) (x) = y
for x, y ∈ X ∗ if and only if g(vx) = g(v)y. The subtree of X ∗ induced by the set of
vertices ∪ki=0 X i is denoted by X [k] . The restriction of the action of an automorphism
g ∈ AutX ∗ to the subtree X [l] is denoted by g(v) |X [l] . A restriction g(v) |X [1] is called the
vertex permutation (v.p.) of g in a vertex v. We call the endomorphism α|v restriction
of g in a vertex v [7]. For example, if |X| = 2 then we just have to distinguish active

2

vertices, i.e., the vertices for which α|v is non-trivial. As well known if X = {0, 1} then
AutX [k−1] ≃ C2 ≀ ... ≀ C2 [7].
| {z }
k−1

Let us label every vertex of X l , 0 ≤ l < k by sign 0 or 1 in relation to state of v.p.

in it. Let us denote state value of α in vki as ski (α) we put that ski (α) = 1 if α|vki
is non-trivial, and ski (α) = 0 if α|vki is trivial. Obtained by such way a vertex-labeled
regular tree is an element of AutX [k] . All undeclared terms are from [8, 9].
Let us make some notations. The commutator of two group elements a and b, denoted
[a, b] = aba−1 b−1 ,
conjugation by an element b as
ab = bab−1 ,
σ = (1, 2, . . . , p). Also Gk ≃ Syl2 A2k , Bk = ≀ki=1 C2 . The structure of Gk was investigated
in [18]. For this research we can regard Gk and Bk as recursively constructed i.e. B1 = C2 ,
Bk = Bk−1 ≀ C2 for k > 1, G1 = hei, Gk = {(g1 , g2 )π ∈ Bk | g1 g2 ∈ Gk−1 } for k > 1.
The commutator length of an element g of the derived subgroup of a group G, denoted
clG(g), is the minimal n such that there exist elements x1 , ..., xn , y1 , ..., yn in G such
that g = [x1 , y1 ]...[xn , yn ]. The commutator length of the identity element is 0. The
commutator width of a group G, denoted cw(G), is the maximum of the commutator
lengths of the elements of its derived subgroup [G, G].

3

Main result
We are going to prove that the set of all commutators K of Sylow 2-subgroup Syl2 A2k

of the alternating group A2k is the commutant of Syl2 A2k .
The following Lemma follows from the corollary 4.9 of the Meldrum’s book [3].
Lemma 1. An element of form (r1 , . . . , rp−1 , rp ) ∈ W ′ = (B ≀ Cp )′ iff product of all ri
(in any order) belongs to B ′ , where B is an arbitrary group.
Proof. Analogously to the Corollary 4.9 of the Meldrum’s book [3] we can deduce new
presentation of commutators in form of wreath recursion
w = (r1 , r2 , . . . , rp−1 , rp ),
where ri ∈ B. If we multiply elements from a tuple (r1 , . . . , rp−1 , rp ), where ri =

3

−1
hi ga(i) h−1
ab(i) gaba−1 (i) , h, g ∈ B and a, b ∈ Cp , then we get a product

x=

p
Y

ri =

p
Y

−1
′
hi ga(i) h−1
ab(i) gaba−1 (i) ∈ B ,

(1)

i=1

i=1

where x is a product of corespondent commutators.

Therefore we can write rp =
cw(B)
Q
−1
rp−1
. . . r1−1 x. We can rewrite element x ∈ B ′ as the product x =
[fj , gj ].
j=1

Note that we impose more weak condition on product of all ri to belongs to B ′ then
in Deﬁnition 4.5. of form P (L) in [3].
In more detail deducing of our representation constructing can be reported in following way. If we multiply elements having form of a tuple (r1 , . . . , rp−1 , rp ), where
−1
ri = hi ga(i) h−1
ab(i) gaba−1 (i) , h, g ∈ B and a, b ∈ Cp , then in case cw(B) = 0 we obtain a

product

p
Y
i=1

ri =

p
Y

−1
′
hi ga(i) h−1
ab(i) gaba−1 (i) ∈ B .

(2)

i=1

−1
−1
−1
−1
−1
Note that if we rearange elements in (1) as h1 h−1
1 g1 g2 h2 h2 g1 g2 ...hp hp gp gp

then by reason of such permutations we obtain a product of corespondent commutators. Therefore, following equality holds true
p
Y

−1
hi ga(i) h−1
ab(i) gaba−1 (i)

=

p
Y

−1
′
hi h−1
i gi gi x ∈ B ,

(3)

i=1

i=1

where x is a product of corespondent commutators. Therefore,
(r1 , . . . , rp−1 , rp ) ∈ W ′ iﬀ rp−1 · . . . · r1 · rp = x ∈ B ′

(4)

Thus, one of elements from coordinate of wreath recursion (r1 , . . . , rp−1 , rp ) depends on
p
Q
rest of ri . This dependence contribute that the product
rj for arbitrary sequence

{rj }pj=1 belongs to B ′ . Thus, rp can be expressed as:

j=1

−1
rp = r1−1 · . . . · rp−1
x.

Denote a j-th tuple, which consists of elements of a wreath recursion, by (rj1 , rj2 , ..., rjp ).
Closedness by multiplication of the set of forms (r1 , . . . , rp−1 , rp ) ∈ W = (B ≀ Cp )′ follows
from

4

k
Y

(rj1 . . . rjp−1 rjp ) =

p
k Y
Y

rji = R1 R2 ...Rk ∈ B ′ ,

(5)

j=1 i=1

j=1

p
Q

where rji is i-th element from tuple number j, Rj =

rji , 1 ≤ j ≤ k. As it was

i=1

shown above Rj =

p−1
Q

rji ∈ B ′ . Therefore, the product (5) of Rj , j ∈ {1, ..., k} which is

i=1

similar to the product mentioned in [3], has the property R1 R2 ...Rk ∈ B ′ too, because of
B ′ is subgroup. Thus, we get a product of form (2) and the similar reasoning as above
are applicable.
Let us prove the suﬃciency condition. If the set K of elements that satisfy the
condition of this theorem that all products of all ri , where every i occurs in this forms
once, belong to B ′ , then using the elements of form
−1
(r1 , e, ..., e, r1−1 ), ... , (e, e, ..., e, ri , e, ri−1 ), ... ,(e, e, ..., e, rp−1 , rp−1
), (e, e, ..., e, r1 r2 ·

... · rp−1 )
we can express any element of form (r1 , . . . , rp−1 , rp ) ∈ W = (Cp ≀ B)′ . We need
to prove that in such way we can express all element from W and only elements of W .
The fact that all elements can be generated by elements of K follows from randomness
of choice every ri , i < p and the fact that equality (1) holds so construction of rp is
determined.
Lemma 2. For any group B and integer p ≥ 2, p ∈ N if w ∈ (B ≀ Cp )′ then w can be
represented as the following wreath recursion
w=

−1
(r1 , r2 , . . . , rp−1 , r1−1 . . . rp−1

k
Y

[fj , gj ]),

j=1

where r1 , . . . , rp−1 , fj , gj ∈ B, and k ≤ cw(B).
Proof. According to the Lemma 1 we have the following wreath recursion
w = (r1 , r2 , . . . , rp−1 , rp ),
−1
where ri ∈ B and rp−1 rp−2 . . . r2 r1 rp = x ∈ B ′ . Therefore we can write rp = r1−1 . . . rp−1
x.
k
Q
We also can rewrite element x ∈ B ′ as product of commutators x =
[fj , gj ] where
j=1

k ≤ cw(B).
5

Lemma 3. For any group B and integer p ≥ 2, p ∈ N if w ∈ B ≀ Cp is defined by the
following wreath recursion
−1
w = (r1 , r2 , . . . , rp−1 , r1−1 . . . rp−1
[f, g]),

where r1 , . . . , rp−1 , fj , gj ∈ B then we can represent w as commutator
w = [(a1,1 , . . . , a1,p )σ, (a2,1 , . . . , a2,p )],
where
a1,i = e for 1 ≤ i ≤ p − 1 ,
−1

a2,1 = (f −1 )r1

−1
...rp−1

,

a2,i = ri−1 a2,i−1 for 2 ≤ i ≤ p,
−1

a1,p = ga2,p .
Proof. Let us to consider the following commutator
−1
−1
−1
−1
κ = (a1,1 , . . . , a1,p )σ · (a2,1 , . . . , a2,p ) · (a−1
· (a−1
1,p , a1,1 , . . . , a1,p−1 )σ
2,1 , . . . , a2,p )

= (a3,1 , . . . , a3,p ),
where
−1
a3,i = a1,i a2,1+(i mod p) a−1
1,i a2,i .

At ﬁrst we compute the following
−1
−1
−1
a3,i = a1,i a2,i+1 a−1
1,i a2,i = a2,i+1 a2,i = ri a2,i a2,i = ri , for 1 ≤ i ≤ p − 1.

6

Then we make some transformation of a3,p :
−1
a3,p = a1,p a2,1 a−1
1,p a2,p
−1 −1
= (a2,1 a−1
2,1 )a1,p a2,1 a1,p a2,p
−1
= a2,1 [a−1
2,1 , a1,p ]a2,p
−1
−1
= a2,1 a−1
2,p a2,p [a2,1 , a1,p ]a2,p
a

2,p
−1 a2,p
−1
]
= (a2,p a−1
, a1,p
2,1 ) [(a2,1 )
−1

a

2,p
−1 a2,p a2,1
−1
= (a2,p a−1
, a1,p
].
2,1 ) [(a2,1 )

We transform commutator κ in such way that it is similar to the form of w. This
gives us equations with unknown variables ai,j :

−1

a1,i a2,i+1 a−1

1,i a2,i


 (a a−1 )−1
2,p 2,1
−1 a2,p a−1
2,1

(a2,1 )



a

a 2,p
1,p

= ri , for 1 ≤ i ≤ p − 1,
=

−1
r1−1 . . . rp−1
,

=

f,

=

g.

In order to prove required statement it is enough to ﬁnd at least one solution of equations.
We set the following
a1,i = e for 1 ≤ i ≤ p − 1 .
Then we have


a2,i+1 a−1

2,i


 (a a−1 )−1

2,p 2,1
−1 a2,p a−1
2,1


(a2,1 )

a2,p

a1,p

= ri , for 1 ≤ i ≤ p − 1,
=

−1
r1−1 . . . rp−1
,

=

f,

=

g.

Now we can see that the form of the commutator κ is similar to the form of w.
Let us make the following notation
r ′ = rp−1 . . . r1 .
We note that from the deﬁnition of a2,i for 2 ≤ i ≤ p it follows that
ri = a2,i+1 a−1
2,i , for 1 ≤ i ≤ p − 1.

7

Therefore
−1
−1
−1
r ′ = (a2,p a−1
2,p−1 )(a2,p−1 a2,p−2 ) . . . (a2,3 a2,2 )(a2,2 a2,1 )

= a2,p a−1
2,1 .
And then
−1
−1
(a2,p a−1
= (r ′ )−1 = r1−1 . . . rp−1
.
2,1 )

Finally let us to compute the following
−1

−1

a2,p a2,1
(a−1
= (((f −1 )r1
2,1 )

−1
...rp−1
−1 r ′

)

′ −1

′

) = (f (r ) )r = f,

a

−1

2,p
a1,p
= (g a2,p )a2,p = g.

And now we conclude that
−1
a3,p = r1−1 . . . rp−1
[f, g].

Thus, the commutator κ is presented exactly in the similar form as w has.
For future use we formulate previous lemma for the case p = 2
Corollary 4. If B is any group and w ∈ B≀C2 is defined by the following wreath recursion
w = (r1 , r1−1 [f, g]),
where r1 , f, g ∈ B, then w can be represent as commutator
w = [(e, a1,2 )σ, (a2,1 , a2,2 )],
where
−1

a2,1 = (f −1 )r1 ,
a2,2 = r1 a2,1 ,
−1

a1,2 = ga2,2 .
Lemma 5. For any group B and integer p ≥ 2 inequality
cw(B ≀ Cp ) ≤ max(1, cw(B))

8

holds.
Proof. We can represent any w ∈ (B ≀ Cp )′ by Lemma 1 with the following wreath
recursion
w=

−1
(r1 , r2 , . . . , rp−1 , r1−1 . . . , rp−1

k
Y

[fj , gj ])

j=1

=

−1
(r1 , r2 , . . . , rp−1 , r1−1 . . . , rp−1
[f1 , g1 ])

·

k
Y

[(e, . . . , e, fj ), (e, . . . , e, gj )],

j=2

where r1 , . . . , rp−1 , fj , gj ∈ B, k ≤ cw(B). Now by the Lemma 3 we can see that w can
be represented as product of max(1, cw(B)) commutators.
Corollary 6. If W = Cpk ≀ . . . ≀ Cp1 then for k ≥ 2 cw(W ) = 1.
Proof. If W = Cpk ≀ Cpk−1 then according to Lemma 5 implies that cw(Cpk ≀ Cpk−1 ) = 1,
because Cpk ≀ Cpk−1 is not commutative group so cw(W ) > 0. If W = Cpk ≀ Cpk−1 ≀ Cpk−2
then according to the inequality cw(Cpk ≀ Cpk−1 ≀ Cpk−2 ) ≤ max(1, cw(B)) from Lemma
5 we obtain cw(W ) = 1. Analogously if W = Cpk ≀ . . . ≀ Cp1 and supposition of induction
for Cpk ≀ . . . ≀ Cp2 holds then using that permutational wreath product is associative
construction we obtain from the inequality of Lemma 5 and cw(Cpk ≀ . . . ≀ Cp2 ) = 1 that
cw(W ) = 1.
Corollary 7. Commutator width cw(Sylp (Spk )) = 1 for prime p and k > 1 and commutator width cw(Sylp (Apk )) = 1 for prime p > 2 and k > 1.
k

Proof. Since Sylp (Spk ) ≃ ≀ Cp (see [11, 12] then cw(Sylp (Spk )) = 1. As well known in
i=1

case p > 2 Sylp Spk ≃ Sylp Apk (see [20], then cw(Sylp (Apk )) = 1.
Definition 1. Let us call the index of automorphism α on X l a number of active v.p.
of α on X l , denote it by Inl (α).
The following Lemma gives us a criteria when the element from the group Syl2 S2k
belong to (Syl2 S2k )′ .
Lemma 8. An element g ∈ Bk belongs to commutator subgroup Bk′ iff g has even index
on X l for all 0 ≤ l < k.
Proof. Let us prove the ampleness by induction by a number of level l and index of g
on X l . We ﬁrst show that our statement for base of the induction is true. Actually, if
9

α, β ∈ B0 then (αβα−1 )β −1 determine a trivial v.p. on X 0 . If α, β ∈ B1 and β has an
odd index on X 1 , then (αβα−1 ) and β −1 have the same index on X 1 . Consequently, in
this case an index of the product (αβα−1 )β −1 can be 0 or 2. Case where α, β ∈ B1 and
has even index on X 1 , needs no proof, because the product and the sum of even numbers
is an even number.
To ﬁnish the proof it suﬃces to assume that for Bl−1 statement holds and prove that
it holds for Bl . Let α, β are an arbitrary automorphisms from AutX [k] and β has index
x on X l , l < k, where 0 ≤ x ≤ 2l .A conjugation of an automorphism β by arbitrary
α ∈ AutX [k] gives us arbitrary permutations of X l where β has active v.p.
Thus following product (αβα−1 )β −1 admits all possible even indexes on X l , l < k
from 0 to 2x. In addition [α, β] can has arbitrary permitted assignment (arrangement) of
v.p. on X l . Let us present Bk as Bk = Bl ≀Bk−l , so elements α, β can be presented in form
of wreath recursion α = (h1 , ..., h2l )π1 , β = (f1 , ..., f2l )π2 , hi , fi ∈ Bk−l , 0 < i ≤ 2l and
hi , fj corresponds to sections of automorphism in vertices of X l of isomorphic subgroup
to Bl in AutX [k] . Actually, the parity of this index are formed independently of the
action of AutX [l] on X l . So this index forms as a result of multiplying of elements of
commutator presented as wreath recursion (αβα−1 )·β −1 = (h1 , ..., h2l )π1 ·(f1 , ..., f2l )π2 =
(h1 , ..., h2l )(fπ1 (1) , ..., fπ1 (2l ) )π1 π2 , where hi , fj ∈ Bk−l , l < k and besides automorphisms
corresponding to hi are x automorphisms which has active v.p. on X l . Analogous
automorphisms hi has number of active v.p. equal to x. As a result of multiplication we
have automorphism with index 2i : 0 ≤ 2i ≤ 2x. Consequently, commutator [α, β] has
arbitrary even indexes on X m , m < l and we showed by induction that it has even index
on X l .
Let us prove this Lemma by induction on level k. Let us to suppose that we prove
current Lemma (both suﬃciency and necessity) for k − 1. Then we rewrite element
g ∈ Bk with wreath recursion
g = (g1 , g2 )σ i ,
where i ∈ {0, 1}.
Now we consider suﬃciency.
Let g ∈ Bk and g has all even indexes on X j 0 ≤ j < k we need to show that g ∈ Bk′ .
According to condition of this Lemma g1 g2 has even indexes. An element g has form
′
because h ∈ Bk−1 and
g = (g1 , g2 ), where g1 , g2 ∈ Bk−1 , and products g1 g2 = h ∈ Bk−1

for Bk−1 induction assumption holds. Therefore all products of form g1 g2 indicated in
′
. Hence, from Lemma 1 follows that g = (g1 , g2 ) ∈ Bk′ .
formula 2 belongs to Bk−1
k−1 −1

An automorphisms group of the subgroup C22
10

is based on permutations of copies

k−1

k−1 −1

of C2 . Orders of ≀ C2 and C22

k−1

are equals. A homomorphism from ≀ C2 into

i=1

2k−1 −1

Aut(C2

i=1
k−1

2k−1 −1

) is injective because a kernel of action ≀ C2 on C2

is trivial, action

i=1

k

is eﬀective. The group Gk is a proper subgroup of index 2 in the group ≀ C2 [14,18,20].
i=1

The following theorem can be used for proving structural property of Sylow subgroups.
Theorem 9. A maximal 2-subgroup of AutX [k] acting by even permutations on X k
has the structure of the semidirect product Gk ≃ Bk−1 ⋉ Wk−1 and is isomorphic to
Syl2 A2k . Also Gk < Bk .
The prove of this theorem is in [18].
An even easier Proposition, that needs no proof, is the following.
k

Proposition 10. An element (g1 , g2 )σ i , i ∈ {0, 1} of wreath power ≀ C2 belongs to its
i=1

subgroup Gk , iff g1 g2 ∈ Gk−1 .
Proof. This fact follows from the structure of elements of Gk described Theorem 3 in and
the construction of wreath recursion. Indeed, due to structure of elements of Gk described
in Theorem , we have action on X k by an even permutations because subgroup Wk−1 ,
containing even number of transposition, acts on X k only by even permutation. The
condition g1 g2 ∈ Gk−1 is equivalent to index of g on X k−1 is even but this condition
equivalent to condition that g acting on X k by even permutation.
′
.
Lemma 11. An element (g1 , g2 )σ i ∈ G′k iff g1 , g2 ∈ Gk−1 and g1 g2 ∈ Bk−1

Proof. Indeed, if (g1 , g2 ) ∈ G′k then indexes of g1 and g2 on X k−1 are even according to
Lemma 18 thus, g1 , g2 ∈ Gk−1 . A sum of indexes of g1 and g2 on X l , l < k − 1 are even
′
according to Lemma 18 too, so index of product g1 g2 on X l is even. Thus, g1 g2 ∈ Bk−1
.

Hence, necessity is proved.
Let us prove the suﬃciency via Lemma 18. Wise versa, if g1 , g2 ∈ Gk−1 then indexes
of these automorphisms on X k−2 of subtrees v11 X [k−1] and v12 X [k−1] are even as elements
′
from G′k have. The product g1 g2 belongs to Bk−1
by condition of this Lemma so sum of

indexes of g1 , g2 on any level X l , 0 ≤ l < k −1 is even. Thus, the characteristic properties
of G′k described in Lemma 18 holds.
Proposition 12. The following inclusion Bk′ < Gk holds.
k−1
C2 = Bk−1 and as we deﬁne Gk ≃ Bk−1 ⋉Wk−1 so Bk′ < Gk .
Proof. Indeed, Bk′ = ≀i=1

11

k

Proposition 13. The group Gk is normal in wreath product ≀ C2 i.e. Gk ⊳ Bk .
i=1

Proof. The commutator of Bk is Bk′ < Bk−1 . In other hand Bk−1 < Gk because Gk ≃
Bk−1 ⋉ Wk−1 consequently Bk′ < Gk . Thus, Gk ⊳ Bk .
There exists a normal embedding (normal injective monomorphism) ϕ : Gk → Bk
[21] i.e. Gk ⊳ Bk . Actually, it implies from Proposition 13. Also according to [18] index
|Bk : Gk | = 2 so Gk is a normal subgroup that is a factor subgroup

Bk /
C2

≃ Gk .

Theorem 14. Elements of Bk′ have the following form Bk′ = {[f, l] | f ∈ Bk , l ∈ Gk } =
{[l, f ] | f ∈ Bk , l ∈ Gk }.
Proof. It is enough to show either Bk′ = {[f, l] | f ∈ Bk , l ∈ Gk } or Bk′ = {[l, f ] | f ∈
Bk , l ∈ Gk } because if f = [g, h] then f −1 = [h, g].
We prove the proposition by induction on k. B1′ = hei
We already know 2 that every element w ∈ Bk′ we can represent as
w = (r1 , r1−1 [f, g])
for some r1 , f ∈ Bk−1 and g ∈ Gk−1 (by induction hypothesis). By the Corollary 4 we
can represent w as commutator of
(e, a1,2 )σ ∈ Bk and (a2,1 , a2,2 ) ∈ Bk ,
where
−1

a2,1 = (f −1 )r1 ,
a2,2 = r1 a2,1 ,
−1

a1,2 = ga2,2 .
We note that as g ∈ Gk−1 then by proposition 10 we have (e, a1,2 )σ ∈ Gk .
Directly from this Proposition follows next Corollary, that needs no proof.
Remark 1. Let us to note that Theorem 14 improve Corollary 7 for the case p = 2.
k

Proposition 15. If g is an element of wreath power ≀ C2 ≃ Bk then g 2 ∈ Bk′ .
i=1

Proof. As it was proved in Lemma 8 commutator [α, β] from Bk has arbitrary even
indexes on X m , m < k. Let us show that elements of Bk2 have the same structure.
12

Let α, β ∈ Bk an indexes of the automorphisms α2 , (αβ)2 on X l , l < k − 1 are
always even. In more detail the indexes of α2 , (αβ)2 and α−2 on X l are determined
exceptionally by the parity of indexes of α and β on X l . Actually, the parity of this index
are formed independently of the action of AutX l on X l . So this index forms as a result
of multiplying of elements α ∈ Bk presented as wreath recursion α2 = (h1 , ..., h2l )π1 ·
(h1 , ..., h2l )π1 = (h1 , ..., h2l )(hπ1 (1) , ..., hπ1 (2l ) )π12 , where hi , hj ∈ Bk−l , π1 ∈ Bl , l < k and
besides automorphisms corresponding to hi are x automorphisms which has active v.p.
on X l . Analogous automorphisms hi has number of active v.p. equal to x. As a result
of multiplication we have automorphism with index 2i : 0 ≤ 2i ≤ 2x.
Since g2 admits only an even index on X l of AutX [k] , 0 < l < k, then g 2 ∈ Bk′
according to lemma 8 about structure of a commutator subgroup.
Since as well known a group G2k contains the subgroup G′ then a product G2 G′
contains all elements from the commutant. Therefore, we obtain that G2k ≃ G′k .
Proposition 16. For arbitrary g ∈ Gk following inclusion g 2 ∈ G′k holds.
Proof. Induction on k: for G21 elements has form ((e, e)σ)2 = e where σ = (1, 2) so
statement holds. In general case when k > 1 elements of Gk has form
g = (g1 , g2 )σ i , g1 ∈ Bk−1 , i ∈ 0.1
then we have two possibilities
g 2 = (g12 , g22 ) or g 2 = (g1 g2 , g2 g1 ).
We ﬁrst show that
′
′
, g22 ∈ Bk−1
g12 ∈ Bk−1

after we will prove
′
g1 g2 · g2 g1 ∈ Bk−1
,
′
′
and g12 , g22 ∈ Gk−1
then g12 g22 ∈ Bk−1
actually, according to Proposition 14 g12 , g22 ∈ Bk−1

by Proposition 12 also g12 , g22 ∈ Gk−1 by induction assumption. From Proposition 10 it
follows that g1 g2 ∈ Gk−1 .
′
< Bk−2 . In other hand Bk−2 < Gk−1 because Gk−1 ≃ Bk−2 ⋉ Wk−2
Note that Bk−1
′
′
hence g12 ∈ Gk−1 .
< Gk−1 . Besides we have g12 ∈ Bk−1
consequently Bk−1

Thus, we can use Lemma 11 (about G′k ) from which yields g 2 = (g12 , g22 ) ∈ G′k .

13

Consider second case g 2 = (g1 g2 , g2 g1 )
g1 g2 ∈ Gk−1 by proposition 10
g2 g1 = g1 g2 g2−1 g1−1 g2 g1 = g1 g2 [g2−1 , g1−1 ] ∈ Gk−1 by propositions 12 and 10
′
g1 g2 · g2 g1 = g1 g22 g1 = g12 g22 [g2−2 , g1−1 ] ∈ Bk−1
′
according to Proposition 15 this is a reason why g12 g22 [g2−2 , g1−1 ] ∈
Note that g12 , g22 ∈ Bk−1
′
. Thus, (g1 g2 , g1 g2 ) ∈ G′k by Lemma 11.
Bk−1

Let X1 = {vk−1,1 , vk−1,2 , ..., vk−1,2k−2 } and X2 = {vk−1,2k−2 +1 , ..., vk−1,2k−1 }.
We will call a distance structure ρl (θ) of θ a tuple of distances between its active
vertices from X l . Let group Syl2 A2k acts on X [k] .
Lemma 17. An element g belongs to G′k ≃ Syl2 A2k iff g is arbitrary element from Gk
which has all even indexes on X l , l < k − 1 of X [k] and on X k−2 of subtrees v11 X [k−1]
and v12 X [k−1] .
Proof. Let us prove the ampleness by induction on a number of level l and index of automorphism g on X l . Conjugation by automorphism α from Autv11 X [k−1] of automorphism
θ, that has index x : 1 ≤ x ≤ 2k−2 on X1 does not change x. Also automorphism θ −1 has
the same number x of v. p. on Xk−1 as θ has. If α from Autv11 X [k−1] and α ∈
/ AutX [k]
then conjugation (αθα−1 ) permutes vertices only inside X1 (X2 ).
Thus, αθα−1 and θ have the same parities of number of active v.p. on X1 (X2 ).
Hence, a product αθα−1 θ −1 has an even number of active v.p. on X1 (X2 ) in this case.
More over a coordinate-wise sum by mod2 of active v. p. from (αθα−1 ) and θ −1 on X1
(X2 ) is even and equal to y : 0 ≤ y ≤ 2x.
If conjugation by α permutes sets X1 and X2 then there are coordinate-wise sums of
no trivial v.p. from αθα−1 θ −1 on X1 (analogously on X2 ) have form:
(sk−1,1 (αθα−1 ), ..., sk−1,2k−2 (αθα−1 )) ⊕ (sk−1,1 (θ −1 ), ..., sk−1,2k−2 (θ −1 )). This sum has
even number of v.p. on X1 and X2 because (αθα−1 ) and θ −1 have a same parity of no
trivial v.p. on X1 (X2 ). Hence, (αθα−1 )θ −1 has even number of v.p. on X1 as well as
on X2 .
An automorphism θ from Gk was arbitrary so number of active v.p. x on X1 is
arbitrary 0 ≤ x ≤ 2l . And α is arbitrary from AutX [k−1] so vertices can be permuted in
such way that the commutator [α, θ] has arbitrary even number y of active v.p. on X1 ,
0 ≤ y ≤ 2x.
A conjugation of an automorphism θ having index x, 1 ≤ x ≤ 2l on X l by diﬀerent
α ∈ AutX [k] gives us all tuples of active v.p. with the same ρl (θ) that θ has on X l , by
14

which AutX [k] acts on X l . Let supposition of induction for element g with index 2k − 2
on X l holds so g = (αθα−1 )θ −1 , where Inl (θ) = x. To make a induction step we complete
θ by such active vertex vl,x too it has suitable distance structure for g = (αθα−1 )θ −1 ,
also if g has rather diﬀerent distance structure dl (g) from dl (θ) then have to change θ.
In case when we complete θ by vl,x it has too satisfy a condition (αθα−1 )(vx+1 ) = vl,y ,
where vl,y is a new active vertex of g on X l . Note that v(x + 1) always can be chosen
such that acts in such way α(v(x + 1)) = v(2k + 2) because action of α is 1-transitive.
Second vertex arise when we multiply (αθα−1 ) on θ −1 . Hence Inl (αθα−1 ) = 2k + 2 and
coordinates of new vertices v2k+1 , v2k+2 are arbitrary from 1 to 2l .
So multiplication (αθα−1 )θ generates a commutator having index y equal to coordinatewise sum by mod2 of no trivial v.p. from vectors (sl1 (αθα−1 ), sl2 (αθα−1 ), ..., sl2l (αθα−1 ))⊕
(sl1 (θ), sl2 (θ), ..., sl2l (θ)) on X l . A indexes parities of αθα−1 and θ −1 are same so their
sum by mod2 are even. Choosing θ we can choose an arbitrary index x of θ also we can
choose arbitrary α to make a permutation of active v.p. on X l . Thus, we obtain an
element with arbitrary even index on X l and arbitrary location of active v.p. on X l .
Check that property of number parity of v.p. on X1 and on X2 is closed with respect
to conjugation. We know that numbers of active v. p. on X1 as well as on X2 have
the same parities. So action by conjugation only can permutes it, hence, we again get
the same structure of element. Conjugation by automorphism α from Autv11 X [k−1]
automorphism θ, that has odd number of active v. p. on X1 does not change its parity.
Choosing the θ we can choose arbitrary index x of θ on X k−1 and number of active v.p.
on X1 and X2 also we can choose arbitrary α to make a permutation active v.p. on X1
and X2 . Thus, we can generate all possible elements from a commutant. Also this result
follows from Lemmas 11 and 8.
Let us check that the set of all commutators K from Syl2 A2k is closed with respect to
multiplication of commutators. Let κ1 , κ2 ∈ K then κ1 κ2 has an even index on X l , l <
k−1 because coordinate-wise sum (sl,1 (κ1 ), ..., sk−1,2l (κ1 ))⊕(sl,κ1(1) (κ2 ), ..., sl,κ1 (2l ) (κ2 )).
of two 2l -tuples of v.p. with an even number of no trivial coordinate has even number of
such coordinate. Note that conjugation of κ can permute sets X1 and X2 so parities of
x1 and X2 coincide. It is obviously index of ακα−1 is even as well as index of κ.
Check that a set K is a set closed with respect to conjugation.
Let κ ∈ K, then ακα−1 also belongs to K, it is so because conjugation does not
change index of an automorphism on a level. Conjugation only permutes vertices on
level because elements of AutX [l−1] acts on vertices of X l . But as it was proved above
elements of K have all possible indexes on X l , so as a result of conjugation ακα−1 we
obtain an element from K.
15

Check that the set of commutators is closed with respect to multiplication of commutators. Let κ1 , κ2 be an arbitrary commutators of Gk . The parity of the number of
vertex permutations on X l in the product κ1 κ2 is determined exceptionally by the parity
of the numbers of active v.p. on X l in κ1 and κ2 (independently from the action of v.p.
from the higher levels). Thus κ1 κ2 has an even index on X l .
Hence, normal closure of the set K coincides with K.
Lemma 18. An element g = (g1 , g2 )σ i of Gk , i ∈ {0, 1} belongs to G′k iff g has even
index on X l for all l < k − 1 and elements g1 , g2 have even indexes on X k−1 , that is
equally matched to g1 , g2 ∈ Gk−1 .
Proof. The proof implies from Lemma 18 and Lemma 11.
Using this structural property of (Syl2 A2k )′ we deduce a following result.
Theorem 19. Commutator subgroup G′k coincides with set of all commutators, put it
differently G′k = {[f1 , f2 ] | f1 ∈ Gk , f2 ∈ Gk }.
Proof. For the case k = 1 we have G′1 = hei. So, further we consider case k ≥ 2. In
order to prove this Theorem we ﬁx arbitrary element w ∈ G′k and then we represent this
element as commutator of elements from Gk .
We already know by Lemma 11 that every element w ∈ G′k we can represent as follow
w = (r1 , r1−1 x),
′
where r1 ∈ Gk−1 and x ∈ Bk−1
. By proposition 14 we have x = [f, g] for some f ∈ Bk−1

and g ∈ Gk−1 . Therefore
w = (r1 , r1−1 [f, g]).
By the Corollary 4 we can represent w as commutator of
(e, a1,2 )σ ∈ Bk and (a2,1 , a2,2 ) ∈ Bk ,
where
−1

a2,1 = (f −1 )r1 ,
a2,2 = r1 a2,1 ,
−1

a1,2 = ga2,2 .
16

It is only left to show that (e, a1,2 )σ, (a2,1 , a2,2 ) ∈ Gk .
In order to use Proposition 10 we note that
−1

a1,2 = ga2,2 ∈ Gk−1 by Proposition 13.
a2,1 a2,2 = a2,1 r1 a2,1 = r1 [r1 , a2,1 ]a22,1 ∈ Gk−1 by Proposition 12 and Proposition 15.
So we have (e, a1,2 )σ ∈ Gk and (a2,1 , a2,2 ) ∈ Gk .
Corollary 20. Commutator width of the group Syl2 A2k equal to 1 for k ≥ 2.
Theorem 21. The centralizer of Syl2 S2ki [11, 14] with ki > 2, in Syl2 Sn is isomorphic
to

Syl2 An /
Syl2 S2ki

× Z(Syl2 S2ki ).

ki −1
Proof. Actually, the action of active group A ≃ ≀i=1
C2 of Syl2 S2ki on X k−1 is transitive
k
i
since the orbit of A on X k−1 is one. Then Z(≀j=1
C2 ) ≃ C2 results by formula from

Corollary 4.4 [3].
For any no trivial automorphism α from AutX [ki ] ≃ Syl2 S2ki there exists a vertex
vjm , where v.p. from α is active. Thus, there exists graph path r connecting the root
v0 with a vertex of X ki and pathing through the vjm . We can choose vertex vli on
r such that l 6= j. So there exists β ∈ AutX [ki ] that has active v.p. in vli . Then
we have αβ 6= βα. The center of AutX [ki ] is isomorphic to C2 . As a result we have
CAutSn (Syl2 S2ki ) ≃ Syl2 Sn /Syl2 S

2ki

× Z(Syl2 S2ki ).

Let us present new operation ⊠ (similar to that is in [20]) as an even subdirect product
of SylS2i , n = 2k0 + 2k1 + ... + 2km , 0 ≤ k0 < k1 < ... < km .
Theorem 22. The centralizer of Syl2 A2ki with ki > 2, in Syl2 An is isomorphic to
Syl2 S2k0 ⊠ ... ⊠ Syl2 S2ki−1 ⊠ Syl2 S2ki+1 ⊠ ... ⊠ Syl2 S2km ⊠ Z(Syl2 S2ki ).
Proof. We consider Gk as a normal subgroup of ≀kj=1 C2 . Actually, the action of subgroup
A = Bki −1 of Gki ≃ Syl2 A2ki on X k−1 is transitive since the orbit of A on X k−1 is one.
There exists a vertex vjm for any no trivial automorphism α from Gki ≃ Syl2 A2ki ,
where v.p. from α is active. Thus there exists graph path r connecting the root v0 with
a vertex of X ki and pathing through the vjm . We can choose vertex vli on r such that
l 6= j. So there exists β ∈ AutX [ki ] that has active v.p. in vli . Then we have αβ 6= βα.
Since Syl2 A2k ≃ AutX [k] , consequently the center of Syl2 A2ki is isomorphic to C2 . As
a result we have CAutAn (Syl2 S2ki ) ≃ Syl2 S2k0 ⊠ ... ⊠ Syl2 S2ki−1 ⊠ Syl2 S2ki+1 ⊠ ... ⊠
Syl2 S2km ⊠ Z(A2ki ).

17

Also we note that derived length of Syl2 Ak2 is not always equal to k as it was said in
Lemma 3 of [20] because in case A2k if k = 2 its Syl2 A4 ≃ K4 but K4 is abelian group
so its derived length is 1.

4

Conclusion
The commutator width of Sylow 2-subgroups of alternating group A2k , permutation

group S2k and Sylow p-subgroups of Syl2 Akp (Syl2 Spk ) is equal to 1. Commutator width
of permutational wreath product B ≀ Cn , were B is arbitrary group, was researched.

References
[1] Alexey Muranov, Finitely generated inﬁnite simple groups of inﬁnite commutator
width. arXiv:math/0608688v4 [] 12 Sep 2009.
[2] V. Nekrashevych, Self-similar groups. International University Bremen. American
Mathematical Society. 2005. Monographs, Vol. 117, 230 p.
[3] J.D.P. Meldrum, Wreath Products of Groups and Semigroups. Pitman Monographs
and Surveys in Pure and Applied Mathematic English. 1st Edition. Jun (1995). 425
p.
[4] Nikolay Nikolov, On the commutator width of perfect groups. Bull. London Math.
Soc. 36 (2004) p. 30–36.
[5] W. B. Fite, On metabelian groups, Trans. Amer. Math. Soc, 3 (1902), pp. 331-353.
[6] Roger C. Lyndon Paul E. Schupp, Combinatorial group theory. Springer-Verlag Berlin
Heidelberg New York 1977. 447 p.
[7] Nekrashevych V. Self-similar groups. International University Bremen. American
Mathematical Society. Monographs. Volume 117. 230 p.
[8] I.V. Bondarenko, I.O. Samoilovych, On ﬁnite generation of self-similar groups of ﬁnite
type. Int. J. Algebra Comput. February (2013), Volume 23, Issue 01, pp. 69-77
[9] R.I. Grigorchuk, Solved and unsolved problems around one group. Inﬁnite Groups:
Geometric, Combinatorial and Dynamical Aspects. Вasel, (2005). Progress Math.,
vol 248. pp. 117-218.

18

[10] V. V. Sharko, Smooth topological equivalence of functions of surfaces. Ukrainian
Mathematical Journal, May (2003), Volume 55, Issue 5, pp. 832–846.
[11] L. Kaloujnine, "La structure des p-groupes de Sylow des groupes symetriques ﬁnis",
Annales Scientiﬁques de l’Ecole Normale Superieure. Troisieme Serie 65, (1948) pp.
239–276.
[12] B. Pawlik, The action of Sylow 2-subgroups of symmetric groups on the set of
bases and the problem of isomorphism of their Cayley graphs. Algebra and Discrete
Mathematics. (2016), Vol. 21, N. 2, pp. 264-281.
[13] R. Skuratovskii, "Corepresentation of a Sylow p-subgroup of a group Sn". Cybernetics and systems analysis, (2009), N. 1, pp. 27-41.
[14] R. Skuratovskii. Generators and relations for sylows р-subgroup of group Sn . Naukovi
Visti KPI. 4 (2013), pp. 94–105. (in Ukrainian)
[15] R.V. Skuratovskii, Y.A. Drozd, Generators and and relations for wreath products
of groups. Ukr Math J. (2008), vol. 60. Issue 7, pp. 1168–1171.
[16] R. V. Skuratovskii, Minimal generating systems and properties of Syl2 A2k and
Syl2 An . X International Algebraic Conference in Odessa dedicated to the 70th anniversary of Yu. A. Drozd. (2015), pp. 104.
[17] R.

V.

Syl2 A2k

Skuratovskii,
and

Syl2 An .

Minimal

generating

International

School on Graphs and Groups,

systems

Conference

and

and

structure

PhD-Master

Spectra and Symmetries. (2016),

of

Summer
source:

http://math.nsc.ru/conference/g2/g2s2/exptext/Skuratovskii-abstract-G2S2+.pdf.
[18] R. V. Skuratovskii, Structure and minimal generating sets of Sylow 2-subgroups of
alternating groups. Source: https://arxiv.org/abs/1702.05784v2
[19] R. V. Skuratovskii, Structure of commutant and centralizer, minimal generating
sets of. Sylow 2-subgroups Syl2 An of alternating and symmetric groups. International conference in Ukraine, ATA12. (2017). https://www.imath.kiev.ua/ topology/.../skuratovskiy.pdf
[20] U. Dmitruk, V. Suschansky, Structure of 2-sylow subgroup of alternating group and
normalizers of symmetric and alternating group. UMJ. (1981), N. 3, pp. 304-312.
[21] H. Heineken Normal embeddings of p-groups into p-groups. Proc. Edinburgh Math.
Soc. 35 (1992), pp. 309-314.
19

