Download PDF only - at www.arxiv.org.

Subnormal subgroups of groups and ideals of
group rings.
Scherback Denis
Abstract.It is known that the group of Hamiltonian quaternions
is not abelian. This article aims to show that all
subgroups of
are abelian and group rings Z 2 [ ] and Z3 [ ] are not fields. And also finding all the ideals of group
rings
Z 2 [ ] and Z3 [
].
Definition: If the ring K is finite-dimensional vector space over a field P and satisfying the
condition of associativity
(αu )v = u (αv) = α (uv) , α ∈ Р
then it is called associative algebra over the field P .
If we exclude the condition of associativity we get the general concept of (linear) algebra.
Suppose K a 4-dimensional vector space with basis elements e, i , j , k
We define equality
i 2 = −eα , j = −eβ
where α , β is an arbitrary elements from P .
The resulting algebra K is called associative algebra of quaternions, its components look like
x = ex0 + ix1+ jx2 + kx3
If α = β = 1 , then we obtain the Hamiltonian quaternions.
Check associativity of the algebra of quaternions.
To do this, check the 27 equations of the form a (bc ) = (ab)c . We can avoid this by setting the
isomorphism of the algebra of quaternions over the field R and an algebra of matrices of special form
over ℂ .
Namely:
1 0
i 0 
 ,

i ↔ I = 
e ↔ E = 
0 1
0 − i
 0 1
0 i 
 , k ↔ K = 

j ↔ J = 
 −1 0
 i 0
Equality I 2 = J 2 = K 2 = − E , IJ = − JI = K , JK = − KJ = I , KI = − IK = J , it is easy to verify.
This means that the space of matrices formed by the matrices E , I , J , K forms an algebra which is
isomorphic to the algebra of quaternions. From the associativity of matrix multiplication we conclude
about the associativity of the algebra of quaternions.
Properties of group of Hamiltonian quaternions
Consider the group of Hamiltonian quaternions
= {e,−e, i,−i, j ,− j , k ,−k }
it is an Abelian group by virtue of a prescribed multiplication of the elements i , j , k .
Consider the subgroup
{e}
{e,-e}
{e, e, i,−i}
{e, e, j,− j}
{e, e, k ,−k }
Denote
Ae = {e, - e}
Ai = {e, - e, i, - i}
A j = {e, - e, j , - j}
Ak = {e, - e, k , − k }
Statement 1: All subgroups of
Really
{e} =< e >
{e, - e} =< −e >
are abelian.
{e,
{e,
{e,
e, i, - i} =< −i >
− e, j , − j} =< − j >
− e, k , − k } =< −k >
All subgroups of
are cyclic, and hence abelian.
Also Ae = {e, − e} is the center of the group .
Statement 2: The group of
is nilpotent.
Definition: Suppose that the group G has an invariant series
E = A0 ⊂ A1 ⊂ A2 ⊂ ... ⊂ An = G
This series is called a central series, if t = 0,1,..., n − 1 the factor group At +1 / At is in the center
factor groups, in other words, if the mutual commutator
[At +1 G ] ⊂ At ,
t = 0, 1,..., n − 1
We prove that the series ≥ Ai ≥ Ae ≥ {e} is central.
Consider [ Ae ]
Let
a ∈ Ae
h∈
a _ 1 h _ 1 ah = a _ 1 ah _ 1h = e ∀ a ∈ Ae , h ∈
so [ Ae ] ∈ {e} .
Next, we consider [ Ai ] .
1) If a ∈ Ae or h ∈ Ae then
[ah] = e
2) a ∉ Ae и h ∉ Ae
so [ Ai ] ⊂ {e} .
Analogously for [
a _ 1 h _ 1 ah = a _ 1ah _ 1 h = −e
] we can prove that [
Thus we have proved that the series
] ⊂ Ae ⊂ Ai .
≥ Ai ≥ Ae ≥ {e} is central.
So
is nilpotent group.
Definition: The finite normal or invariant series of the group is called solvable series if all its
factors are abelian.
The group G is called solvable if it satisfies any of the next conndition:
1) The group G has a finite solvable normal series.
2) The group G has a finite solvable invariant series.
3) Decreasing chain of the commutators of the group are cut off on the single subgroup in finite
number of steps.
Statement 3: The group
is solvable.
We prove that all the factors of the series ≥ Ai ≥ Ae ≥ {e} are Abelian.
Consider the factor group / Ai .
By Lagrange's theorem
| |=| : Ai | Ai then
| : Ai | = 2 ie
/ Ai is cyclic, and hence abelian.
Analogous, Ae : Ai = 2 it is Ae / Ai is also an abelian group.
This means that
≥ Ai ≥ Ae ≥ {e} is a solvable series.
Therefore
solvable group.
Since [
] = Ae then
the group is metabelian.
Statement 4: A group G is metabelian if and only if its factor group by the center is also abelian.
We will prove this.
Let h1, h2 ∈
h1 h 2 h1h2 ∈ Ae
_1
_1
h1 h 2 ∈ h2 h1 Ae
but
h1 h 2 ⊂ h1 h2 Ae
then
h1h2 Ae = h2 h1 Ae
so / Ai too is abelian.
The proof it is in the opposite direction we obtain the converse.
are abelian groups then all the factor groups by the center are
Since all the subgroups of group
also abelian groups.
In the end we got:
The group
is not abelian, but all its subgroups are abelian groups.
All proper factor groups / Ae , / Ai are abelian groups too.
All the factors Ai / Ae ; Ai /{e}; Ae /{e} are also abelian groups.
All proved properties are true for groups A j , Ak .
_1
_1
Definition: Let G a group under the operation of multiplication and is an arbitrary associative
ring with unit 1.
Consider a set K [G ] consisting of all formal sums
∑α
g∈G
g
g , αg ∈ K
in which only a finite number of coefficients different from zero.
Formal sums ∑ α g g and ∑ β g g (α g , β g ∈ K ) are equal if and only if.
g∈G
g∈G
If x =
∑α
g∈G
x+ y =
g
∑ (α
g∈G
and y =
g
∑β
g∈G
g
g
+ β g )g ,
g is elements of the set K [G ] , then
xy =
∑ (∑α
g∈G h∈G
g
ε = 1K eG
β h g )g ,
_1
It is easy to see that a set K [G ] of respect to these operations is an associative ring with 1.
This ring is called a group ring of the group G over the ring K .
Ideals of group ring Z2 [ ]
Consider the ideals of ring Z 2 [ ].
It is immediately verified that ∀ a, b ∈
next conditions are executed:
a4 = b4 = 1
a2 = b2
(1)
aba = b
Let a := i , b := j
Then
e = a0
− e = a2
i=a
− i = a3
j=b
k = ab
− j=a b
− k = a 3b
over the ring Z 2 , Z 2 [ ] is consists of elements of the form
2
The group ring
α 00 e + α 10 i + α 20 (−e) + α 30 (−i ) + α 01 j + α 11 k + α 21 (− j ) + α 31 (− k )
or if you use the notation
3
i
α 00 a 0 + α 10 a 1 + α 20 a 2 + α 30 a 3 + α 01b + α 11 ab + α 21 a 2 b + α 31 a 3b = ∑ ∑ α ij a i b j
i =0 j =0
This ring is not a field because it has zero divisors.
For example:
(e + a 2 ) = e + e = 0
We find the invertible elements.
3
i
Statement 5: Let x = ∑ ∑ α ij a i b j , x ∈
i =0 j =0
Then, if
3
i
1) ∑ ∑ α ij a i b j = 1
i =0 j = 0
Z2
in
Then element x is reversible.
3
i
2) ∑ ∑ α ij a i b j = 0
i = 0 j =0
Z2
in
Then element x is a zero divisor.
From (1) and the fact α ij ∈ Z 2 we get
3
i
3
i
3
i
( ∑ ∑ α ij a i b j ) 4 = ∑ ∑ α ij (a i ) 4 (b j ) 4 = ∑ ∑ α ij
i = 0 j =0
i = 0 j =0
i = 0 j =0
Hence we get that every element of Z 2 [ ] in fourth degree is the sum of the coefficients α ij .
That is, if the sequence (α 00 , α10 ,..., α 31 ) is an odd number of coefficients is different from
0
Z2
,
then the corresponding element from Z 2 [ ] in the fourth degree is 1 e that is reversible.
Z2
And if even number of coefficients α ij = 0Z2 , then the element x is a divisor of zero.
Lemma 1:
Let G is a group,
H is subgroup of group G ,
K is an arbitrary associative ring with 1.
The set of elements
L = {u (h − 1) | u ∈ Rl (G / H ), 1 ≠ h ∈ H }
of group ring K [G ] , is linearly independent over K and forms a K -basis of module I l ( H ) ,
where Rl (G / H ) is a complete system of representatives of left cosets of group G by subgroup
H so that
G=
∪ uH
u ∈ Rl ( G / h )
I l ( H ) a set of elements of the group ring K [G ] , which can be written as
∑ xh (h − 1),
h∈H
x h ∈ K [G ] .
I l ( H ) a left ideal of the ring K [G ] and it is generated as a left ideal by elements
h − 1, h ∈ H .
Proof:
If the elements of the set L are linearly dependent over K then in the L there is a minimal
system of linearly independent elements
u1 (h1 − 1), u 2 (h2 − 1),......, u s (hs − 1)
Such that the relation
λ1u1 (h1 − 1) + λ2 u 2 (h2 − 1) + ... + λ s u s (hs − 1) = 0
(2)
where λ1 , λ 2 ,...λ s ∈ K and λi ≠ 0 , u i (hi − 1) ∈ u i H .
Since different cosets of subgroup H have no common elements, then (2) is possible when
u1 = u2 = ... = us .
Then the elements h1 , h2 ,..., hs are different. From (2)
s
λ1 h1 + λ 2 h2 + ... + λ s hs = ∑ λi .
i =1
Which contradicts the linear independence h1 , h2 ,..., hs ,1 .
Consequently, the elements from L are linearly independent.
Let
g ∈ G, h ∈ H и g = uh1 (u ∈ Rl (G / H ); h1 ( H )
then
g (h − 1) = uh1 (h − 1) = uh1 h − uh1 + u − u = u (h1h − 1) − u (h1 − 1)
Hence the elements from L form K -basis of I l ( H ) .
Proposal:
If a subgroup H is normal then I l ( H ) is a bilateral ideal.
Proof:
If H is a normal in G , then g _1hg ∈ H ∀g ∈ G , h ∈ H
By virtue of
(h − 1) g = g ( g _ 1hg − 1)
g _ 1 hg −1 ∈ H
I l ( H ) is a bilateral ideal.
Since all subgroups of group
are normal
{e, a, a 2 , a 3}
⊳ {e, a , b, a b} ⊳ {e, a }
2
2
2
{e, a 2 , ab, a 3b}
Then using Lemma 1, we get some ideals of the group ring Z 2 [ ].
1) In the case a normal subgroup H take the whole group . Then the basic elements for
bilateral ideal I ( ) would be the following:
(e + a )
(e + b )
(e + a 3b)
(e + a 2 )
(e + ab)
(e + a )
(e + a 2 b )
3
that is
I ( )= {λ1 ( e + a ) + λ2 (e + a 2 ) + λ3 (e + a 3 ) + λ4 (e + b ) + + λ5 (e + ab ) + λ6 (e + a 2b ) + λ7 (e + a 3b )}
where λ1 , λ2 ,..., λ7 ∈ Z 2
2) Consider the ideals of the relevant subgroups < a >; < b >; < ab >
I (< a >) = {λ1 (e + a ) + λ 2 (e + a 2 ) + λ3 (e + a 3 ) + λ 4 (e + a )b + + λ5 (e + a 2 )b + λ7 (e + a ) 3 b}
That is, H =< a > , Rr (
/ < a >) = {e; b}, λi ∈ Z 2
Analogously we consider the ideals
I ( < b >) ,
H =< b > , Rr ( / < b >) = {e; a}, λi ∈ Z 2
I (< ab >)
H =< ab > , Rr ( / < ab >) = {e; a}, λi ∈ Z 2
3) H = {e; a 2 }
Then Rr { / < a 2 >} = {e; a; b; ab},
I (< a 2 >) = {λ1 (e + a 2 ) + λ2 (e + a 2 )b + λ3 (e + a 3 )ab + λ4 (e + a 2 )a}
Consider the other ideals of the group ring Z 2 [
The smallest ideal in the Z 2 [
λi ∈ Z 2
].
] is the ideal which consist of two elements
{e + a + a 2 + a 3 + b + ab + a 2b + a 3b;−0}
It is immediately verified that the set
{λ1 (e + a + a 2 + a 3 ) + λ 2 (b + ab + a 2 b + a 3b)} = I a
is an ideal, or
I a = {λ1 (e + a ) 3 + λ 2 (e + a ) 3 b}
Analogously we consider the sets
λi ∈ Z 2
λi ∈ Z 2
I b = {λ1 (e + b) 3 + λ 2 (e + b) 3 a}
λi ∈ Z 2
and
I ab = {λ1 (e + ab) 3 + λ 2 (e + ab) 3 a}
λi ∈ Z 2
are ideals.
Combining bases of ideals
I a and I b {(e + a )3 ; (e + a )3 b;(e + b)3 ; (e + b)3 a} and deleting linearly dependent elements we
obtain a basis of the ideal which contains both I a and I b .
(e + a ) 3 + (e + a ) 3 b = (e + b ) 3 + ( e + b ) 3 a ,
then the elements (e + a )3 ;(e + a )3 b;(e + b)3 will be basis of ideal I
.
a ⊕b
I
= {λ1 (e + a)3 + λ2 (e + a)3 b + λ3 (e + b)3 , λi ∈ Z 2 }
a ⊕b
.
In the same way we obtain the ideal I
;I
a ⊕ ab b ⊕ ab
However I
=I
=I
.
a ⊕b
a ⊕ ab
b ⊕ab
It is immediately verified that the sets:
1) {(e + a )(e + a ); (e + a ) 2 a; (e + b) 2 b; (e + b) 2 ab}
2) {(e + a )(e + b); (e + a )(e + b)a; (e + a )(e + b)b; (e + a )(e + b)ab}
3) {(e + a )(e + ab); (e + a )(e + ab)a; (e + a )(e + ab)b; (e + a )(e + ab)ab}
are bases for the ideals that contain ideal I
.
a ⊕b
We introduce the notation. Ideal corresponding to the set 1 denoted by a M a
respectively 2 - M b
3 - Mb .
Again, combining bases of ideals M a and M b and deleting linearly dependent elements we
obtain a new basis
{(e + a ) 2 ; (e + a ) 2 a; (e + b) 2 b; (e + b) 2 ab; (e + a )(e + b)}
Ideal corresponding to this basis is denoted M
.
a ⊕b
Analogously, combining bases of ideals M a and M ab , M b and M ab and deleting linearly
dependent elements, we obtain the ideals M a ⊕ab and M b ⊕ab respectively.
But
M a ⊕b = M a ⊕ab = M b ⊕ab
Thus, using Lemma 1 and a direct check we got all the ideals Z 2 [
]
Z2 [ ]
I (| H |) = {λ1 (e + a ) + λ2 (e + a 2 ) + λ3 (e + a 3 ) + λ4 (e + b) + + λ5 (e + ab) + λ6 (e + a 2 b) + λ7 (e + a 3b)}
I (< a > )
I ( < b >)
I (< ab >)
M a ( + )b = M a ( + ) ab = M b( + ) ab
M a = I (< a 2 > )
Mb
M ab
I a ( + )b = I a ( + ) ab = I b( + ) ab
Ia
Ib
{e + a + a 2 + a 3 + b + ab + a 2b + a3b;−0}
I ab
over the ring Z3 , Z3 [ ] which are consists of elements of the form
Consider the group ring
α 00 e + α 10 i + α 20 (−e) + α 30 (−i ) + α 01 j + α 11 k + α 21 (− j ) + α 31 (−k )
α ij ∈ Z3 , i = 0,..,3, j = 0,1
Statement 6:
Suppose G is a finite group, F is a field, A is FG -module and B is FG -submodule. If
charF = 0 or charF ∉ Π (G ) then there is a FG -submodule C such that A = B ⊕ C .
Consequence:
A is FG -module, G is a finite group, F is a field.
If charF = 0 or charF ∉ Π (G ) then A = C A (G ) ⊕ A(ω FG )
Ideals of group ring Z3 [ ].
Consider the ideals of ring Z3 [
The group ring Z3 [
].
] satisfy the conditions of Statement 6. Then decompose Z3 [
] into the
direct sum of simple ideals, we get the ideals of the group ring Z3 [ ].
By Lemma 1, the ideal of a group ring is set generated by elements
h − e, h ∈ H , h ≠ e
Thus, the basis an ideal are elements:
2e + a
2e + b
2e + a 2
2e + ab
2e + a
3
2e + a 3b
2e + a 2b
Ie
I(
) = {λ1 (2e + a ) + λ2 (2e + a 2 ) + λ3 (2e + a 3 ) + λ4 (2e + b) +
+ λ5 (2e + ab) + λ6 (2e + a 2 b) + λ7 (2e + a 3b)}
λ1 , λ2 ,..., λ7 ∈ Z3
By Statement 6 exists a submodule C such that:
Z3 [ ]= I ( ) ⊕C
In order to satisfy the condition I ( ) ∩C = ∅ necessary the bases of ideals I (
linearly independent.
As C we can choose the set
{λ (e + a + a 2 + a 3 + b + ab + a 2b + a 3b) : λ ∈ Z3 }
C is an ideal in Z3 [
Really
) and C are
].
(λ (e + a + a 2 + a 3 + b + ab + a 2b + a 3b)) 2 =
= 2λ2 (e + a + a 2 + a 3 + b + ab + a 2 b + a 3b) ∈ C
Let
λ (e + a + a 2 + a3 + b + ab + a 2b + a3b)h = λ (e + a + a 2 + a3 + b + ab + a 2b + a3b)
Thus C is an ideal.
We will prove that I ( ) ∩C = ∅ .
Suppose the bases of I ( ) and C are linearly dependent, then
λ (e + a + a 2 + a3 + b + ab + a 2b + a3b)h =
α1 (2e + a) + α 2 (2e + a 2 ) + α 3 (2e + a3 ) + α 4 (2e + b) + α 5 (2e + ab) + α 6 (2e + a 2b) + α 7 (2e + a 3b)
α1 = λ
α = λ
 2
α 3 = λ

α 4 = λ

α 5 = λ
α 6 = λ

α 7 = λ
2(α + α + ... + α ) = λ
2
7
 1
such system has no solution in Z3 . That is
I ( ) ∩C = ∅
Again I ( ) satisfies the conditions of Statement 6, then I (
direct sum of submodules.
The set generated by the basis
2e + a
2e + ab
2e + a 2
2e + a 2b
2e + a 3
2e + a 3b
) can be decomposed into a
I (< a >) = {λ1 (2e + a ) + λ2 (2e + a 2 ) + λ3 (2e + a 3 ) + λ4 (2e + a )b + λ5 (2e + a 2 )b + λ7 (2e + a )3 b}
λ1 , λ2 ,..., λ7 ∈ Z3
is an ideal of I (
Let
). That is I (
)= I (< a >) ⊕ B .
B = {λ (e + a + a 2 + a 3 + 2b + 2ab + 2a 2b + 2a 3b), λ ∈ Z3 }
It is immediately verified that B is an ideal I ( ) and that I ( ) ∩ B = ∅ .
That is Z3 [ ] can be decomposed as follows:
Z3 [ ]= C ⊕ B ⊕ I (< a >)
Again using Lemma 1 we obtain that the set
I (< a 2 >) = {λ1(2e + a 2 ) + λ2 (2a + a 3 ) + λ3 (2b + a 2b) + λ4 (2ab + a 3b), λi ∈ Z3 }
is an ideal in I (< a >) .
that is
I (< a > ) = I ( < a 2 > ) ⊕ D
in case D we are selected set
D = {λ1 (e + 2a + a 2 + 2a 3 ) + λ2 (b + 2ab + a 2b + 2a 3b), λi ∈ Z3 }
Analogously we can verify that D is an ideal in I (< a >) and that I (< a 2 >) ∩ D = ∅ .
In his turn D decomposes into a direct sum of ideals
D = F ⊕G
where
F = {λ (e + 2a + a 2 + 2a 3 + b + 2ab + a 2b + 2a 3b), λ ∈ Z 3 }
G = {λ (e + 2a + a 2 + 2a 3 + 2b + ab + 2a 2b + a 3b), λ ∈ Z3 }
Thus we have that:
Z3 [
] = C ⊕ B ⊕ F ⊕ G ⊕ I ( < a 2 >)
Statement 7:
The set I (< a 2 >) generated by the basis
2e + a 2
2e + a 2b
2e + a 3
2e + a 3b
contains no ideals.
To prove this, we use the Consequence of Statement 6.
2
The set I (< a >) satisfies the Consequence. Then
I (< a 2 > ) = C
(<
I (< a 2 >)
a 2 >) ⊕ I (< a 2 >)(ωZ 3 < a 2 >)
as
Z 3 < a 2 >= {λ1e + λ2 a 2 , λi ∈ Z 3 }
that
I (< a 2 >)(ωZ3 < a 2 >) = I (< a 2 >) .
Thus we have
Z3 [ ]=
{λ1 (e + a + a 2 + a 3 + b + ab + a 2 b + a 3b)} ⊕
⊕ {λ2 (e + a + a 2 + a 3 + 2b + 2ab + 2a 2 b + 2a 3b)} ⊕
⊕ {λ3 (e + 2a + a 2 + 2a 3 + b + 2ab + a 2 b + 2a 3b} ⊕
⊕ {λ4 (e + 2a + a 2 + 2a 3 + 2b + ab + 2a 2 b + a 3b)} ⊕
⊕ {α1(2e + a 2 ) + α 2 (2a + a 3 ) + α 3 (2b + a 2b) + α 4 (2ab + a 3b)}
α i , λ j ∈ Z3 .
Using this decomposition of Z3 [
] we can get any ideal of Z3 [ ].
References:
1. D.K. Fadeev, Lectures of algebra. - SPb. Univ "Lan", 2001. - 216.
2. A.G. Kurosh, Group theory – M. Univ "Nauka", 1962 – 132-137.
3. A.A Bovdi, Group rings. - K.: CMD VO, 1988. – 132