设为首页
加入收藏
期刊导航
网站地图
首页
期刊
数学与物理
地球与环境
信息通讯
经济与管理
生命科学
工程技术
医药卫生
人文社科
化学与材料
会议
合作
新闻
我们
招聘
千人智库
我要投搞
办刊
期刊菜单
●领域
●编委
●投稿须知
●最新文章
●检索
●投稿
文章导航
●Abstract
●Full-Text PDF
●Full-Text HTML
●Full-Text ePUB
●Linked References
●How to Cite this Article
PureMathematics
n
Ø
ê
Æ
,2019,9(7),799-803
PublishedOnlineSeptember2019inHans.http://www.hanspub.org/journal/pm
https://doi.org/10.12677/pm.2019.97104
TheNormof
H
-Subgroups
HongfangGu,L¨uGong
∗
SchoolofSciences,NantongUniversity,NantongJiangsu
Received:Aug.2
nd
,2019;accepted:Aug.28
th
,2019;published:Sep.4
th
,2019
Abstract
Inordertoinvestigatethestructureoffinitenilpotentgroup,anewequivalentchar-
acterizationoffinitemeta-nilipotentgroupisobtainedbythenormof
H
-subgroups.
Keywords
Norm,SolubleGroup,SubnormalSubgroup,
H
-Subgroup
H
-
f
+
norm
ùùù
•••
§§§
÷÷÷
ÆÆÆ
∗
H
Ï
Œ
Æ
n
Æ
§
ô
€
H
Ï
Â
v
F
Ï
µ
2019
c
8
2
F
¶
¹
^
F
Ï
µ
2019
c
8
28
F
¶
u
Ù
F
Ï
µ
2019
c
9
4
F
Á
‡
•
?
˜
Ú
&
¢
k
•
˜
"
+
(
§
|
^
H
-
f
+
norm
§
‰
Ñ
k
•
æ
˜
"
+
˜
‡
#
d
∗
Ï
Õ
Š
ö
"
©
Ù
Ú
^
:
ù
•
,
÷
Æ
.
H
-
f
+
norm[J].
n
Ø
ê
Æ
,2019,9(7):799-803.
DOI:10.12677/pm.2019.97104
ù
•
§
÷
Æ
•
x
"
'
…
c
Norm
§
Œ
)
+
§
g
5
f
+
§
H
-
f
+
Copyright
c
2019byauthor(s)andHansPublishersInc.
This work is licensed undertheCreative Commons Attribution InternationalLicense(CCBY4.0).
http://creativecommons.org/licenses/by/4.0/
1.
Só
©
ï
Ä
+
Ñ
´
k
•
+
"
©
Ì
‡
8
´
|
^
+
H
-
f
+
‰
Ñ
+
‡
¥
%
#
A
"
H
-
f
+
Ä
k
3
©
[1]
¥
J
Ñ
§
+
G
¥
f
+
H
÷
v
é
z
‡
g
∈
G
Ñ
k
N
G
(
H
)
∩
H
g
≤
H
§
K
¡
H
´
G
H
-
f
+
"
-
H
(
G
)
L
«
+
G
¤
k
H
-
f
+
8
Ü
§
=
H
(
G
) =
{
H
≤
G
|
N
G
(
H
)
∩
H
g
≤
H,
∀
g
∈
G
}
.
|
^
H
-
f
+
§
©
[1]
‰
Ñ
z
‡
g
5
f
+
Ñ
5
k
•
Œ
)
+
A
§
¿
•
x
z
‡
f
+
½
5
½
g
5
k
•
+
(
"
'
u
H
-
f
+
?
˜
Ú
ï
Ä
Œ
±
ë
w
©
[2–5]
"
+
G
norm
N
(
G
)
´
•
+
G
¥
¤
k
f
+
5
z
f
§
ù
˜
V
g
Ä
k
d
Baer
3
©
[6]
¥
J
Ñ
"
,
˜
‡
†
ƒ
ƒ
'
f
+
´
Wielandt
f
+
§
ù
´
d
Wielandt
3
©
[7]
¥
0
+
¥
¤
k
g
5
f
+
5
z
f
"
Wielandt
g
Ž
Ì
‡
'
5
g
5
f
+
,
Ø
´
¤
k
f
+
"
©·
‚
òY
ù
g
´
§
•
Ä
+
¥
H
-
f
+
†
+
e
norm
§
=
+
¥
¤
k
H
-
f
+
5
z
f
"
·
‚
Î
ÒÚ
â
Š
Ñ
´
I
O
§
P
L
«
+
G
Sylow
p
-
f
+
§
G
0
L
«
+
G
+
§
Z
∞
(
G
)
L
«
+
G
‡
¥
%
§
Ù
¦
Î
Ò
Œ
ë
w
©
[8–12]
"
Ä
k
·
‚
‰
Ñ
X
e
½
Â
½
Â
1.1.
-
G
´
˜
+
"
K
A
A
(
G
)
L
«
H
(
G
)
†
G
0
¥
z
‡
f
+
5
z
f
§
=
A
A
(
G
) =
\
H
∈H
(
G
)
,H
≤
G
0
N
G
(
H
)
,
w
,
§
A
A
(
G
)
E
G
"
e
G
0
˜
"
§
K
G
0
¥
z
‡
f
+
H
3
G
¥
Ñ
g
5
§
u
´
d
H
∈H
(
G
)
•
H
3
G
¥
5
§
Ï
d
G
=
A
A
(
G
)
"
Ï
d
·
‚
g
,
Ž
•
Ù
_
·
K
´
Ä
(
?
e
©·
‚
ò
‰
Ñ
DOI:10.12677/pm.2019.97104800
n
Ø
ê
Æ
ù
•
§
÷
Æ
’
½
‰
Y
"
é
u
ù
‡
½
Â
§
·
‚
‰
X
e
A
‡
`
²
µ
(1)
T
H
∈H
(
G
)
,H
≤
G
0
N
G
(
H
)
†
T
H
∈H
(
G
0
)
N
G
(
H
)
´
Ø
Ó
f
+
"
d
+
G
¥
H
(
G
)
ƒ
'
5
Ÿ•
µ
e
H
∈H
(
G
)
,H
≤
G
0
§
K
H
∈H
(
G
0
)
"
ù
‡
5
Ÿ
‡
L
5
¿
Ø
(
§
Ï
d
þ
ã
½
Â
Ø
Ó
"
(2)
T
H
∈H
(
G
)
,H
≤
G
0
N
G
(
H
)
†
T
H
∈H
(
G
)
N
G
(
H
0
)
´
Ø
Ó
f
+
"
¦
+
ü
ö
Ñ
´
ï
Ä
+
G
¥
H
(
G
)
f
+
§
5
z
f
é
–
´
H
†
H
0
§
g
,
Ø
˜
"
2.
Ì
‡Ú
n
Ä
k
·
‚
0
˜
'
u
+
¥
H
-
f
+
Ä
Ú
n
Ú
5
Ÿ
"
Ú
n
2.1.
-
G
´
˜
‡
+
"
(1)[1]Lemma2(1)
e
N
≤
H
…
N
E
G
§
K
H
∈H
(
G
)
…
=
H/N
∈H
(
G/N
)
"
(2)[1]Theorem6(2)
e
H
∈H
(
G
)
…
H
EE
K
≤
G
§
K
H
E
K
"
(3)[1]Theorem6(3)
e
H
∈H
(
G
)
§
N
E
G
…
N
≤
N
G
(
H
)
§
K
N
G
(
HN
)=
N
G
(
H
)
…
HN
∈
H
(
G
)
"
(4)[1]Proposition3(2)
e
N,K
E
G
…
K
≤
N
§
K
N/K
Sylow
f
+
S/K
3
G
_
–
S
á
u
H
(
G
)
"
A
O
/
§
G
5
f
+
Sylow
f
+
Ñ
á
u
H
(
G
)
"
Ú
n
2.2.
[13]Theorem6.3
-
G
´
˜
‡
+
§
p
´
˜
‡
ƒ
ê
"
e
P
´
G
¥
¦
G/C
G
(
P
)
´
p
•
˜
5
p
-
f
+
§
K
P
≤
Z
∞
(
G
)
"
e
5
§
·
‚
‰
Ñ
+
G
A
A
(
G
)
˜
k^
5
Ÿ
"
5
Ÿ
2.3.
-
G
´
˜
+
"
e
N
E
G
…
N
≤
A
A
(
G
)
∩
G
0
§
K
A
A
(
G/N
) =
A
A
(
G
)
/N
"
y
²
.
-
N
E
G
…
N
≤
A
A
(
G
)
∩
G
0
"
·
‚
•
Ä
G/N
f
+
H/N
"
A
A
(
G/N
)=
T
H/N
∈H
(
G/N
)
,H/N
≤
(
G/N
)
0
N
G/N
(
H/N
)
=
T
H
∈H
(
G
)
,N
≤
H
≤
G
0
N
G/N
(
H/N
)
,
d
[
Ú
n
2.1(1)]
,N
≤
G
0
=
T
H
∈H
(
G
)
,N
≤
H
≤
G
0
N
G
(
H
)
/N
d
Ú
n
2.1(3)
Ú
N
≤
A
A
(
G
)
•
µ
A
A
(
G
)=
T
H
∈H
(
G
)
,H
≤
G
0
N
G
(
H
)
=
T
H
∈H
(
G
)
,H
≤
G
0
N
G
(
HN
)
=
T
H
∈H
(
G
)
,N
≤
H
≤
G
0
N
G
(
H
)
Ï
d
§
·
‚
k
A
A
(
G
)
/N
=
A
A
(
G/N
)
"
DOI:10.12677/pm.2019.97104801
n
Ø
ê
Æ
ù
•
§
÷
Æ
3.
Ì
‡
½
n
©
[14]
¥y
²
é
u
?
¿
+
G
Ñ
k
N
(
G
) = 1
…
=
Z
(
G
) = 1
"
g
,
/
§
·
‚
Ž
‡
•
X
e
Ø
ä
´
Ä
•
(
µ
é
u
?
¿
+
G
Ñ
k
A
A
(
G
) = 1
…
=
C
G
(
G
0
) = 1?
X
e
½
n
‰
Ñ
þ
ã
¯
K
È
4
‰
Y
"
½
n
3.1.
-
G
´
+
"
K
(1)
C
G
(
G
0
)
≤
A
A
(
G
)
"
(2)
A
A
(
G
) =
G
…
=
G
0
˜
"
"
(3)
C
G
(
G
0
) = 1
…
=
A
A
(
G
) = 1
"
y
²
.
(1)
w
,
§
·
‚
k
C
G
(
G
0
)=
∩
H
≤
G
0
C
G
(
H
)
≤∩
H
≤
G
0
,H
∈H
(
G
)
C
G
(
H
)
≤∩
H
≤
G
0
,H
∈H
(
G
)
N
G
(
H
) =
A
A
(
G
)
(2)
e
G
F
˜
"
§
K
G
0
¥
z
‡
f
+
H
3
G
¥
g
5
"
d
Ú
n
2.1(2)
•
e
H
∈H
(
G
)
§
K
H
3
G
¥
5
§
=
G
=
A
A
(
G
)
"
‡
L
5
§
b
G
=
A
A
(
G
)
"
-
T
≤
G
0
´
G
Ü
¤
Ï
f
…
L
´
T
˜
‡
Sylow
f
+
"
u
´
d
Ú
n
2.1(2)
•
L
∈H
(
G
)
§
L
3
G
¥
5
"
Ï
d
L
=
T
§
u
´
T
Œ
)
§
=
A
A
(
G
)
Œ
)
"
-
H
´
G
0
˜
‡
Sylow
f
+
"
d
Ú
n
2.1(2)
•
H
•
¹
3
H
(
G
)
¥
"
u
´
d
G
=
A
A
(
G
)
•
H
3
G
¥
5
"
Ï
d
H
3
G
0
¥
5
…
G
0
˜
"
"
(3)
w
,
§
d
5
Ÿ
3.3(1)
•
µ
e
A
A
(
G
) = 1
§
K
C
G
(
G
0
) = 1
"
‡
L
5
§
e
C
G
(
G
0
) = 1
§
K
Z
(
G
0
) = 1
"
-
M
=
A
A
(
G
)
∩
G
0
"
·
‚
Ä
k
b
M
6
= 1
"
Ï
•
G
´
Œ
)
+
§
¤
±
3
M
¥
•
3
G
4
5
f
+
N
§
Ø
”
N
´
Ð
†
p
-
f
+
"
-
Q
´
G
0
Sylow
q
-
f
+
§
Ù
¥
p
6
=
q
"
u
´
Q
≤
C
G
0
(
N
)
…
G
0
/C
G
0
(
N
)
´
p
•
˜
"
Ï
d
d
Ú
n
2.2
•
N
≤
Z
∞
(
G
0
) =
Z
(
G
) =1
§
g
ñ
"
ù
Ò
L
²
M
=1
§
…
[
A
A
(
G
)
,G
0
]
≤
M
= 1
§
k
C
G
(
G
0
) =
A
A
(
G
)
"
l
C
G
(
G
0
) =
A
A
(
G
) = 1
"
=
§
A
A
(
G
) = 1
…
=
C
G
(
G
0
) = 1
"
ë
•
©
z
[1]Bianchi,M.,Mauri,A.G.B.,Herzog,M.,
etal.
(2000)OnFiniteSolvableGroupsinWhich
NormalityIsaTransitiveRelation.
JournalofGroupTheory
,
3
,147-156.
DOI:10.12677/pm.2019.97104802
n
Ø
ê
Æ
ù
•
§
÷
Æ
https://doi.org/10.1515/jgth.2000.012
[2]Guo,X.andWei,X.(2010)TheInfluenceofH-SubgroupsontheStructureofFiniteGroups.
JournalofGroupTheory
,
13
,267-276.https://doi.org/10.1515/jgt.2009.050
[3]Li,S.(1994)OnMinimalSubgroupsofFiniteGroups.
CommunicationsinAlgebra
,
22
,1913-
1918.https://doi.org/10.1080/00927879408824946
[4]Li, S. (1998) On Minimal Non-PE-Groups.
JournalofPureandAppliedAlgebra
,
132
, 149-158.
https://doi.org/10.1016/S0022-4049(97)00106-0
[5]Li,Y.(2006)FiniteGroupswithNE-Subgroups.
JournalofGroupTheory
,
9
,49-58.
https://doi.org/10.1515/JGT.2006.003
[6]Baer,R.(1934)DerKerneinecharakteristischeUntergruppe.
CompositioMathematica
,
1
,
254-283.
[7]Wielandt,H.(1958)
¨
Uberdennormalisatordersubnormalenuntergruppen.
Mathematische
Zeitschrift
,
69
,463-465.https://doi.org/10.1007/BF01187422
[8]Huppert,B.(1979)EndlicheGruppenI.Springer-Verlag,Berlin,Heidelberg,NewYork.
[9]Huppert,B.andBlackburn,N.(1982)FiniteGroupsIII.Springer-Verlag,Berlin.
https://doi.org/10.1007/978-3-642-67997-1
[10]Doerk,H. and Hawkes, T. (1992)Finite Soluble Groups.Walter de Gruyter, Berlin, New York.
[11]Isaacs,I.M.(2008)FiniteGroupTheory.AMS,Providence,RhodeIsland.
[12]Robinson,D.J.S.(1982)ACourseintheTheoryofGroups.Springer-Verlag,NewYork.
[13]Weinstein,M.,Ed.(1982)BetweenNilpotentandSolvable.PolygonalPublishingHouse,Pas-
saic,NewYork.
[14]Baer,R.(1956)NormandHypernorm.
PublicationesMathematicae,Debrecen
,
4
,347-356.
•
u
¢
ü
«
•
ª
:
1.
‹
m
•
Ä
•
µ
http://cnki.net/
§
:
Â
•
¡
¥
/
©
]
o
¥
CNKISCHOLAR
0
§
a
=
–
µ
http://scholar.cnki.net/new
§
|¢
µ
S
†
Ñ
\
©
Ù
I
K
§
=
Œ
Î
¶
½
:
Â
/
p
?u
¢
0
§
e
.
L
µ
À
J
µ
[ISSN]
§
Ñ
\
Ï
r
ISSN
µ
2160-7583
§
=
Œ
Î
"
2.
Ï
L
•
Ä
•
http://cnki.net/
º
Ü
/
Î
‡
\
•
0
?
\
•
Î
‡
µ
http://www.cnki.net/old/
§
†
ý
À
J
/
I
S
©
z
o
¥
0
?
\
§
|¢
µ
†
Ñ
\
©
Ù
I
K
§
=
Œ
Î
"
Ý
v
ž
:
Â
µ
http://www.hanspub.org/Submission.aspx
Ï
r
e
‡
µ
pm@hanspub.org
DOI:10.12677/pm.2019.97104803
n
Ø
ê
Æ