设为首页
加入收藏
期刊导航
网站地图
首页
期刊
数学与物理
地球与环境
信息通讯
经济与管理
生命科学
工程技术
医药卫生
人文社科
化学与材料
会议
合作
新闻
我们
招聘
千人智库
我要投稿
办刊
期刊菜单
●领域
●编委
●投稿须知
●最新文章
●检索
●投稿
文章导航
●Abstract
●Full-Text PDF
●Full-Text HTML
●Full-Text ePUB
●Linked References
●How to Cite this Article
PureMathematics
n
Ø
ê
Æ
,2021,11(8),1475-1481
PublishedOnlineAugust2021inHans.http://www.hanspub.org/journal/pm
https://doi.org/10.12677/pm.2021.118165
Sylowp-
f
+
•
Ì
‚
+
10
p
n
š
†
+
Coleman
g
Ó
+
•••
»»»
CCC
KKK
∗
§§§
°°°
???
‰‰‰
†
“
Œ
Æ
ê
Æ
†
Ú
O
Æ
§
ì
À
“
Â
v
F
Ï
µ
2021
c
6
30
F
¶
¹
^
F
Ï
µ
2021
c
8
3
F
¶
u
Ù
F
Ï
µ
2021
c
8
10
F
Á
‡
3ù
Ÿ
©
Ù
¥
§
|
^
+
K
4
•
5
Ÿ
‰
Ñ
˜
a
Sylowp-
f
+
•
Ì
‚
+
10
p
n
š
†
+
Coleman
g
Ó
+
(
"
'
…
c
K
4
•
§
Coleman
g
Ó
+
§
S
g
Ó
+
OnColemanOuterAutomorphism
GroupsofNon-CommutativeGroups
ofOrder
10
p
n
withSylowp-Subgroup
BeingCyclicGroups
A’gaYihuo
∗
,JinkeHai
†
CollegeofMathematicsandStatistics,QingdaoUniversity,QingdaoShandong
∗
1
˜
Š
ö
"
†
Ï
Õ
Š
ö
"
©
Ù
Ú
^
:
•
»
C
K
,
°
?
‰
.Sylowp-
f
+
•
Ì
‚
+
10
p
n
š
†
+
Coleman
g
Ó
+
[J].
n
Ø
ê
Æ
,2021,
11(8):1475-1481.DOI:10.12677/pm.2021.118165
•
»
C
K
§
°
?
‰
Received:Jun.30
th
,2021;accepted:Aug.3
rd
,2021;published:Aug.10
th
,2021
Abstract
Inthisnote,weusetheprojectionlimitpropertyofgroupstogivethestructureof
Colemanautomorphismgroupsforaclassofnon-commutativegroupsoforder
10
p
n
withSylowp-subgroupbeingcyclicgroups.
Keywords
ProjectionLimit,ColemanAutomorphism,InnerAutomorphism
Copyright
c
2021byauthor(s)andHansPublishersInc.
ThisworkislicensedundertheCreativeCommonsAttributionInternationalLicense(CCBY4.0).
http://creativecommons.org/licenses/by/4.0/
1.
Ú
ó
Coleman
g
Ó
Ø
=
é
k
•
+
(
k
X
•
K
•
§
…
„
†
+
‚
¥
5
z
f
¯
K
k
X
;
—
é
X
§
Ï
d
<
‚
m
©
'
5
Ÿ
o
k
•
+
¦
§
z
‡
Coleman
g
Ó
þ
•
S
g
Ó
"
¡
k
•
+
G
˜
‡
g
Ó
σ
•
G
˜
‡
Coleman
g
Ó
§
X
J
σ
3
G
?
¿˜
‡
Sylow
f
+þ
•
›
u
G
,
‡
S
g
Ó
3
Ù
þ
•
›
§
@
o
¤
k
ù
g
Ó
¤
Aut(
G
)
˜
‡
f
+
§
P
•
Aut
Col
(
G
)
"
w
,
Inn(
G
)
E
Aut
Col
(
G
)
§
-
Out
Col
(
G
)=Aut
Col
(
G
)
/
Inn(
G
),
¡
Out
Col
(
G
)
•
G
Coleman
g
Ó
+
"
3
©
z
[1]
¥
§
E.C.Dade
y
²
Out
Col
(
G
)
´
˜
"
+
"
3
©
z
[2]
¥
§
M.Hertweck
<
y
²
Out
Col
(
G
)
´
†
+
§
¿
‰
Ñ
˜
"
+
z
‡
Coleman
g
Ó
þ
•
S
g
Ó
˜
¿
©
^
‡
"
3
©
z
[3]
¥
§
A.V.Antwerpen
ï
Ä
ä
k
g
¥
%
z
A
ü
5
f
+
k
•
+
Coleman
g
Ó
§
y
²
ù
a
+
z
‡
Coleman
g
Ó
þ
•
S
g
Ó
"
3
©
z
[4]
¥
§
ë
©
=
<
|
^
Ó
N
n
Ø
ï
Ä
ä
k
g
¥
%
z
5
f
+
k
•
+
Coleman
g
Ó
§
•
‰
Ñ
Out
Col
(
G
)=1
˜
¿
©
^
‡
"
@
o
‰
½
˜
‡
k
•
+
§
X
Û
ä
N
E
Ñ
§
Coleman
g
Ó
º
3
©
z
[5]
¥
§
°
?
‰
|
^
+
K
4
•
(
„
[4])
n
Ø
ä
N
‰
Ñ
¡
N
+
Coleman
g
Ó
+
"
3
©
z
[6]
¥
§
Ç
ö
À
U
Y
|
^
©
z
[5]
¥
•{
ä
N
‰
Ñ
2
Â
¡
N
+
Coleman
g
Ó
+
"
,
§
©
z
[7]
¥
‰
Ñ
˜
a
Sylowp-
f
+
•
Ì
‚
+
10
p
n
š
†
+
(
"
©
U
Y
|
^
+
K
4
•
n
Ø
&?
©
z
[7]
¥
‰
Ñ
+
Coleman
g
Ó
+
(
"
·
‚
y
²
X
e
Ì
‡
(
J
µ
DOI:10.12677/pm.2021.1181651476
n
Ø
ê
Æ
•
»
C
K
§
°
?
‰
½
n
1
G
=
<a>
o
<b>
§
Ù
¥
a
b
=
a
−
1
§
…
a
p
n
=1=
b
10
§
p
´
Œ
u
5
ƒ
ê
§
K
Aut
Col
(
G
)=Inn(
G
)
"
½
n
2
G
=
<a,b>
§
Ù
¥
a
b
=
a
r
§
…
a
p
n
=1=
b
10
,r
6≡
1(mod
p
n
)
…
r
5
≡
1(mod
p
n
)
,p
≡
1(mod5)
§
p
´
Œ
u
5
ƒ
ê
§
K
Aut
Col
(
G
)=Inn(
G
)
"
½
n
3
G
=
<a,b,c>
§
Ù
¥
a
b
=
a
−
1
§
…
a
5
=
b
2
=
c
p
n
=1=[
a,c
]=[
b,c
]
§
p
´
Œ
u
5
ƒ
ê
§
K
Aut
Col
(
G
)=Inn(
G
)
"
©
¥
§
G
L
«
k
•
+
§
π
(
G
)
L
«
|
G
|
ƒ
Ï
f
8
Ü
§
^
ζ
(
G
)
L
«
G
¥
%
§
C
n
p
L
«
n
‡
C
p
†
È
§
C
p
i
L
«
p
i
Ì
‚
+
§
O
p
0
(
G
)
L
«
G
•
Œ
5
p
0
−
f
+
"
Ù
§
P
Ò
´
I
O
§
ë
„
©
z
[2,8–10]
"
2.
ý
•
£
½
Â
1
G
´
k
•
+
§
N
1
,N
2
,
···
,N
s
•
G
5
f
+
"
P
G
i
=
G/N
i
,G
ij
=
G/N
i
N
j
§
-
π
ij
:
G
i
→
G
ij
•
g
,
N
§
Ù
¥
1
≤
i,j
≤
s,s
•
ê
§
K
¡
ˆ
G
=Projlim
1
≤
i
≤
s
(
G
i
,π
ij
)=
{
(
g
1
,g
2
,
···
,g
s
)
∈
s
Y
i
=1
G
i
|
g
π
ij
i
=
g
π
ji
j
,
1
≤
i,j
≤
s
}
.
•
+
G
'
u
Ó
π
ij
K
4
•
§
{
¡
ˆ
G
•
+
G
K
4
•
"
d
½
Â
1
á
=
í
Ñ
X
e
Ú
n
1
Ú
Ú
n
2
µ
Ú
n
1
P
Ò
Xþ
,
K
ˆ
G
´
G
1
×
G
2
×···×
G
s
f
+
§
…
G
ij
=
G
ji
,G
ii
=
G
i
"
Ú
n
2
P
ˆ
G
G
i
þ
Ý
•
π
i
§
X
J
π
i
•
÷
Ó
§
K
ˆ
G
=Projlim
1
≤
i
≤
s
(
G
i
,π
ij
)=
{
(
g
1
,g
2
,
···
,g
s
)
∈
s
Y
i
=1
G
i
}
.
d
ž
§
P
ˆ
G
=Projlim
1
≤
i
≤
s
(
G
i
)
§
=
Projlim
1
≤
i
≤
s
(
G
i
)=
G
1
×
G
2
×···×
G
s
"
Ú
n
3
[5]
G
´
k
•
+
§
N
1
,N
2
,
···
,N
s
•
G
5
f
+
"
-
π
ij
:
G/N
i
→
G/N
i
N
j
•
g
,
N
§
÷
v
∩
s
i
=1
N
i
=1
§
…
é
?
¿
p
∈
π
(
G
)
§
–
•
3
˜
‡
•
I
i
(1
≤
i
≤
s
)
¦
(
p,
|
N
i
|
)=1
§
K
G
∼
=
ˆ
G
=Projlim
1
≤
i,j
≤
s
(
G
i
,π
ij
)
"
Ú
n
4
[8]
G
•
k
•
Œ
)
+
§
P
G
i
=
G/O
p
0
i
(
G
),
G
ij
=
G/O
p
0
i
(
G
)
O
p
0
j
(
G
)
§
Ù
¥
π
(
G
)=
{
p
1
,
···
,p
n
}
"
-
π
ij
:
G
i
→
G
ij
•
g
,
N
§
…
π
ij
p
g
,
Ó
π
∗
ij
:
G
i
/ζ
(
G
i
)
→
G
ij
/ζ
(
G
ij
)
§
K
Aut
Col
(
G
)
∼
=
Projlim
1
≤
i,j
≤
n
(
G
i
/ζ
(
G
i
)
,π
∗
ij
)
∼
=
Projlim
1
≤
i
≤
n
(Inn(
G
i
))
"
Ú
n
5
[7]
G
=
<a>
o
<b>
§
Ù
¥
a
b
=
a
−
1
§
…
a
p
n
=1=
b
10
§
p
´
Œ
u
5
ƒ
ê
§
K
<a>
∩
<b>
=1
"
Ú
n
6
G
=
<a>
o
<b>
§
Ù
¥
a
b
=
a
−
1
§
…
a
p
n
=1=
b
10
,
p
´
Œ
u
5
ƒ
ê
§
K
{
b
i
|
i
=
2
,
4
,
6
,
8
}
•
G
¥
¤
k
5
…
•
G
¥
%
"
DOI:10.12677/pm.2021.1181651477
n
Ø
ê
Æ
•
»
C
K
§
°
?
‰
y
²
o
(
b
i
a
j
)=5
§
Ù
¥
0
≤
i<
10
,
0
≤
j<p
n
"
i
•
Û
êž
,
d
a
b
=
a
−
1
§
b
i
a
j
b
i
a
j
=
b
i
a
j
bb
i
−
1
a
j
=
b
i
+1
a
−
j
b
i
−
1
a
j
=
b
i
+1
a
−
j
bb
i
−
2
a
j
=
b
i
+2
a
−
j
b
i
−
2
a
j
=
......
=
b
2
i
;
b
2
i
b
i
a
j
=
b
3
i
a
j
;
b
3
i
a
j
b
i
a
j
=
b
3
i
a
j
bb
i
−
1
a
j
=
b
3
i
+1
a
−
j
b
i
−
1
a
j
=
......
=
b
4
i
;
K
Œ
b
4
i
b
i
a
j
=
b
5
i
a
j
=1
.
d
Ú
n
5
i
Ã
)
¶
i
•
ó
êž
§
d
(
b
i
a
j
)
5
=
b
5
i
a
5
j
=1(
Ó
n
i
•
Û
ê
y
²
•{
)
9
Ú
n
5
i
=2
,
4
,
6
,
8
,j
=0
.
Ï
d
{
b
i
|
i
=2
,
4
,
6
,
8
}
•
G
¥
¤
k
5
"
?
ab
2
∈
G
,
d
a
b
=
a
−
1
§
ab
2
=
abb
=
ba
−
1
b
=
ba
p
n
−
1
b
=
ba
p
n
−
2
ab
=
ba
p
n
−
2
ba
−
1
=
ba
p
n
−
3
aba
−
1
=
ba
p
n
−
3
ba
−
2
=
......
=
b
2
a
1
−
p
n
Ï
•
a
p
n
=1
§
¤
±
a
1
−
p
n
=
aa
−
p
n
=
a
"
ab
2
=
b
2
a
§
Ï
d
b
2
•
G
¥
%
§
=
ζ
(
G
)=
C
5
"
3.
Ì
‡
½
n
y
²
½
n
1
G
=
<a>
o
<b>
§
Ù
¥
a
b
=
a
−
1
§
…
a
p
n
=1=
b
10
§
p
´
Œ
u
5
ƒ
ê
§
K
Aut
Col
(
G
)=Inn(
G
)
"
y
²
Ï
•
|
π
(
G
)
|
=3
§
d
Ú
n
6
§
ζ
(
G
)=
C
5
§
G
=
<a>
o
<b>
=(
C
p
n
o
C
2
)
×
C
5
•
§
O
2
0
(
G
)=
C
p
n
×
C
5
,O
5
0
(
G
)=
C
p
n
o
C
2
,O
p
0
(
G
)=
C
5
,
P
G
1
=
G/O
2
0
(
G
)
,G
2
=
G/O
5
0
(
G
)
,G
3
=
G/O
p
0
(
G
)
,
K
G
1
∼
=
C
2
,G
2
∼
=
C
5
,G
3
∼
=
C
p
n
o
C
2
,
l
ζ
(
G
1
)=
C
2
,ζ
(
G
2
)=
C
5
,ζ
(
G
3
)=1
.
DOI:10.12677/pm.2021.1181651478
n
Ø
ê
Æ
•
»
C
K
§
°
?
‰
d
Ú
n
4
•
Aut
Col
(
G
)=Projlim
1
≤
i
≤
2
(Inn(G
i
))=Inn(G
1
)
×
Inn(G
2
)
×
Inn(G
3
)
∼
=
C
p
n
o
C
2
,
5
¿
ζ
(
G
)=
C
5
,
Inn(G)=G
/ζ
(G)
∼
=
C
p
n
o
C
2
§
Aut
Col
(
G
)=Inn(
G
)
.
½
n
2
G
=
<a,b>
§
Ù
¥
a
b
=
a
r
§
…
a
p
n
=1=
b
10
,r
6≡
1(mod
p
n
)
…
r
5
≡
1(mod
p
n
)
,p
≡
1(mod5)
§
p
´
Œ
u
5
ƒ
ê
§
K
Aut
Col
(
G
)=Inn(
G
)
"
y
²
Ï
•
π
(
G
)=
{
2
,
5
,p
}
,
d
©
z
[7]
•
§
ζ
(
G
)=
C
2
"
ù
G
=
<a>
o
<b>
=(
C
p
n
o
C
5
)
×
C
2
§
u
´
O
2
0
(
G
)=
C
p
n
o
C
5
,O
5
0
(
G
)=
C
p
n
×
C
2
,O
p
0
(
G
)=
C
2
,
P
G
1
=
G/O
2
0
(
G
)
,G
2
=
G/O
5
0
(
G
)
,G
3
=
G/O
p
0
(
G
)
,
K
G
1
∼
=
C
2
,G
2
∼
=
C
5
,G
3
∼
=
C
p
n
o
C
5
,
l
ζ
(
G
1
)=
C
2
,ζ
(
G
2
)=
C
5
,ζ
(
G
3
)=1
.
d
Ú
n
4
•
Aut
Col
(
G
)=Projlim
1
≤
i
≤
2
(Inn(G
i
))=Inn(G
1
)
×
Inn(G
2
)
×
Inn(G
3
)
∼
=
C
p
n
o
C
5
,
5
¿
ζ
(
G
)=
C
5
,
Inn(G)=G
/ζ
(G)
∼
=
C
p
n
o
C
5
§
Aut
Col
(
G
)=Inn(
G
)
.
½
n
3
G
=
<a,b,c>
§
Ù
¥
a
b
=
a
−
1
§
…
a
5
=
b
2
=
c
p
n
=1=[
a,c
]=[
b,c
]
§
p
´
Œ
u
5
ƒ
ê
§
K
Aut
Col
(
G
)=Inn(
G
)
"
y
²
Ï
•
π
(
G
)=
{
2
,
5
,p
}
,
d
©
z
[7]
•
§
ζ
(
G
)=
C
p
n
"
ù
G
=(
<a>
o
<b>
)
×
<c>
=
(
C
5
o
C
2
)
×
C
p
n
"
u
´
O
2
0
(
G
)=
C
5
×
C
p
n
,O
5
0
(
G
)=
C
p
n
,O
p
0
(
G
)=
C
5
o
C
2
,
P
G
1
=
G/O
2
0
(
G
)
,G
2
=
G/O
5
0
(
G
)
,G
3
=
G/O
p
0
(
G
)
,
DOI:10.12677/pm.2021.1181651479
n
Ø
ê
Æ
•
»
C
K
§
°
?
‰
K
G
1
∼
=
C
2
,G
2
∼
=
C
5
o
C
2
,G
3
∼
=
C
p
n
,
l
ζ
(
G
1
)=
C
2
,ζ
(
G
2
)=1
,ζ
(
G
3
)=
C
p
n
.
d
Ú
n
4
•
Aut
Col
(
G
)=Projlim
1
≤
i
≤
2
(Inn(G
i
))=Inn(G
1
)
×
Inn(G
2
)
×
Inn(G
3
)
∼
=
C
5
o
C
2
,
5
¿
ζ
(
G
)=
C
p
n
,
Inn(G)=G
/ζ
(G)
∼
=
C
5
o
C
2
,
Aut
Col
(
G
)=Inn(
G
)
.
Ä
7
‘
8
I
[
g
,
‰
Æ
Ä
7
(11871292)
"
ë
•
©
z
[1]Dade,E.C.(1975)Sylow-CentralizingSectionsofOuterAutomorphismGroupsofFinite
GroupsAreNilpotent.
MathematischeZeitschrift
,
141
,57-76.
https://doi.org/10.1007/BF01236984
[2]Hertweck,M.andKimmerle,W.(2002)ColemanAutomorphismsofFiniteGroups.
Mathe-
matischeZeitschrift
,
242
,203-215.https://doi.org/10.1007/s002090100318
[3]VanAntwerpen,A.(2018)ColemanAutomorphismsofFiniteGroupsandTheirMinimal
NormalSubgroups.
JournalofPureandAppliedAlgebra
,
222
,3379-3394.
https://doi.org/10.1016/j.jpaa.2017.12.013
[4]
ë
©
=
,
°
?
‰
.
'
uk
•
S
˜
"
+
Ú
Frobenius
+
Coleman
g
Ó
[J].
ì
À
Œ
ÆÆ
(
n
Æ
‡
),2017,52(10):4-6.
[5]Kimmerle,W.andRoggenkamp,K.W.(1993)ProjectiveLimitsofGroupRings.
Journalof
PureandAppliedAlgebra
,
88
,119-142.https://doi.org/10.1016/0022-4049(93)90017-N
[6]
Ç
ö
À
,
°
?
‰
.
2
Â
¡
N
+
Coleman
g
Ó
+
[J].
ì
À
Œ
ÆÆ
(
n
Æ
‡
),2020,55(12):
37-39.
[7]
3
¡
ï
,
±
•
.Sylowp-
f
+
•
Ì
‚
+
10
p
n
š
†
+
š
†
+
[J].
Ü
H
Œ
ÆÆ
(
g
,
‰
Æ
‡
),2013,35(10):56-59.
[8]
°
?
‰
,
½
a
û
.Coleman
g
Ó
+
Ý
4
•
[J].
ê
ÆÆ
,2020,63(4):281-288.
[9]
M
²
„
.
k
•
+
Ú
[M].
®
:
‰
Æ
Ñ
‡
,1999.
DOI:10.12677/pm.2021.1181651480
n
Ø
ê
Æ
•
»
C
K
§
°
?
‰
[10]Hai,J.K.andZhu,Y.X.(2018)OnColemanAutomorphismsofExtensionsofFinite
QuasinilpotentGroupsbySomeGroups.
AlgebraColloquium
,
25
,181-188.
https://doi.org/10.1142/S1005386718000123
DOI:10.12677/pm.2021.1181651481
n
Ø
ê
Æ