on the normalizers of subgroups in integral group...
TRANSCRIPT
On the Normalizers of Subgroupsin Integral Group Rings
Andreas Bachle
Vrije Universiteit Brussel
DMV-PTM Mathematical Meeting
17. - 20.09.2014, Poznan
Notations
G finite group
R commutative ring with identity element 1
RG group ring of G with coefficients in R
U(RG ) group of units of RG
Notations
G finite group
R commutative ring with identity element 1
RG group ring of G with coefficients in R
U(RG ) group of units of RG
Notations
G finite group
R commutative ring with identity element 1
RG group ring of G with coefficients in R
U(RG ) group of units of RG
Notations
G finite group
R commutative ring with identity element 1
RG group ring of G with coefficients in R
U(RG ) group of units of RG
Notations
G finite group
R commutative ring with identity element 1
RG group ring of G with coefficients in R
U(RG ) group of units of RG
The normalizer problem
NU(RG)(G )
G · Z(U(RG ))
We say that G (together with the ring R) has the normalizerproperty, if
NU(RG)(G ) = G · Z(U(RG )),
abbreviated (NP).
The normalizer problem
NU(RG)(G ) ⊇
G · Z(U(RG ))
We say that G (together with the ring R) has the normalizerproperty, if
NU(RG)(G ) = G · Z(U(RG )),
abbreviated (NP).
The normalizer problem
NU(RG)(G ) ⊇ G
· Z(U(RG ))
We say that G (together with the ring R) has the normalizerproperty, if
NU(RG)(G ) = G · Z(U(RG )),
abbreviated (NP).
The normalizer problem
NU(RG)(G ) ⊇ G · Z(U(RG ))
We say that G (together with the ring R) has the normalizerproperty, if
NU(RG)(G ) = G · Z(U(RG )),
abbreviated (NP).
The normalizer problem
NU(RG)(G ) ⊇ G · Z(U(RG ))
We say that G (together with the ring R) has the normalizerproperty, if
NU(RG)(G ) = G · Z(U(RG )),
abbreviated (NP).
The normalizer problem
NU(RG)(G ) ⊇ G · Z(U(RG ))
We say that G (together with the ring R) has the normalizerproperty, if
NU(RG)(G ) = G · Z(U(RG )),
abbreviated (NP).
The normalizer problem
NU(RG)(G ) ⊇ G · Z(U(RG ))
We say that G (together with the ring R) has the normalizerproperty, if
NU(RG)(G ) = G · Z(U(RG )),
abbreviated (NP).
is an automorphism problem
u ∈ NU(RG)(G )
conj(u) : G → G
g 7→ gu
Set AutRG (G ) ={
conj(u) | u ∈ NU(RG)(G )}≤ Aut(G )
Lemma
(NP) holds for G ⇐⇒ AutRG (G ) = Inn(G ).
Hence we want to controlInn(G ) ≤ AutRG (G )
≤ A
≤ Aut(G ).
is an automorphism problem
u ∈ NU(RG)(G )
conj(u) : G → Gg 7→ gu
Set AutRG (G ) ={
conj(u) | u ∈ NU(RG)(G )}≤ Aut(G )
Lemma
(NP) holds for G ⇐⇒ AutRG (G ) = Inn(G ).
Hence we want to controlInn(G ) ≤ AutRG (G )
≤ A
≤ Aut(G ).
is an automorphism problem
u ∈ NU(RG)(G ) conj(u) : G → G
g 7→ gu
Set AutRG (G ) ={
conj(u) | u ∈ NU(RG)(G )}≤ Aut(G )
Lemma
(NP) holds for G ⇐⇒ AutRG (G ) = Inn(G ).
Hence we want to controlInn(G ) ≤ AutRG (G )
≤ A
≤ Aut(G ).
is an automorphism problem
u ∈ NU(RG)(G ) conj(u) : G → G
g 7→ gu
Set AutRG (G ) ={
conj(u) | u ∈ NU(RG)(G )}≤ Aut(G )
Lemma
(NP) holds for G ⇐⇒ AutRG (G ) = Inn(G ).
Hence we want to controlInn(G ) ≤ AutRG (G )
≤ A
≤ Aut(G ).
is an automorphism problem
u ∈ NU(RG)(G ) conj(u) : G → G
g 7→ gu
Set AutRG (G ) ={
conj(u) | u ∈ NU(RG)(G )}≤ Aut(G )
Lemma
(NP) holds for G ⇐⇒ AutRG (G ) = Inn(G ).
Hence we want to controlInn(G ) ≤ AutRG (G )
≤ A
≤ Aut(G ).
is an automorphism problem
u ∈ NU(RG)(G ) conj(u) : G → G
g 7→ gu
Set AutRG (G ) ={
conj(u) | u ∈ NU(RG)(G )}≤ Aut(G )
Lemma
(NP) holds for G ⇐⇒ AutRG (G ) = Inn(G ).
Hence we want to controlInn(G ) ≤ AutRG (G )
≤ A
≤ Aut(G ).
Some tools
We want to control
Inn(G ) ≤ AutRG (G )
≤ A
≤ Aut(G ).
Candidates for A:
Autc(G ) = {ϕ ∈ Aut(G ) | ∀ x ∈ G : ϕ(x) ∼G
x}
and – if G is finite and R is G -adapted –
AutCol(G ) =
{ϕ ∈ Aut(G )
∣∣∣∣ ∀ p ∀P ∈ Sylp(G ) ∃ g ∈ G :ϕ|P = conj(g)|P
∣∣∣∣
}Lemma
AutZG (G )/
Inn(G ) is an elementary-abelian 2-group. (Krempa)
AutRG (G ) ≤ Autc(G ), AutRG (G ) ≤ AutCol(G ).
Some tools
We want to control
Inn(G ) ≤ AutRG (G )
≤ A
≤ Aut(G ).
Candidates for A:
Autc(G ) = {ϕ ∈ Aut(G ) | ∀ x ∈ G : ϕ(x) ∼G
x}
and – if G is finite and R is G -adapted –
AutCol(G ) =
{ϕ ∈ Aut(G )
∣∣∣∣ ∀ p ∀P ∈ Sylp(G ) ∃ g ∈ G :ϕ|P = conj(g)|P
∣∣∣∣
}
Lemma
AutZG (G )/
Inn(G ) is an elementary-abelian 2-group. (Krempa)
AutRG (G ) ≤ Autc(G ), AutRG (G ) ≤ AutCol(G ).
Some tools
We want to control
Inn(G ) ≤ AutRG (G ) ≤ A ≤ Aut(G ).
Candidates for A:
Autc(G ) = {ϕ ∈ Aut(G ) | ∀ x ∈ G : ϕ(x) ∼G
x}
and – if G is finite and R is G -adapted –
AutCol(G ) =
{ϕ ∈ Aut(G )
∣∣∣∣ ∀ p ∀P ∈ Sylp(G ) ∃ g ∈ G :ϕ|P = conj(g)|P
∣∣∣∣
}
Lemma
AutZG (G )/
Inn(G ) is an elementary-abelian 2-group. (Krempa)
AutRG (G ) ≤ Autc(G ), AutRG (G ) ≤ AutCol(G ).
Some tools
We want to control
Inn(G ) ≤ AutRG (G ) ≤ A ≤ Aut(G ).
Candidates for A:
Autc(G ) = {ϕ ∈ Aut(G ) | ∀ x ∈ G : ϕ(x) ∼G
x}
and – if G is finite and R is G -adapted –
AutCol(G ) =
{ϕ ∈ Aut(G )
∣∣∣∣ ∀ p ∀P ∈ Sylp(G ) ∃ g ∈ G :ϕ|P = conj(g)|P
∣∣∣∣
}
Lemma
AutZG (G )/
Inn(G ) is an elementary-abelian 2-group. (Krempa)
AutRG (G ) ≤ Autc(G ), AutRG (G ) ≤ AutCol(G ).
Some tools
We want to control
Inn(G ) ≤ AutRG (G ) ≤ A ≤ Aut(G ).
Candidates for A:
Autc(G ) = {ϕ ∈ Aut(G ) | ∀ x ∈ G : ϕ(x) ∼G
x}
and – if G is finite and R is G -adapted –
AutCol(G ) =
{ϕ ∈ Aut(G )
∣∣∣∣ ∀ p ∀P ∈ Sylp(G ) ∃ g ∈ G :ϕ|P = conj(g)|P
∣∣∣∣
}
Lemma
AutZG (G )/
Inn(G ) is an elementary-abelian 2-group. (Krempa)
AutRG (G ) ≤ Autc(G ), AutRG (G ) ≤ AutCol(G ).
Some tools
We want to control
Inn(G ) ≤ AutRG (G ) ≤ A ≤ Aut(G ).
Candidates for A:
Autc(G ) = {ϕ ∈ Aut(G ) | ∀ x ∈ G : ϕ(x) ∼G
x}
and – if G is finite and R is G -adapted –
AutCol(G ) =
{ϕ ∈ Aut(G )
∣∣∣∣ ∀ p ∀P ∈ Sylp(G ) ∃ g ∈ G :ϕ|P = conj(g)|P
∣∣∣∣
}Lemma
AutZG (G )/
Inn(G ) is an elementary-abelian 2-group. (Krempa)
AutRG (G ) ≤ Autc(G ), AutRG (G ) ≤ AutCol(G ).
Some tools
We want to control
Inn(G ) ≤ AutRG (G ) ≤ A ≤ Aut(G ).
Candidates for A:
Autc(G ) = {ϕ ∈ Aut(G ) | ∀ x ∈ G : ϕ(x) ∼G
x}
and – if G is finite and R is G -adapted –
AutCol(G ) =
{ϕ ∈ Aut(G )
∣∣∣∣ ∀ p ∀P ∈ Sylp(G ) ∃ g ∈ G :ϕ|P = conj(g)|P
∣∣∣∣
}Lemma
AutZG (G )/
Inn(G ) is an elementary-abelian 2-group. (Krempa)
AutRG (G ) ≤ Autc(G ), AutRG (G ) ≤ AutCol(G ).
Positive results
Theorem
(NP) holds for
X finite groups with normal Sylow 2-subgroups(Jackowski, Marciniak, 1987)
X finite groups G with R(G ) 6= 1(Li, Parmenter, Sehgal, 1999)
X finite quasi-nilpotent groups,
finite 2-constrained groups G, where G/
O2(G ) has no chief
factor of order 2
(Hertweck, Kimmerle, 2001)
X locally nilpotent groups,
periodic groups with normal Sylow 2-subgroup
(Jespers, Juriaans, de Miranda, Rogerio, 2002)
Positive results
Theorem
(NP) holds for
X finite groups with normal Sylow 2-subgroups(Jackowski, Marciniak, 1987)
X finite groups G with R(G ) 6= 1(Li, Parmenter, Sehgal, 1999)
X finite quasi-nilpotent groups,
finite 2-constrained groups G, where G/
O2(G ) has no chief
factor of order 2
(Hertweck, Kimmerle, 2001)
X locally nilpotent groups,
periodic groups with normal Sylow 2-subgroup
(Jespers, Juriaans, de Miranda, Rogerio, 2002)
Positive results
Theorem
(NP) holds for
X finite groups with normal Sylow 2-subgroups(Jackowski, Marciniak, 1987)
X finite groups G with R(G ) 6= 1(Li, Parmenter, Sehgal, 1999)
X finite quasi-nilpotent groups,
finite 2-constrained groups G, where G/
O2(G ) has no chief
factor of order 2
(Hertweck, Kimmerle, 2001)
X locally nilpotent groups,
periodic groups with normal Sylow 2-subgroup
(Jespers, Juriaans, de Miranda, Rogerio, 2002)
Positive results
Theorem
(NP) holds for
X finite groups with normal Sylow 2-subgroups(Jackowski, Marciniak, 1987)
X finite groups G with R(G ) 6= 1(Li, Parmenter, Sehgal, 1999)
X finite quasi-nilpotent groups,
finite 2-constrained groups G, where G/
O2(G ) has no chief
factor of order 2
(Hertweck, Kimmerle, 2001)
X locally nilpotent groups,
periodic groups with normal Sylow 2-subgroup
(Jespers, Juriaans, de Miranda, Rogerio, 2002)
Positive results
Theorem
(NP) holds for
X finite groups with normal Sylow 2-subgroups(Jackowski, Marciniak, 1987)
X finite groups G with R(G ) 6= 1(Li, Parmenter, Sehgal, 1999)
X finite quasi-nilpotent groups,finite 2-constrained groups G, where G
/O2(G ) has no chief
factor of order 2 (Hertweck, Kimmerle, 2001)
X locally nilpotent groups,
periodic groups with normal Sylow 2-subgroup
(Jespers, Juriaans, de Miranda, Rogerio, 2002)
Positive results
Theorem
(NP) holds for
X finite groups with normal Sylow 2-subgroups(Jackowski, Marciniak, 1987)
X finite groups G with R(G ) 6= 1(Li, Parmenter, Sehgal, 1999)
X finite quasi-nilpotent groups,finite 2-constrained groups G, where G
/O2(G ) has no chief
factor of order 2 (Hertweck, Kimmerle, 2001)
X locally nilpotent groups,
periodic groups with normal Sylow 2-subgroup
(Jespers, Juriaans, de Miranda, Rogerio, 2002)
Positive results
Theorem
(NP) holds for
X finite groups with normal Sylow 2-subgroups(Jackowski, Marciniak, 1987)
X finite groups G with R(G ) 6= 1(Li, Parmenter, Sehgal, 1999)
X finite quasi-nilpotent groups,finite 2-constrained groups G, where G
/O2(G ) has no chief
factor of order 2 (Hertweck, Kimmerle, 2001)
X locally nilpotent groups,periodic groups with normal Sylow 2-subgroup
(Jespers, Juriaans, de Miranda, Rogerio, 2002)
... but
Theorem (Hertweck, 1998)
There is a metabelian group of order 225 · 972 = 315 713 650 688not satisfying (NP).
... but
Theorem (Hertweck, 1998)
There is a metabelian group of order 225 · 972 = 315 713 650 688not satisfying (NP).
The normalizer problem for subgroups
NU(RG)(G ) = G · Z(U(RG )) (NP)
= NG (G ) · CU(RG)(G )
Let H ≤ G . We say that H ≤ G has the normalizer property, if
NU(RG)(H) = NG (H) · CU(RG)(H),
(NP: H ≤ G ) for short.
We say that G has the subgroup normalizer property, (SNP), if(NP: H ≤ G ) holds for all H ≤ G , i.e.
∀ H ≤ G : NU(RG)(H) = NG (H) · CU(RG)(H),
The normalizer problem for subgroups
NU(RG)(G ) = G · Z(U(RG )) (NP)
= NG (G ) · CU(RG)(G )
Let H ≤ G .
We say that H ≤ G has the normalizer property, if
NU(RG)(H) = NG (H) · CU(RG)(H),
(NP: H ≤ G ) for short.
We say that G has the subgroup normalizer property, (SNP), if(NP: H ≤ G ) holds for all H ≤ G , i.e.
∀ H ≤ G : NU(RG)(H) = NG (H) · CU(RG)(H),
The normalizer problem for subgroups
NU(RG)(G ) = G · Z(U(RG )) (NP)= NG (G )
· CU(RG)(G )
Let H ≤ G .
We say that H ≤ G has the normalizer property, if
NU(RG)(H) = NG (H) · CU(RG)(H),
(NP: H ≤ G ) for short.
We say that G has the subgroup normalizer property, (SNP), if(NP: H ≤ G ) holds for all H ≤ G , i.e.
∀ H ≤ G : NU(RG)(H) = NG (H) · CU(RG)(H),
The normalizer problem for subgroups
NU(RG)(G ) = G · Z(U(RG )) (NP)= NG (G ) · CU(RG)(G )
Let H ≤ G .
We say that H ≤ G has the normalizer property, if
NU(RG)(H) = NG (H) · CU(RG)(H),
(NP: H ≤ G ) for short.
We say that G has the subgroup normalizer property, (SNP), if(NP: H ≤ G ) holds for all H ≤ G , i.e.
∀ H ≤ G : NU(RG)(H) = NG (H) · CU(RG)(H),
The normalizer problem for subgroups
NU(RG)(G ) = G · Z(U(RG )) (NP)= NG (G ) · CU(RG)(G )
Let H ≤ G . We say that H ≤ G has the normalizer property, if
NU(RG)(H) = NG (H) · CU(RG)(H),
(NP: H ≤ G ) for short.
We say that G has the subgroup normalizer property, (SNP), if(NP: H ≤ G ) holds for all H ≤ G , i.e.
∀ H ≤ G : NU(RG)(H) = NG (H) · CU(RG)(H),
The normalizer problem for subgroups
NU(RG)(G ) = G · Z(U(RG )) (NP)= NG (G ) · CU(RG)(G )
Let H ≤ G . We say that H ≤ G has the normalizer property, if
NU(RG)(H) = NG (H) · CU(RG)(H),
(NP: H ≤ G ) for short.
We say that G has the subgroup normalizer property, (SNP), if(NP: H ≤ G ) holds for all H ≤ G , i.e.
∀ H ≤ G : NU(RG)(H) = NG (H) · CU(RG)(H),
The normalizer problem for subgroups
NU(RG)(G ) = G · Z(U(RG )) (NP)= NG (G ) · CU(RG)(G )
Let H ≤ G . We say that H ≤ G has the normalizer property, if
NU(RG)(H) = NG (H) · CU(RG)(H),
(NP: H ≤ G ) for short.
We say that G has the subgroup normalizer property, (SNP), if(NP: H ≤ G ) holds for all H ≤ G , i.e.
∀ H ≤ G : NU(RG)(H) = NG (H) · CU(RG)(H),
The normalizer problem for subgroups
NU(RG)(G ) = G · Z(U(RG )) (NP)= NG (G ) · CU(RG)(G )
Let H ≤ G . We say that H ≤ G has the normalizer property, if
NU(RG)(H) = NG (H) · CU(RG)(H),
(NP: H ≤ G ) for short.
We say that G has the subgroup normalizer property, (SNP), if(NP: H ≤ G ) holds for all H ≤ G , i.e.
∀ H ≤ G : NU(RG)(H) = NG (H) · CU(RG)(H),
is again an automorphism problem
Lemma
(NP: H ≤ G ) holds ⇐⇒ AutRG (H) = AutG (H).
Where
AutRG (H) = { conj(u) ∈ Aut(H) | u ∈ NU(RG)(H) } ,AutG (H) = { conj(g) ∈ Aut(H) | g ∈ NG (H) } .
is again an automorphism problem
Lemma
(NP: H ≤ G ) holds ⇐⇒ AutRG (H) = AutG (H).
Where
AutRG (H) = { conj(u) ∈ Aut(H) | u ∈ NU(RG)(H) } ,AutG (H) = { conj(g) ∈ Aut(H) | g ∈ NG (H) } .
is again an automorphism problem
Lemma
(NP: H ≤ G ) holds ⇐⇒ AutRG (H) = AutG (H).
Where
AutRG (H) = { conj(u) ∈ Aut(H) | u ∈ NU(RG)(H) } ,AutG (H) = { conj(g) ∈ Aut(H) | g ∈ NG (H) } .
Results as a question on H
Remark
(NP: H ≤ G ) holds, if Out(H) = 1.
Proposition
Let H ≤ G , H be cyclic. Then (NP: H ≤ G ) holds for arbitraryrings R.
Lemma (Coleman’s lemma, relative version)
Let H ≤ G , u ∈ NU(RG)(H) and p a rational prime with p 6∈ U(R),then there exists P ≤ H, such that |H : P| <∞, p - |H : P|and x ∈ supp(u) = {g ∈ G | ug 6= 0} with xu ∈ CU(RG)(P).
Results as a question on H
Remark
(NP: H ≤ G ) holds, if Out(H) = 1.
Proposition
Let H ≤ G , H be cyclic. Then (NP: H ≤ G ) holds for arbitraryrings R.
Lemma (Coleman’s lemma, relative version)
Let H ≤ G , u ∈ NU(RG)(H) and p a rational prime with p 6∈ U(R),then there exists P ≤ H, such that |H : P| <∞, p - |H : P|and x ∈ supp(u) = {g ∈ G | ug 6= 0} with xu ∈ CU(RG)(P).
Results as a question on H
Remark
(NP: H ≤ G ) holds, if Out(H) = 1.
Proposition
Let H ≤ G , H be cyclic. Then (NP: H ≤ G ) holds for arbitraryrings R.
Lemma (Coleman’s lemma, relative version)
Let H ≤ G , u ∈ NU(RG)(H) and p a rational prime with p 6∈ U(R),then there exists P ≤ H, such that |H : P| <∞, p - |H : P|and x ∈ supp(u) = {g ∈ G | ug 6= 0} with xu ∈ CU(RG)(P).
Results as a question on H
Remark
(NP: H ≤ G ) holds, if Out(H) = 1.
Proposition
Let H ≤ G , H be cyclic. Then (NP: H ≤ G ) holds for arbitraryrings R.
Lemma (Coleman’s lemma, relative version)
Let H ≤ G , u ∈ NU(RG)(H) and p a rational prime with p 6∈ U(R),then there exists P ≤ H, such that |H : P| <∞, p - |H : P|and x ∈ supp(u) = {g ∈ G | ug 6= 0} with xu ∈ CU(RG)(P).
Results as a question on G - 1
Theorem
( SNP) holds for locally nilpotent torsion groups G and G -adaptedrings R.
Proposition
(NP: H ≤ G ) holds for G finitely generated nilpotent H ≤ G atorsion subgroup and G -adapted rings R.
Proposition
(SNP) holds for G a finitely-generated torsion-free nilpotentgroups and all rings R.
Results as a question on G - 1
Theorem
( SNP) holds for locally nilpotent torsion groups G and G -adaptedrings R.
Proposition
(NP: H ≤ G ) holds for G finitely generated nilpotent H ≤ G atorsion subgroup and G -adapted rings R.
Proposition
(SNP) holds for G a finitely-generated torsion-free nilpotentgroups and all rings R.
Results as a question on G - 1
Theorem
( SNP) holds for locally nilpotent torsion groups G and G -adaptedrings R.
Proposition
(NP: H ≤ G ) holds for G finitely generated nilpotent H ≤ G atorsion subgroup and G -adapted rings R.
Proposition
(SNP) holds for G a finitely-generated torsion-free nilpotentgroups and all rings R.
Results as a question on G - 2
Proposition
Let G be finite metacyclic, N E G and G/
N cyclic, such that
I N is of prime order or
I G/
N is of prime order,
then (SNP) holds for G .
Proposition
(SNP) holds for all groups of order at most 47.(SNP) holds for all groups of order at most 659.
Results as a question on G - 2
Proposition
Let G be finite metacyclic, N E G and G/
N cyclic, such that
I N is of prime order or
I G/
N is of prime order,
then (SNP) holds for G .
Proposition
(SNP) holds for all groups of order at most 47.(SNP) holds for all groups of order at most 659.
Results as a question on G - 2
Proposition
Let G be finite metacyclic, N E G and G/
N cyclic, such that
I N is of prime order or
I G/
N is of prime order,
then (SNP) holds for G .
Proposition
(SNP) holds for all groups of order at most 47.(SNP) holds for all groups of order at most 659.
Definition
Let p be a prime and X a finite group. An automorphismϕ ∈ Aut(X ) is called p-central, if there is a Sylow p-subgroup P ofX such that ϕ|P = idP .
Proposition
Let H E G and H be a finite simple group. Then (NP: H ≤ G )holds for H-adapted rings R.
Proposition
Let H be a p-constrained group with Op(H) = 1 for some prime p,and H E G or H = NG (P) for a P ∈ Sylp(G ). Then (NP: H ≤ G )holds for rings R with p 6∈ R×.
Definition
Let p be a prime and X a finite group. An automorphismϕ ∈ Aut(X ) is called p-central, if there is a Sylow p-subgroup P ofX such that ϕ|P = idP .
Proposition
Let H E G and H be a finite simple group. Then (NP: H ≤ G )holds for H-adapted rings R.
Proposition
Let H be a p-constrained group with Op(H) = 1 for some prime p,and H E G or H = NG (P) for a P ∈ Sylp(G ). Then (NP: H ≤ G )holds for rings R with p 6∈ R×.
Definition
Let p be a prime and X a finite group. An automorphismϕ ∈ Aut(X ) is called p-central, if there is a Sylow p-subgroup P ofX such that ϕ|P = idP .
Proposition
Let H E G and H be a finite simple group. Then (NP: H ≤ G )holds for H-adapted rings R.
Proposition
Let H be a p-constrained group with Op(H) = 1 for some prime p,and H E G or H = NG (P) for a P ∈ Sylp(G ). Then (NP: H ≤ G )holds for rings R with p 6∈ R×.
Definition
The prime graph (or Gruenberg-Kegel graph) of a group X is theundirected loop-free graph Γ(X ) with
I Vertices: primes p, s.t. there exists an element of order p in X
I Edges: p and q joined iff there is an element of order pq in X
Proposition (joint with W. Kimmerle)
Assume that U is an isolated subgroup of the finite group G . ThenΓ(NV(ZG)(U)) = Γ(NG (U)).
Definition
The prime graph (or Gruenberg-Kegel graph) of a group X is theundirected loop-free graph Γ(X ) with
I Vertices: primes p, s.t. there exists an element of order p in X
I Edges: p and q joined iff there is an element of order pq in X
Proposition (joint with W. Kimmerle)
Assume that U is an isolated subgroup of the finite group G . ThenΓ(NV(ZG)(U)) = Γ(NG (U)).
Definition
The prime graph (or Gruenberg-Kegel graph) of a group X is theundirected loop-free graph Γ(X ) with
I Vertices: primes p, s.t. there exists an element of order p in X
I Edges: p and q joined iff there is an element of order pq in X
Proposition (joint with W. Kimmerle)
Assume that U is an isolated subgroup of the finite group G . ThenΓ(NV(ZG)(U)) = Γ(NG (U)).
Definition
The prime graph (or Gruenberg-Kegel graph) of a group X is theundirected loop-free graph Γ(X ) with
I Vertices: primes p, s.t. there exists an element of order p in X
I Edges: p and q joined iff there is an element of order pq in X
Proposition (joint with W. Kimmerle)
Assume that U is an isolated subgroup of the finite group G . ThenΓ(NV(ZG)(U)) = Γ(NG (U)).
Thank you for your attention!