...

Page 1 Page 2 有限群の群環上の誘導加群と (課題番号 ー3640008

by user

on
Category: Documents
28

views

Report

Comments

Transcript

Page 1 Page 2 有限群の群環上の誘導加群と (課題番号 ー3640008
有 限 群 の 群 環 止 の 誘 導 加 群 と 誘 導 指標
( 課 題 番号
平 成 1 3 年度
一
)
1 3 6 400 08
平 成 1 5 年 度 科 学 研 究 費補 助 金( 基盤 研 究( c)( 2))
研究 成 果 報告 書
平成1 6 年 3 月
∴
二
一
-・ 1 ∴∴
_
.
`
1
・
・
_
研 究代 表者 :
( 千 葉 大学
20 00580 908 5
山
内
教育学部
憲
一
教 授)
有 限 群 g) 群 環 止 の 誘 導 加 群 起 誘 導 指 標
( 課 題 番号
平 成 1 3 年度
一
1 3 6 4 0 0 0 8)
平 成 1 5 年 度科 学 研 究 費 補 助 金( 基 盤 研 究( c)( 2))
研 究 成 果報 告 書
平 成1 6 年3 月
研 究 代 表 者:
( 千 葉大学
山
内
教 育学 部
憲
一
教 授)
は じめ に
こ の 報 告 書 は 日 本学 術 振 興 会 科 学 研 究費 補助 金 ( 基盤 研 究( c)( 2)) の
年 度 か ら 平成
13
1 898
年に
呼 ばれ る
Fr
F G
あるとき
d
G
ule
代表 的 なも の
本 研究 で は
の構造に
とともに
つ い
の 1
て
研 究を進 め た
つ
o n
の助言
を得 ま し た
ad
に
is
o n
W is c
,
1
の
2
3
ます
2
表現
の
3
つ
本研 究 ば か り
、
い ただきた い
ac o
bs
o n
ⅠM
、
を進 め た
の
F
が 標数 0 の 体
つ
本 質 的 に 重 要 なも の
、
ある
で
この こと
。
であ
を 示 す 最も
。
を用
い て
有 限群 の 指 標 環
専 門分 野 か ら の 情報
の
っ
あろう
で
の 提供
。
gh
.
2 00 2
a a cs
有 限群
、
a m
大 学 ( 英 国) を 訪 問 し
で なく誘 導加 群 に 関す る 諸 問題 に
Is
.
の 多く の
部分 は
、
大学
の Is a
a
っ
cs
く
い
、
年
12
月 (2 日
-
の指標
つ い
1 2 日) に W i s c
教 授 と意 見交 換 を し ま し た
に 関す る 諸 問題 に
つ
か
成果 を得 る
こ とが
う し た 成 果 の 詳細 に
つ
い て
の
つ い
て
て
、
G R
・
・
も 多く
o n si n
大学
本研究 以外
o
多 く の 助 言を
出来 た
そ の 主 なも の
。
て は 本文 の 「 研 究成果」
つ い
決定
指標 環 が 同型 で あ る と き G
の
か
資料 収 集 や研 究 連絡
、
教授 をは
計 算機 購 入
じめ
、
,
H
の それ
の m od ul a r
ぞれ
。
の
て は 研 究 分 担者 の み
こ こ に 記 し て 感謝 の
の
こ
。
間 に ど の よ うな 関係 が 存在 す る
c o n si n
。
の 1
それ ぞれ
、
特に
。
誘導 加 群 と
V
.
( 誘 導 定 理)
e ore m
山内は
:
根基に
そ れ ぞれ
の
H
,
本 研 究 の 推進 に 当 た
した
体 とす る
、
。
な複雑 な計算 を す る 必 要 も あ り
W is
V に対して
ule
構成 は
の
-
事項 に なり ま す
の
の 有限群 G
つ
研 究費
o
日 1 7 日) に B i r m i n
月( 7
有 限 群 の 指 標環 の 単数 ( 無 限位数)
・
d
群 と 誘 導指
。
同 型 問題 を は じ め
有 限 群 の 指 標環 の J
・
Th
て は 共 同 研究
よ うな 3 年 間 の 研 究 の 結果
を参 照 し て
.
つ い
米国) を 訪 問 し
,
の 誘 導加
。
を挙 げ る と 次 の
の項
の
u c ti o n
ま た 研 究代 表者
。
o n si n
も群環
得 ま した
以上
べ
教授 と 意見交換 し
いて
つ
て述
誘導指標)
、
各研 究 分 担 者 に は
。
かの 方向に
つ い
群環 上
山 内 を 中 心 に 誘 導 加 群 ( 誘導 指標)
山内 は 2 0 0 2 年 1
:
R ob i n s
(M
:
m
-
最 も基本 的 な道 具
い て
の Ind
r a n e r
研 究代 表者
次 に 外 国訪 問 に
研 究代表者
にお
、
いく
、
が B
の F H
指 標 の 誘 導 指 標 と 呼 ばれ る
の
の研究
つ
の
こ こ に F tま任 意 の
o
は 同 じ こ と で ある が
い
有 限群 の 表 現 論
、
を 構 成 した
指標 を V
の
限群
平成
、
。
G
V
「有
年 間 に実 施 され た 研 究
の 3
は 有 限群 G の 部 分 群 H
e ni u s
m o
-
V
b
o
誘 導加群 ( ある
て
年度
に 関す る も の で あ る
標」
で
15
交付 を 受 け て
い
た め の 旅 費 と して 使 用 さ れ た
た め に 設備 備 品 費 の
ならず
数 多く
意 を申 し 上 げ た
の
。
の
一
部 を使 用
ま た細か
。
した
o
大学
の
R
研 究者 並 び に 大 学 院 生
の
お 世 話 に なり ま
、
B ir
m
in gb
a m
o
bi n
s on
教授
、
平成
1 6
年
3 月
研 究代 表者
:
山
内
憲
一
科 学研 究 費補 助 金( 基盤 研 究( c)( 2)) 研 究成 果 報 告 書
( 1) 課 題 番 号
1 3 6 4 0 0 08
研 究 課題
( 2)
有 限群
( 3) 研究 代 表 者
の
群環 上
山内
憲
一
の 誘 導加 群 と 誘 導指標
( 千 葉 大学
・
研 究 分担 者
( 4)
野揮
宗平
( 千葉 大 学
越谷
重夫
(千葉大学
北詰
正顕
( 千葉 大 学
越川
浩明
( 千葉 大 学
丸山
研
( 千葉 大 学
一
( 5) 研究経 費
総計
:
13
年度
:
1 300
千円
平成
14
年度
:
1 000
千円
平成
15
年度
:
1 ,0 0 0
千円
,
理学部
・
理学部
・
・
・
・
・
・
教 育学部
教 育学部
3 ,3 0 0
平成
,
理学部
・
教授)
教 授)
教 授)
・
・
教授)
助教 授)
千円
iii
教 育学 部
・
教授)
( 6)・ 研 究発 表
( 6 1) 学 会誌 等
・
山内
1
O
.
F
e n
b is
o r
p
i c b i Y A M A IJ C H I)
of
m s
B
a
a u er
r
b
c
r
a c te r
c
h
ing
o n t o
r
a n ot h er
ⅠⅠ, J
A lg eb
o u r n al of
,
24 1
r a
,
of
・
Jac ob
th e
n
Ed
T he
・
o m
808 817
,
a c u lt y
3
(K
一
-
O
.
is
n
( 2 0 0 1)
2
憲
so n
u c a ti o n
a d i c al
r
C hib
,
c o n s t r u c ti o n
of
the
U ni v e
a
of
o f u n it s
r
sit
a r a ct e r
y, V
inf
i n it
ol
51
・
d
e
or
p bis
m s
ri n
,
e r
of
g
( 2 0 0 3)
,
i n th
c
e
丘n it e g r o u p
a
3 15
h
317
-
T he
,
B
of
th
p
(投
u ll eti n
e
.
ri n
a r a ct e r
of
g
丘n it
a
e
gr
o u
s
J
,
稿中)
4
A
.
n ot e
越谷
1
of
ati k
3
・
53 9
by E B
r
・
o u
・
gr
・
ou
( w it h
n
it
,
27
u z u
・
M iy
ac
4 5 22
-
N
K
・
J
N
.
K
o u r n al
d
c o r r e sp o n
of
e n ce
p blo ck s
of
-
fi
n it e
r
g
o u
p
,
o u r n
al
"
,
ki
.
of
c h a r a ct e ri st i c
Jo
,
th
r n al
u
3 di
e
m e n si o n al
-
fu
di e
e r
r
ei n e
p
r
d
u n
j e c ti v e
o
a n
a n
s
e ci a l u n i
p
dt
M
e
ge
w
Di
m e n si o n al
at
h
e
P
r
o
at
h
-
-
.
y G
ar
a n
1
gi ) A R
H S
.
,
o u
G
r
H
,
e m a rk
r
h i) D
.
ou
Y
in C b
s
p
a n
ps
a m
a
b eli a
a r a
d C
ki, T
・
L
e
¢e ris ti c
o m
Y
b in
o sh
id
c o n
S yl o
n
w
y S tr
o e w
j e c t u re
o n o v an
a
th
o n
3 g
-
r
3
,
AS P M
a t o ri c s
)
a
o u
p
o e w
(A d
in
.
d L
a n
-
V ol 3 2
,
f o r th
u ct u r e
M
v
y le
of o r d e r
gt h f o
n
9
of
337
,
,
C
re e
d S t u die s i n P
a nc e
e m o ry
( 2 0 0 1)
,
Th
e
M ic h i o S
-
3 46
e
ki
"
M
-
( e d it e d
.
p ri n ci p al 3 bl o c k s
r
-
fi ni t e
of
i n A lg e b
m u n i c ati o n s
o m
u z u
u r
-
r
a
29
,
.
u n u
d ef e c t g r o
( w it h
ps
u
-
( 投 稿 予 定)
,
p r i n c ip al 3 b l o c k s
e
ing
n
ele m e n t a r y
4 50 9
a b eli an
6
it h
w
,
un
T h
J
H
s
U
1
,
or
-
d e if
E] * & * %
,
( w it h
p
K
・
-
m
er m
504 517
,
gi )
u n u
n o n
e c i al
ai
(2 0 0 1)
5
N
i n g is o
r
K O S H IT A N I
e o
( 2 0 0 1)
,
K
・
h ig
( 2 0 0 1)
,
a n n
・
4
N
( w it h
a ti c s
e m
a r a ct e r
M ic hl e r) G l a u b
・
p s in
ou
j e ct i v e S p
g
・
( w it h
・
t a ry g r
m
G 0
A lg e b r a 2 4 3
2
h
c
重夫 ( S
( w it h
・
o n
u
p
u n u
of
gi )
of
gi
P
or
a n
u re
j e ct
'
B
c on
r o u e s
de
d K
an
9
r
.
,
W
Jo
a
u
rn
k i) B
al
h o ld
s
A lg e b
r
u re
of
'
r
a
c o n
r a
1V
1 73
,
p ri n ci p al 3 b l o c k s
r
w
-
248
jectu
o u e s
d A p p li e d A lg e b
fo
r
e
,
( 2 0 0 2)
fo
( 2 0 0 2)
r
n
,
o n
-
5 75
604
el e m e n t a r y
・
p ri n ci p a l 3 b l o c k s
177 211
-
-
,
-
it h
.
of
fi n i t e
7
C
C
・
.
o m
8
M
m
ic
un
at h e m
1
2
Th
e o ry
a ti c s
m
3
N
b
u m
4
a n
,
5
ot o
( 2 0 0 1)
Th
M
・
e o ry
M
H
・
u ro
,
315
un
e m
a ra
J
e a n
p
C H
.
L
・
15
48
6
A lg e b
7
an
r
a
S
2 55
,
( w it h
.
)
al g e
ti c e s
r
,
a
23
,
C
d 3A
( 共著
.
( 共著
す る研 究
、
d
o
o c e ed in
s
,
cl a s s
of v e rt e x
p
P
,
g
of
s
th
A
e
e ric a n
m
A
of
o n or
33 8
,
359
-
a ut o m
M ic h i o S
m
"
ki
u z u
p
e r at o r
g
r
d fr o
al g e b r a s c o n s t r u c t e
m
・
his
o rp
o
o u
Ad
,
of
v
ps
an ce
V O A
"
in
,
F i n it e G
d S t u d ie s in P
o u
r
u re
M
Jo
u rn
s
p
at h e
-
U ni
m
d ul a r G
o
a u s si an
L
a t ti c e s
L
eec
of
R
k 12
a n
,
of
al
-
o
de C
of
C
o m
Y
・
,
.
-
0)
-
m
-
o
a t o ric s
bin
d
a m a
of
o n s t r u c ti o n s
M
)
a
23
,
o o n sh
d u le s , J
V
e
al of
o u rn
e
( 2 0 0 2)
,
in
th
u re
L
a tt i c e
573 581
an
d
th e
N ie
ei e r
m
-
,
Op
e rt e x
P
h
a n
.
e r at or
A lg e b r a
L (1/ 2 0) @
as
d A p p li e d A l g e b r
a
,
1 73
,
,
( 2 0 0 2)
,
e
a
r
dic al
bg
s u
r
o u
p
of t h e
s
Fis ch
e r si m
ple g
r
ps, J
ou
o u r n al
of
-
a
a m
・
d M
an
Z
o v er
d
a n
O
.
6
Jo
,
H
Y
・
of t h e
el e m e n t s
1269 1303
z
k i) T
e
u r n al
a m
M
o
A lg e b r ia
of
d q) 3
a
y C
e r n ar
o n st e r
-
g ro
u
p
C
c
P
s t at e
de C
I nt
,
bi n at
o m
o t ts
of
o n s t r u c ti o n
m
o
o ri c s
d el
,
e r n at i o n al
M
M
,
U
1 6,
n
im
d
o
( 2 0 0 2)
o o n s hi n e
v
u
lar L
,
209
e rt e x
a t h e m at i c a l
R
o
a t ti c e s
-
22 3
p
e s e a rc
1
e r at o r
h N
o
-
-
,
ir
o a
ol
.
・
A)
ki K O S H I K A W
永井 他)
V
Th
22 58
,
es
L
・
( 2 0 0 3)
学教育研 究
2
r
d ef ec t g r o u p
n
・
e x t e n si o n s
u
-
o s it i o n
p
77 94
,
d H
a n
d
a ra
・
a n
,
H
.
越 川 浩 明( H
1
b eli a
-
,
p gro
( 2 0 0 1)
,
e n
v
Z6 C
a
o s hi a r a
C H
( w it h
b
E
o u r n al
a m
( 2 0 0 2)
,
u al
-
・
2229 2243
a
・
as a
)
d
ns
in h
324
-
)
Y
.
M
d S elf D
8
it h
.
( w it h
.
w
-
M E)
24 2
,
-
L( 7/ 1 0 , 0) @ L ( 4/ 5 , 0) @ L (1
-
t r al
)
ras
( 2 0 0 2)
,
p ri n c ip al 3 b l o c k s
r
( 2 0 0 3)
,
a m ad a
Y
・
a t o ri c s
95
,
5
・
of c e n
3 tra
)
bi n
o m
A
( w i th
d H
a n
a m
M iy
・
( w it h
.
a m
M
,
L at t i c e s , E
L
・
o
ig f o
u
ki K I T A Z U
sa a
a
N
P
( 発 表 予 定)
A lg e b
d C
32
er
.
o c i e ty
31
B l o ck s
of
( w it h
.
S
d
an
a
r
o u r n al
,
( w it h
.
gi )
u n u
・
o n o v an
A lg e b
K
・
C H
°e s J
co
D
in
正 顕( M
( w it h
.
8
N
a ti c al
北詰
Z
a ti o n s
( w it h
.
of
ct u r e s
je
o n
W
26 N
b 上 の
e
o
.
1
永井 他) 知識
知識
( 2 0 0 2)
,
マ
ッ
,
マ
78
プ上 で
日 本 教 育 工 学 会第 1 8
ッ
-
90
の
プ を用
い
た 数 学 的問題 解 決 と そ
の
過程
の
分析
、
科
・
協 同 学習 に お け る 携 帯端末 を 用 い た 形成 的評価 に 関
回全 国 大 会論 文 集
Ⅴ
、
( 2 0 0 2)
,
3 93
-
39 4
.
3
(共著
.
永井他)
W
b 上での
e
本科学 教育学 会 年 会論 文集
4
W
.
教材 に
b
e
丸山 研
1
h
A
.
225
2
-
in d u
3
ce
S
e ro
7T .
.
M
ro
of
R
・
u
ls
n
o m
.
Sh
G
)
tt e
e n
ot o
py
d
el a t e d
r
d D
o u
p
m
a
of
e ri e s
r o u
p
s
r
o u
ps
r
V ol 5 2
、
.
,
(2 0 0 4 2)
.
307
,
311
-
.
)
q u iv ale n
e
St
・
s
w
ces
C
t o pic s ,
53
h i c h is i n
o n te m
H op f s p
w ee n
,
ap
in
e a r
p
se m
ig
o u r n al of
( 2 0 0 2)
,
to
,
J
u sh u
p s b et
・
T he
)
a n ley
Ky
,
274
,
of
( 2 0 0 1)
,
a r i an
v
M
o r a ry
p
t
on
a th e m
ge
n us
a ti c s
,
G
2 74
,
ro u
of
ps
( 2 0 0 1)
,
,
47 57
ou
r
M
aces
of
p
at h e m
T h
,
e
s e lf
-
h
a ti c s
Q
o m
ot o
56
,
py
cl a s s e s
( 2 0 0 2)
,
u a r t e rl y
J
hi c h
w
89 1 07
-
,
o u r n al of
・
at h e
M
-
-
T
.
a n s a c ti o n s
r
A
of t h e
m e ri c a n
M
a t h e m a ti c
al
h
o m
,
A
ot o
s elf e
py
-
m e ri c a n
M
q u i v al
at h e m
e n ces
a ti c a l
S
an
d
r
o ci e t y
el a t e
d t o pic s , C
o n
te
m
-
.
(S
m s
o u
p
s
of a
B
r
an er
( 九 州 大学)
h
o u
A U C H I)
i c bi Y A M
bis
o rp
F i n it e g r
治 大学)
3
py g r
L ie G
at i c s
(K
一
野津 宗 平
・
a n
z
d S
ec o n
学会代 数学分科 会
2
an
e r ti e s
p
S
・
ath e m
山内 憲
.
n c es
.
口頭発表
.
1
-
千 葉大 学教 育学部 研 究紀 要
、
日
、
:
・
( 6 2)
O
o m
it
o w
o m ot o
n el s
J W
o r a ry
・
h
た 形成 的評価 に 関す る 研 究
い
.
( w it h
1
h
o n
ker
-
o ci e t y
q u i v al e
A rk
・
O xf o rd
,
編著書
p
M
S t a b ili t y p
.
of s elf
p
189 192
,
M A R U Y A M A
ic hi
-
,
携帯電話 を用
の
.
z
m a ti c s
4
-
( w it h
・
u
s e lf e
py
231
e n
bgro
su
o m ot o
(K
一
( 2 0 0 3)
2ア
考察
ての
つ い
協 同 学習
ei
w
Ch
a r a c te r
le
g th s
R in g
o n t o
A
n oth e r
ⅠⅠ, 2 0 0 1
,
年
10 月
、
日本 数
.
N O Z A W A)
i th th
r
ee
cl a ss
n
,
年
2002
3 月
、
日 本 数学 会代 数 学分 科会
(明
.
a rp
c
h
a r a cte r s
of r a n
k t
共 役 類 の 長 さ と 既 約指 標
( 熊 本 大学)
の
w
o
,
2002
次数
、
年
20 0 2
3 月
年
.
V l
、
7 月
日 本 数 学 会代 数 学分 科 会
、
第
( 明 治 大学)
1 9 回 代数 的組合 せ 論 シ ン ポ ジ
ウム
.
越 谷 重夫
1
成
A
.
n
2
Re
.
'
at b
3
et
g
o u
r
k
c o r re s
c o n
d
o n
'
B
o u e s
r
L
ン ス
u m
ホ
セ ッ ツ)
4
ジ
モ ロ
O
.
)
M t H ol y
ー
、
'
B
n
ro u e s
R ep
有 限群 の
年8 月
6
G
r
u
en
pp
研究所
7
A
o
re m
9
ジ
lo
b
A lg eb
1l
・
e
e
a n :
p
a
su rv e
CIR M(C
、
T il ti n g C
,
ple x
o m
の構
es
y
t re l n t
en
年
2 0 01
.
10 月
C
、
de R
e r n a ti o n al
g o ri e s
at e
e n c o nt r e s
・
s
in
c o
p ri
,
a n
d C obo
,
USA
r e s e n t a ti o n s
a s s a c h u s e tt s
M
,
u i v al e n c e s
q
,
a c ti o n
m e
ol o
m
(群
gy
6 月 アメリ
年
2002
,
表現
、
( ア メ リ カ 合衆 国
d
R ick
h
q u i v al e
e
o n
at i c
al
M
r
C
o
r as
a n
F i n it
サチ
マ
・
そ して
、
ー
ュ
W
p g
-
o m
G
e
ol o
E
gr
ポ
、
o rk s
x
o u
a m
p
s
c o n
ー
ラ
ple s
,
of
2003
ド
)
ン
B
年
r
イ ギリ
ス
ド ン 数学 会 主催 ダ
ロ ン
、
o u
p blo ck
s
-
( 有 限群
as
r
の
ラ
ー
表現 と そ れ
.
工 業 大 学)
a b eli a n
it h
w
予想に
エ
て
つ い
、
20 0 2
of
fi nit e
.
d ef e
数学研究所 研究集会
ッ
ハ
ps
( 有 限 群 の 表 現)
p
h
o
p
丘n it e g r
Sp
)
e
オ
、
e ci al
ス
ー
e x t e n si o n s
(
Y
s
p
オ
、
D
ct
g
r
o u
a r s t ell u n
バ
ー
of
e a r
年4 月
2003
,
レ ス
、
i n b lo ck s
ce
ヴオ
ー
ps
d lic h
e n e n
g
ル ファ
er
数学
ッ ハ
タ
fi n it
大学
一
e
gr
ou
A lg eb
o n
fi n it e g r
o u
s
p
,
G
2 00 3
年
ー
o
6 月
-
月
7
a n
9 月
、
gy
M SI
、
d T o p ol o g y
トラ リ ア
ス
o m ol o
h
.
e o m et r y
オ
、
b il d C
ス
年
2003
,
ai c
r
o cb s c
イ ギリ
、
ps
ト ラ リ ア 国 立 大学
of
H
、
.
.
有限群
の
コ
ホ モ
r
b
ロ
.
d e ri v e d
o n
o u
研 究 集会)
gy
l n s t it u t
r
r o u
of
q ui v ale n
e
n ce
e o ry
7 月
d R elat ed A lge b
an
、
年
2 00 2
,
.
R el a t e d T b p i c k s
d
ps
o n
ヴォ ル フ ァ
ー
h
j e ct u r e
o u e s
ou
( 室蘭
、
c o n
i n bl o c k s
o ri t a
o f c e n t r al
r
j e ct u r e
s
of
n
c es
S ci e
Th
'
バ
ー
o c b s c b ild
a rk
s
シ ン ポ ジウム
ドイ ツ
n
F in it e G
of
ct u r e
je
c o n
p
一
a rd
オ
、
o u
表 現論 に お け る 最 近 の 重大 予 想 特 に ブ ル
ー
p r e s e n t at i o
'
B
大学
ル ン
a
丘n it e g r o u p
R ep
,
論 ( 京 都 大学 数 理 解 析 研 究所)
ー
fi n it
ラ
ュ
e r w o lf a c
m
B lo ck
・
in J
ラ ム 大 学 数 学研 究 所
ー
回代数 学
e s e n t at i o n
r
ジ
an
(H
p
ダ
年3 月
o r it a
( M よt h e
Rep
s
e
Ob
W b rk s b
・
R
,
、
M
・
8
'
ou e
r
r e s e n t a ti o n
、
モ
7
4
ps, 2003
ou
gr
第
、
B
・
s
p
b e li a n d e f e c t g r
a
に 関連す る 代 数)
.
o u
k e C o ll e g
o
・
r
e
.
ct u r e
of
s
d
・
ム 研 究集 会
5
e ri v e
数 学研 究 所)
iny
bl o c k
of
en c e
カ 数 学会 主催 夏 期研 究 集 会 G
コ
je
c on
d
o n
( 導 来 同 値 と 有 限 群)
fi n i s
es
p
p
j e ct u r e
o u e s
r
n
o
)( フ ラ
n
'
B
r
( 大阪 市 立 大 学 理 学 部)
、
or
w
K O S H I T A N I)
eo
e m a ti q u e
O
.
3 月
c e nt
d e ri v e e s
M
年
h ig
p l e fo
a m
e x
20 0 1
、
(S
e
フ ロ ペ
q
ニ
u u i v al e n c e s
of
blo c k s
of
fi n it e g
ウ ス 代 数 と そ れ に 関連 す る 話題
r
o u
の
p
s
,
F
o
研 究 集 会)
e n iu s
(
、
ト
.
o u e
10 月
'
s
、
a
b e li a
第
3
n
d ef e c t g
6 回
r
o u
p
j
c o n
e ct u r e
衆 論 お よ び 表 現論
v
ii
in
r
e
p
r
e s e n t a ti o n
th e o
シ ン ポ ジ ウ ム ( 弘 前 大学)
.
r
y
of
12
tr e
M
,
o r it a
ds i n
n
r
( カナ 久
e
B
ff l n t e r
a n
T
.
符号
.
3
研究
4
"
D
O
.
S
E
.
.
ロ
コ
4
T
o
o n s t r u c ti o n
of e x c e
d
o
e
,
G
U ni
of
u al
-
p t i o n al g
ph
a
r
S e lf D
.
o m ot o
ロ
ジ
S elf h
キ
M
a
.
s
C
a n
-
10 月
C
、
u r r e nt
( 有 限群 の 表 現 論 に お け る 現 在 の 傾 向)
s
、
・
d ul a
L
r
a t ti c e s
有 限群論
3 回
年
7 月
4
7 回 代数 学 シ ン ポ ジ
2 0 01
,
m
p ol o g y i n
2002
、
年
8
月
第
、
des
o
集 合上
第
、
1
ウム
d U ni
a n
o m ot o
2
,
年
2002
( 京都 大 学数 理 解析 研 究 所)
"
d ul a
o
m
-
r
L
a tt i c e s
( 北海 道 大学)
in
Di
月
短 期 共同
、
・
e n si o n
m
9
48
,
年
2003
7 月
、
.
M A)
2 0 0 1
、
群に
py
1 2 月
年
した
a s s o ci a t e
談話会 ( 九 州大 学)
、
批
、
r a
ti o
n
、
2
0 0
・
2
年
2
月
、
水
ー
.
m
py
の h
o f s m all e s t ei g e n v al u e
d t h ei r L i n k s
の 成 す半群
set
py
ot o
o m
ap s
w
hich i n d
u ce
zer o
h
o n
o m
ot o
py, 2002
年
5 月
高麗 大 学 ( 韓 国)
、
.
ps ind
S elf
m o
p hs
a
r
i c hi M A R U Y A
-
セ ミナ
ー
ウム
ュ
e n
py
u
大学 ( イ タ リ
5
C
,
o m ot o
-
)
n
年
20 0 3
blo ck s ,
M E)
頂 点 作 用 素 代 数 と 有 限群
・
a ti o n
(K
一
S elf h
.
戸 トポ
3
h S t a ti o
es e ar c
din g
.
o m e
丸山 研
2
fi n it e g r o u p
0 回 代 数 的組 合 せ 論 シ ン ポ ジ ウ ム
第2
1
格子
・
e si g n s
n
c o r r e sp o n
aacs
.
C l a s si丘c
.
of
o ry
R
ls
ee n
ki K I T A Z U
C
e
w
ー
工 業大 学)
( 室蘭
d
o
the
a ti o n al
n
a s a a
C
e r n a ry
草津 セ ミ ナ
2
M
b et
ce
n
n t at i o n
prese
北詰 正 顕 (
1
q u i v al e
e
ci n
ア)
g
z
M
on
h
o m ot o
py
2 00 2
,
年1 0 月
、
トポ
ロ
ジ
gr
o u
ー
セ ミナ
ー
、
M il a
/ B ic o c c a
n o
一
.
p s in d
a
er o
al a
g
a
u
ci n
g th
e
t ri v i al
( 研 究集 会)
、
M a
l
m
a
ag a
p
h
o n
大学 (
o m ot o
v
iii
ス ペ
py
イ
)
ン
・
ps
,
2003
年
9 月
、
A l g e b r ia
c
( 7) 研 究 成果
以 下 に述
1
.
2
.
3
べ
る3
の 事項 に
つ
つ い
有 限群
の
指標 環
の J ac ob so n
有 限群
の
指標環
の単数
2
.
根基に
( 無 限位数)
有 限群 G
の
つ
研 究成果 が あ り ま し た
て
の
H
,
つ い
の各項目
G
c
:
複 素数 体
=
最小
1
.
部 分体
の
そ れ ぞ れ の 指標 環 が 同型 で あ る と き G
an
M
h
asc
at
h
I Gl
、
ぐ:
、
A
、
られ る
e w ski
:
.
こ こに
。
定理1
定理
.
を用
1
J
60 5
,
∈
G
い て
J
c
.
a co
β
は 素数
( > 5)
_
=
G のす
単位 元
1
u ( R)
-
:
べ
補題
,
a n as c
h
aco
2 1
.
LJ
bso
ac o
n
b
so n
。
はす
根基は
つ
R
単数群
m o
d
ula r
。
Q (()
-
:
Q
、
:
有理 数体
-
( および Q を含むような C
-
R ( a)
、
:
-
G
の
、
の
指標 鼠
つ い て
O
n
th
e
c
) を用 い
べ
h
a r a ct e r
て I( c 7 ')
-
,
0 で
ある
r
in gs
of
fi n i t e g r o u p
次の 定理を得る
て
s
,
C
a n ad
・
o
( ¢I ¢ ∈ R ( a ) 4 ( c)
∈7
,
)
'
で与え
o
根 基 に 関す る 次 の 定 理 を得 る
。
.
の決定
。
:
-
1
の原始 p
指 標 の 値 を含 む
を持
の
K
、
e w ski,
ル
H の そ れ ぞれ の
有 理 整 数全 体 の 成す 環
-
:
ア は A の 極 大イ デ ア ル で あ る
,
、
て の
と 定 義す る
i
B
根基 に
s o n
有限 群 の 指標 環 の 単 数 ( 無 限位 数)
.
:
.
b
6 1 2 を 参照 せ よ
-
さ ら に 記 号 を追加 す る
p
Z
原 始I G ト乗 根
極大 イ デ ア
R( a) の J
1 2
る 前 に 記 号 の 説 明 をす る
に 含 まれ る 代数 的 整 数 全 体 の 成 す環
K
,
。
の位数、
1 の
R ( a) の
1 1
G
定理( B
の
べ
-
-
‥=
(1 9 6 3)
15
.
定理
2
て述
つ い
有 限群 の 指標 環 の
.
B
I
有 限群
-
‥
に
て
決定
の
表現 の 間 に ど の よ う な関係 が 存在 す る か
上記
。
A
乗根
の
Z[ L J]
、
部 分環
:
-
LJ
と Z を含 む C
の
最小
の
部分 環
、
。
可換環 R に対 して
、
U f( R )
:
-
位数が有限
R
の
の
単数 か ら成 る
U ( R ) の 部 分群
。
U( B )
j を 1 ≦i j
,
< p
U f( B ) な らば U ( R ( a ))
-
,
i
-
U f( R ( G )) が 成 り 立
≠j を 満 た す有 理 整 数 と す る
1Ⅹ
。
こ の と きi k
≡
つ
o
j( r , w
d p)
,
1 ≦k < p
を
満 た す 有 理 整数
k が 存在 す る
に対 して
か の 1 変数 関数 を 定義す る
く
い
つ
-
I
k
X P +
-
1
蛋
'k
x p
-
2
-
f k( x)
X
-
k
1
k
x
-
2
1
+
-
・
・
定理
9ij( e)
定理
-
2 3
i
9 k( e )
e
.
,
ある
f i ,( E)
e
(ii)
1
-
叩
I
A
x p+
-
,
m
-
+
・
・
+ 1
・
,
1
-
x
k
m
-
+
-
・
+ 1
,
-
i
f k( x )
I
次 の (i) (ii) が 成 り 立
、
つ
。
,
入を 1
・
の原始p
つ
乗根 と す る
一
e
=
。
ま た は e 入 が成 り 立
つ
と
。
・
0 ま た は T70
-
4, を G
. l
・
-
,
(i)
x
o
こ の と き 次 の (i) (ii) が 成 り 立
.
m
m
1)
一
i
士1 , rl , 0
-
-
原 始 p 乗根 と す れ ば
1 の
f k( e )
-
' l
。
の単数 で
糾
は
(ii)
の
を任 意 の
e
.
詰壬
(i)
する
2 2
k
が 奇数 の と き)
・
つ
,
,
-
1)
-
(
+
・
f i ,( x)
定理 が成り立
(
k
X
g k( x)
+
+
(k
こ の とき次の
有理整数i i
o
が 偶 数 の と き)
(k
-
意 的 に定 ま る
一
。
,
. l
て
っ
,
I l
g i, ( I )
f k( I)
値はi j によ
この k の
o
-
1
・
指標 と す る と き有 理 整 数係数 の 多項 式
の
仲)
a
-
n
n
x
+
・
-
+
+
al X
ao
に 対 して G
般 指 標 f(ゆ) を
一
'
f (4 ,)
a
-
n
+
で
ある
ゆ
n
+
-
ゅ+
al
a oI G
l
定義 す る
で
を用
2 3
.
定理
とす る
り立
つ
(i)
(ii)
定理
れた H
は G
G
ら は f ij( a) を定 理
これか
定理
こ こ に1
o
2 4
.
2 2 の
・
次
の定理が
得 られる
<
>
を位数 p
の
a
,
< p
,
,
ゆ を ゆ( a)
、
≠j) に 対 し て i
i
o
2 2 と
定理
・
。
巡 回群と し
(l ≦i j
o
前 に 定義 され た 有 理 整 数係 数 の 多 項 式 と す る
い て
有理整数i i
.
単位 指 標
の
-
+
LJ
定義 さ れ る
で
j ≠p と 仮 定す る
<
a
>
次指標
の 1
こ の とき次が成
.
。
土f i ,( ゆ
) は <
a
・
士f i, (
抑
2 5
H
I
.
の 1
>
の 1
ま指 標 環 R ( <
=
<
a
>
次 指標
a
>
)
を 有 限群 G
次 の 指 標 とす る
で はない
o
の 位 数無 限 の
の
位数 p
の巡
,
こ の と き 土f i ,(4)
・
。
Ⅹ
⑳G
単数
で
ある
o
回 部分 群 と す る
(l
≦i j
,
< p
,
i
。
4 , を 4 ( a)
≠j
,
,
i +
-
で
w
j ≠ p) は
定義 さ
R( G ) の
単数
ある
で
こ こ に fi ,( 申
)
・
o
'
2 6
定理
2 7
1 G/ G 1
定理
ある
3
を有 限 群 G
'
これ から は G
.
がp
の
有 限群 G に
.
⑳G
,
は f ij(4 )
倍数
で
2 つ の 有限群 G
雷:
デア
て G
/
≠G
,
u
である
c ti o n
o
o
U ( R ( a ))
の
単数 を も つ
/
U f( A ( a )) な ら ば
-
o
a / a tま( 2 , 3) 群 で
一
、
ル
雷
、
.
.
.
di
、
A/ ア
-
軒) を同型
,
宮( a )
定理 3
‥
-
( ∑;
1
.
2
( a)
m
雷a 雷
di
-
-
k( B i)
:
ai ∈
雷 a 宵( H ) が 成 り 立
m
B
-
-
定理
3 2
7)
、
:
-
ただ 1
素数 p を含 む A
つ の
全体 と す る
の
雷R ( a ) か ら 言R ( H )
つ
素イ
の
o
-
の
同型 写 像 が 存 在 す る と
の
同型 写 像 が 存 在す る も
。
G の p bl o c k の 全 体
-
、
絶 対 既 約 な 通 常指標
つ
の
て B l( a) ∋ B
・
Y
r au e r
の個数、
有 限群 G
)
i
の
a m
-
i
ト
k( B ;)
,
,
う
n
-
の
個数
、
i( B i)
th e J
a
co
b
べ
-
so n
ば次 が 成 り 立
i( B ()
l
(iii)
・
た 3 編
r
a
H)
-
全単射 写 像 が 存在す る
Bi ∈ B l( H ) と す れ
(ii)
O
の
雷R ( a ) か ら 言R (
H 8 こ対 して
主要 な研 究成 果 を 述
a u chi
既約 指標
.
こ の と き B l( a ) か ら B l( H )
o
k( B
K
-
に含 ま れ る 同型 で な い B
2
最後 に 上
・
i
.
とする
(i)
‥
t
B i の d e fe c t
d( B i)
っ
)
B
,
r
。
に含 ま れ る 同型 で な い
.
成 す環
H 8 こ対 し て
,
i
B
-
.
la
o
1
.
u
雷) とお く
B
,
d
I
i( B i)
によ
(
の
-
こ こ で 記 号を追加 す る
B l( a)
o
。
な い 絶 対既 約 な 雷 G 加 群 の 指標
で
有 限群 G
つ の
m
o
軒1
ai
1
=
H の それ ぞれ の
,
。
C に 含 ま れ る 代数 的整 数 全 体
=
( 蘇
2
ind
の それ ぞれ の 指標環 が 同 型 で あ るとき G
H
,
さら に 記 号 を追加 す る
の
s o r
あ れ ば R ( a) は 位 数 無 限
表現 の 間 に ど の よ う な 関 係 が 存 在 す る か
き
n
。
.
a
の te
-
交換 子 群 と す る
の
つ い
G
の
の
d( B
)
i
つ
-
.
さらに
こ の
全 単射 写 像
。
d( B;)
論文
d i c al
Ⅹ1
of t h e
ch a r a ct e r
r
in g
of
a
fi n it e g
r
o u
p
,
Th
e
B
u ll e ti n
3
K
.
丘n i七e g
4
K
.
Y
.
r
.
七h
of
・
p
Y
a m
,
a c u lt y
a u chi
a m
o u
F
e
a uc
hi
K
A lg e b
に
r
.
Y
a m
241
a
つ い
て
ことにする
、
c at i o n
,
C hi b
c o n s t r u c ti o n
n
ot e
of
a
U
n
iv
it s
of
g 主s
o m
un
e r sit y
V ol 5 1
・
,
i n fi n it
e
,
o rd e r
( 2 0 0 3)
in t h
,
e
31 5
-
31 7
・
c h a r a c te r
ri
n
g
Of
a
o rp
bi s
m s
,
( 投稿 予 定)
。
山 内が
:
,
ch a r a c t er rin
o n
こ とにする
a u chi
,
A
,
ま た 研 究代 表者
.
e
u
( 投稿 中)
を以 下 に 綴 る
1
T h
,
Ed
of
O
( 2 0 0 1)
,
n
is o
808
m
-
o rp
81 7
h is
m s
of a
B
r au e r c
h
r
a c t e r ri n
g
o nt o
a n o t h er
II, J
,
o u r n al of
・
日 本数 学 会代数 学分 科会
(2 0 01 年 1
・
。
ii
Ⅹ
0 月
、
九 州 大 学) で 発 表 し た 原稿 も載 せ る
有限 群 の 指標環
根基 に
a c ob s o n
のJ
山内
憲
て
つ い
一
千 葉 大学
o
th
n
J
e
b
ac o
di c al
r a
s o n
K
of
th
C b 払a
A b
t
s
a ct
r
c h a r a c t e r ri n
e
w
in t e
d to p
n
( a)
e
i c al( ジ ャ
1
I nt
.
T h
コ
r o
ブ
d
c
u
f a
in t eg
of
a
*
fo
r
w
,
e rs
an
u
pp
d x
r
of
K
h
ar
( a)
g th
e
r
a n a s ch e w s
m a xi m
al id
e
r
( a)
a n
ki
( a ))
J( c h
d
e s p e ct i v e ly
e s u lt c o n c e r n i n
I n t his
・
m
g
th
a r
im
ax
e
a r ti c l e
al
id
e a ls
・
al ( 極 大 イ デ ア ル)
J
,
a c ob s o n
r ad
-
i g( 指 標 環)
( 指標) ・ c h a r a c t e r
ch a r a ct e r
e
e
are
d b y th
-
g( 環) ,
ri n
s:
,
r
a
see n
n
,
u sin
c
of c h a r
d i c al
0 by
-
p
r n
,
p r e s e n t at i o
e
ing
to
the
h
c
r
ar K
be Z x
c
h
a
p
l
n
s
( a)
+
・
・
-
of
a
of
fu
・
+
n
c ti o n s
Z x
n
dif
of t h e
a r a ct e r s
fi n it e g r o
h
w
,
on
e re
ere n t
u
a
p
G
ov er
th e
,
K
u
cib
h
c
ri n
Z is t h e
i r r ed
-
le
fi e l d
a
re
a r a cte r
ri n
g
o f r a t i o n al
g
p
of
K
r
e s e n t a ti o n s
.
o rt e
S c i e n t if
i
e
n e r at e
X
l
a
r
by
n o te
de
w e
・
th
d ily
e a
so n
on
n
0 ge
h i c h is
ov e r
s
tio
b
丘n it e g r
a
u n i v e r sit y
b t ai n e d b y B B
o
d phras
ac o
p
a r
ソ ン 根基) ,
c h a r a c t e ri st i c
o
as
w
J
e
a
u
( a))
J( c h
c h a r a ct e r s
e
d th
an
r ov e
a n
fi n i t e g r o
a
a
hic h
w
w o rd s
y
or
of
g
of ch a r
K
F
.
of
r
*
Y A M A U C HI
e ni c b i
in g
c h a r a ct e r
e
c
R
es e a r c
J S P S( J
h
( c) (2)
an
S
o ci e t y
13640008
fo r P
r
o m o ti o n
2001 2003
-
,
1
・
of
S ci e
n
)
ce
G
r a nt
i n A id
-
-
Th
d fi el d
cl o s e
pr
as
hich is g
w
by
o n e
R
w
th
it h t h
o
鮎1 d 〟
.
fo
r
.
th e i n
r
of
h
d
u ce
・
( a) i s
a r K
,
・
by B B
.
2
.
s
bj e
e
q
of
ct
t
L et X
a x
i
b
m
e
0
o
a
a
y
w
a
h
ere
(9o
g
si m
as
(9 o
o f u n it y
al g e b r
a n
of
a ti o n
p r e s e nt
th
e e x
a
c all y
ai
th e
o v er
a)
of
o n e nt
p
c h a r a c t e r s of r e
d
u ce
e s e t a ti o n s
r
p
h
e
m
r o of
a n
a x i m al
dis p
o
o b t ai n
e
key d
al
w
h
s of c
it h p
( 1)
ec o m
a
th
f a)
o n e nt
o
by
al
id
ind
a re
ps
W
e a ls
e
w
a n alo
h
ar K
u si n
o
q
ce
u
d
u e tt e
[6]
( 1)
by
to
go
u s
( a) f o r
an
a r b it r a r y
e x t e n si o n s
F
a
g
ga
r
o
b
e a n o th e r
v
th
e ore m
J
t h at th e
ill p
of ch a r K
r
0
w
o v e
r es
ac o
・
fo r
e ni u s
bs
fu
hich
w
c ti o n s
n
・
r a d i c al o f
o n
n e r at ed
t his t h e o r e m
w
of a
e c ti v el y
p
h ic h i s g e
( a)
m ul a
o of s
pr
a r a c t e ri s ti c cl a s s
o s iti o n
p
e or e m
・
ou
・
adi c
-
o f c h a r a c t e ri st i c
fi el d
m a xi m
e
of t h e c
n
r
bl y b y P R
ore m
[ 1 0] [ 1 1]
is t
p
th
a
e nses
p li c a ti o
y g
I
a m a u ch i
ac
x
id
of a t h e o r e m
ap
a
o v ed
pr
ar
c o n si d e r a
d
e
t
・
( a)
M
th e e
[ 3]
el e m e n
y
of c h a r ロ
[ 1]
.
K is
g th
re
o v e r
at
of a n
p lifi
e
g th
n o te
a
in d
e
0
ov er
d K Y
an
.
s
c o n c e r n in
l id
w
of t
n
a ki n
u s ln
仙
(1)
e c o n v e rs e
of
th
e s e n t at i o n s
r
d it s p
a n
,
m
d by
a n
a n a s cb e w ski
M
by
re en
u al
lt
0
a r a ct e r s
o f u n it
esu
r
)
o
r o ot s
of t h e
se
h
c
p
s
e x t e n sio n s
i n a ti o
m
d th
ov e
of
r o ot s
d b y th
a n a s cb e w ski
.
,
re
p
dic
a
-
d ち B
an
pr
J A G
m ain
e
t h e g o th
u
d
丘n i七e g r o u p
Tb
c
[ 5]
e en
of
th e o r e m
ble p
a r a c t e r is ti c
h
u
r o of
p
d i r e c t d et e r
of c
I A G
h
b gro
g ot h
t to
a
d
a n
,
n
e
of
e p r e s e n t at i o n
i v al e
u
q
n e r at e
p r e s e n t a ti o n
e
r
e
r
e th e o re m s
ia t h
G
of
s
p
al
n
of s u it a
ot h e r
e
of a
an s
m e
gi
a id
e
th
n
o ri
au er s
r
o u
ci b l e
u
v
0 is
d i ti v e ly g e
e n si o n al s u
m
'
B
.
di
-
ir r ed
e
b gr
su
[4]
u c ib l e
d b y th
e n e r at e
a ue r
ad
( a) i s
a r m
o f e l e m e n t a ry
( 2)
r
.
h
c
0
y ir r e d
v e r
o f c h a r a c t e ri s ti c
d by a B
ov e
( 1)
t h at e
∩
of
b fi el d
su
w
t h e o re m
e
as
o
by
b y th
b t ai
n e
e
d
,
e a
丘n it e
ls
s et
,
I
a n
i nt e g
r
al
d
o m
2
ai n
of
c h a r a c t e ri s t i c
0
)
w
hi c h is fi
n
it e ly
d
e n e r a te
g
ge
T h
.
en
T h
in Z
th e
,
,
is
a
3
rit e
a c
e
a
b
c
h
G
al
e
B
i
h
W
of o
h
d
an
,
o
ri n
a
,
-
,
,
¢
e w s
k i [1])
∈p
)
F
w
n
d e s c rib
ar e
fu
of
g
n ctio n s
n
gs t
hich
a re
i s 1 ∈ I b el o
41
n c ti o n s
e a ls
id
p
os e v alu e
y fu
a n as c
r
s
in K
li n
are
T h
h
e ore m
o w
w
s o
o
r a
d i c al
d
f
( G)
e a rl y
ri
( a)
3 1
.
,
in d e p
n
ar e
e
( G ) 4,( c)
e
a re
,
re a
dy t
o
f
c
o
e
ch a r K
a
d
as
an
y
e
o r
x i m al
a
h
s
∈ X
c
d
an
I
→
(ii)
e a rl y
li n
w
X
¢:
o o
f oll o
b y th
s u ch
is
o
i n d ep
t h at
d d it i v e ly
a
d e nt
e n
ov er
・
d
a n
a n
a xi m
m
y
al
e al
id
p
( a) fo r
4・
e n
d
I Th
m
ov er
∈p
p
r
en
I
e
p
r
e vi o u s
in
e
d
accor
m a xi m a l
)
ov e
h
w
th
e
ov er
ere c
f o ll o
m
a
e r ef o r e
din g t
o
f
c
∈
a
an
w i
n
3
・
K
an
Q
d
K
r es
ing
s ati s f
ies
I t f oll o
w
a ll al g e
eor e m
a re
d p is
e o re m
a
m
w
2 1
・
1
=
l
th
W
e
b r ai
c
G
・
'
・
h y p ot h
e
・
c h a r a ct e r
t h at t h e
n o w
s
x
of
fi eld
a
e ct i v e ly
p
of
r
e
ch a r a ct e r s
( G)
a r
g th
-
ch a r
( a)
h
th
,
,
T h
o
・
p a i n t o I t h e p r i n ci p al
u c ibl e
s e c ti o n
i d e al s
e
・
t ir r e d
r
th
r o o t s o f u n it y
( a)
d t h e d if e
e nt
fi eld
∈ ch a r
e
,
o
p li cit y L e t I b
si m
t hi s i y p
f
is
o
r a ti o n al
th e
g ot h
a n
o
in g
r
9 o ,a
e
f
id e al
a ct e r
a r
n e nt
甲O
c ti o n s
un
d et e r
Th
.
m
n e r at ed
in
O
g
e a ch
of
p
of
e n th e
e
an
,
o u
r
ch a r
o
ar
a
d
f
o
n
i n st e
T h
・
hich is g e
w
ch a r
( 4, I ¢ ∈
N
0
g th
of c
s
b
o
4 ( c)
,
fi n it e g
.
gs t
n
∈ o
l i d e al
( a)
ar
c o n c e r n in
id
J
e
a
b el o
of
・
ou
r
g
a n
al
(B
.
a
a r a c t e ri s ti c
G
m
( ¢I 4 ・
a xi m
m
et
i n te g e
l
.
.
-
T h
.
L
w
n c ti o n
e
,
a
h
fu
a xi m
m
2 1
e ore m
( c p)
c
d d it i v
d by f
i n it e ly
e r at e
n
a
an
t h e c o n s t an t
(i)
I
as
m
・
,
X
n
eses
a xi m
al
・
all
f
o
a xi m a l
hic h is
t h e ty p
e
a
i d e al i n I
o u r
m
ai
n
( c p)
-
,
・
th e o r e
m
・
T h
p
3 2
eore m
f
.
G al oi s
e x t e n si o n
G( K / Q)
N
K
( a ))
is
an
L
.
hic h
al
b
e
g
e r ef o r e
Th
s te p 2
s
h
L et p b
kn
e
w
e a ch
p ri
m
st e p 3
4,
Le t
el e m e n t s
fr o
R
a rk
e m
th
e
a u n it
b
J
d
¢
( c)
∈p
b
p Th
er
h
e re
w
e
sh o w
・
∈p
d p be
an
,
e n
0
K
a ( e)
-
.
Q
K/
d
a n
is
a
・
fo
n
-
∈ G( K
q
e al
in
a
∈
c
d p is
a n
α
m
a xi m
N
,
K
N
I
t h at p
K
/ Q (Q( c))
a
,
/ a (4 ( c))
,
is
a
T his i
m
p li e s p I N
e a ch
m
a xi m al
r
q
/ Q)
・
w
4 ( c)
a
∈
c
,
T h
/ Q ( α)
K
( a)
ar
p Z
-
・
al t o
u
q
:
,
/ a (4( c)) ∈ a
K
e
,
h
e n
.
d N
b
er
( G ))
a r
d p
on
∈ J
.
-
p
r
e
0 fo
α∬
.
o of o f
Th
a c o m
m
A If
b el o n g s
T h is
a ll c
.
∈
m
id
al
id
Si n
・
a t i o n al
r
p in I
¢( c)
ce
in t e g e r
( c))
/ Q (め
K
e al
n
id
al
e
h
at
is
0 ,t h
-
4
0
-
,
・
I
th e
,
w
,
・
r
n
w e
,
th
d i c t s t h at
a
4
a y in
e n
al
m
¢
( c)
h
0
-
・
K
0
-
c
e re
N
I
th
e n
/ Q( b( c)) f o
( c h a r( a ))
ru
at
,
r
・
th
ns
r
3 1
e o re m
T h
g p
・
,
i s , J( c h
o u
gh
e
k
w
a r
0
-
・
al 1
n o w
( a ))
-
A
・
in g b
J( A )
,
p
i n I by T h
e al s
・
3 2
av e
c o n t aini n
t h a t is ,J
,
( c p)
a
in I
e al
G T h i s i m p lie s ¢
t o s o m e m a xi
c o nt r a
w
-
a xi m
e ore m
∈
e r ef o r e
t h at
o w
( a ))
u t a ti v e
x
h
a r
a ll
gh
id
/ Q (Q( c))
K
w e s
J( c h
ce
r
・
th e n
,
al
a xi m
m
y
/ a ( b( c)) T h
K
p li e s N
m
Si n
a d i c al o f
( A)
N
r u n s th r o u
¢
( c)
r
an
I
T h is i
.
L et A b
.
x
a n
an
u m
n
e
es t h e
i n A If l +
ec a use
of c
is
( a)
h at is , N
o f α ,t
Z n p
/ Q (b( c)) ∈
K
ber p
an
.
bs
ac o
a
o v e r
d i c al
n u m
a r
o t a ti o n
n
a
( a)
h
o f u n it y
o ot
in g
w
c
o
r
on
H
r
K
n or m
a r
m e
of
p
¢ ∈ J( c h a r( a ))
p l et
1
e
fわll o
S t e p 1 t a ht p
in a
c o m
.
e
y p ri m
S t e p 2 t h at
m
o u
9 .t h
e
f
dic al
a
r
・
J( c h
∈
N
r
¢ ∈ c h a r( a)
If
.
it i v
bs
ac o
p ri
a
u m
n
J
e
a ve
m
e
o T h is
b
h
a n
fr o
th
th
:
in t e g e r i n
0
-
e
o w
)
ns
If
¢
( c)
o w
m
o n
u s e th e
e
¢ ∈ ch
ai
w e
.
W
bs
aco
p ri
a
∈ I
:
ai c
r
J
e
G al o is g
e
et
c o nt
e
.
(α
a r
s t ep 1
w
th
:
/ Q ( α)
J( c h
z
b
et e
L
o
r o
Th
.
id
is
w
a n
g
e s
h
id
o w
e al α i m
a
m a xi m
e n ti t y
el e m e n t
t h at f or a n y
A the
,
al
id
n
1
e al
-
・
Th
+
d ∫
( A)
a n
∈ A
a
(1
1
,
1 +
)
α∬
e r ef o r e
-
a x
is
α∬ ∈ α
1 +
a x
d
id
b el o
n ot
oes
e al
a
h th
su c
a , c o n t r a d i c ti n
(1
t h at
R
e m a rk
A rti n i a
B
p ri
( a)
is
b
p
e n u m
m
)A
le
w e
,
er
e n
h
c
n ot
ot
n
b v io
A
rt
th at
u s
( a)
in ia
th
e
m et
h
c
I n f a ct
d
of
,
is
m
ple A
w
e
pI
G
・
h
r ti n
ca n
e
f o r si
m
id
r
is
e
a
a n
a
y
,
m e n ti o n e
o et
i
h
ia
e r
r
a sily
gi
p li cit y
v
e
Th
・
b
t
,
g
If
・
u
h
w
s
av e
si n c e
( a)
h
a r
J( c h
a r
c
w
h
e
d
av e a
is
( a ))
p le
c o u nt e r e x a m
e n
∈
・
eca use
a
e
・
,
ri n
n
ing b
an
d
A W
∈
al
a x
I t f o ll o
・
( a ) [ 7 ] [8 ] [9 ]
a r
1 +
al i n A
e
a xi m
m
e r ef o r e
Th
・
A for
u n it o f
N
a
[2 ]
m a x i m al
y
ab o v e
d
( a)
i si
a n
it s i n
ch a r
n
ea
・
th e
,
yl 2 22 in
a
o
th e n
a x
is
a x
u n
a se m
p i n st
)A ≠ A
+
o r o ll a r
e
is
.
(1
1 +
at
th
o ut
use
a r
w rit e
w e
,
fi n d
If
.
b el o rl g t O
n ot
o es
p li e s t h
m
to
m
e al
by C
a
⊂
d
a x
ca n
o
al i d
a x
T h is i
.
ob
r
g ,t h
ch a r
t
u
A
a xi m
m
+
It is
.
ri n
n
0
-
2
(1
-
d th e p
( a ))
a ny
g t h at 1 +
a x
a r
o
at
)A
+
c o n si d e r e
J( c h
g t
n
-
F
・
es c e n
an
or
0
・
a
di n g
c h ai n
2
(p) ∋(p ) ∋
h
w
n
e re
A
ot
It
丘nit
rt
i
(p )
ini a
n
gr
o u
・
・
∋(p ) ∋
-
p r i n c ip al id
a
e al
gen
e r at ed
as
p
i t i s d i 瓜c
at
r
in g s
lt t o d e t e r
u
B B
[2]
th
ct u r e
h
( a)
a r
・
Th
e re f o r e
c
h
( a) i s
a r
6 05 6 1 2
in
m
e
e s t ru
c
h
fi n it e g r o u p
s
of
th
e
a r a c t e r ri n
g
of a
th
n
e
e
fe
r e n c e s
ch a r a ct e r
r
in g s
of
,
C
an a
d J M
・
・
at h
・
-
,
・
A J B
e r ri c
y in
Vie
w
r es s
( 2 0 0 0)
・
K th
e or
U ni v
e r s it y
-
O
a s ch e w ski:
an
・
( 1 9 6 3)
15
c
・
R
[1]
by pi in
.
th
see m s
e
is
n
・
・
P
k
,
an
d M
(C
a m
・
E K
・
e a ti n
b r id g e
st u
g: A
l n tr o d
n
die s i n
・
5
a
d
v
u c ti o n t o
a n c e
d
m
Ri n g s
at h e m
a n
d M
a ti c s
o
d
6 5) C
ule s
a m
W it h
b r id g e
[ 3]
R
B
・
( 1 9 4 7)
48
[4]
50 2 5 1 4
'
A rti n
n
L
s
s eries
-
n e r al
it h g e
w
r
g
o u
h
c
p
a r a ct e r s
A
,
n n
M
・
a th
・
-
,
R
70 9 71 6
O
r a u e r:
B
・
・
A p p li c a ti o
a u e r:
r
of
ns
ind
u ce
d
h
c
a r a ct e r s
A
,
m e r
・
J M
at
・
( 1 9 4 7)
b 69
・
,
-
.
J A G
[5]
・
P h il o s S
o c
,
G
[6]
P R
r u
e
H
o
q
Y
・
(1 9 9 1)
[8]
K Y
o
.
o
[1 0]
K
[ 1 1]
・
K
w
.
a m
M
at
Y
a m
Y
・
M
・
O
of
t h e or e m
a
R B
a n er
r
・
P
,
o c
r
C
・
b ri d g
a m
e
n
・
U nt e rs
e ti s c h e
m
atb
19 0
・
th e
u n
u ch u n
( 1 9 5 2)
it s i n
g d
148 168
Ch
es
k t e r ri n g
ar a
d li c h
es ein er e n
e n
-
,
・
ch a r a c t e r
a
in g , H
r
k k ai d
o
M
o
h J V
at
・
ol
・
20
・
.
au c
・
A
h i:
au c
at 九∫
・
H o k k aid
( 2 0 0 1)
a m
K Y
[9]
237 239
o
-
M
o
ge
4 77 4 7 9
,
.
k k a id
a n
t
c o n v e rs e
-
,
a m a u chi:
3
o
e
th e
n
A rit h
e tt e :
u
.
K
O
e n:
( 1 9 5 5)
51
∫ r ei n
,
[ 7]
N
・
.
pp
re
・
u n
V bl 2 0 N
.
h i: A
.
a m a u c
8 2 9 8 32
.
a u c h i:
hi :
O
o
・
u n it
九∫ V bl 2 2 N
.
it g r o
n
A
a
o
3
1
th
p
l
( 1 9 9 1)
gro
.
u
u
e ore m
n ot h e r
p
Ch ar a c t e r
a
5 4 9 55 8
r
in
Of
g
a n
alt e r n a t i n
g g
r
o u
p
,
p
,
-
,
p in
( 1 9 9 3)
n
a
c
h
・
ri n
a r a ct e r
1 3 23
of
g
a lt e r n a t i n
a n
g gr
o u
II ,
-
,
of
・
J A G
r o of o f
・
・
a
th
re
e n
,
J
e ore m
・
A lg e b
of
r
a
J A G
・
・
( 1 9 9 8)
209
r
ee n
,
J
708 712
1
,
Al g e b
・
・
235
r a
-
,
・
D
ep a rt m e nt
F
of
a c u l ty
M
of
C h ib
th
a
a
C bib
Ed
U
a
u c a ti o n
n i v e r si t y
263 8522
-
J
6
a ti c s
e m
a
p
a n
Th
of u n it s
c o n s t r u c ti o n
e
rl n
Of
g
i n 丘n it e
of
丘n it e g r
a
o rd e r
ou
i n th
c h a r a ct e r
e
p
By
K
A b st
the
a ct
it g
un
a r ti cl e
r
o u r
b
u m
e r
Th
de
rs
,
a
fi n it e g r
o u
p is
ch a r a ct e r
e
e
is t
th
by
( a)
r r
us
Ⅶ
2000 M
e
y
ri n
a
by
,
p ri
of
g
it i v
m
ou
r
w ell
of
in fi
of
u se
p th
e
n o w n
it
n
g gr
of
W
I
o u
u n it y
h
w
h
o rd e r
st u
av e
( n ≧ 5)
n
e re
Z is t h e
is
in
die d
I n t hi s
・
ch a r a ct e r
e
( > 5)
d p
an
,
五nit e
al s o
i n th
Z[ LJ]
in
of
e
A
p
o rd e r
e
u n it s
r o ot
-
o f u n it s
g
( s e e [8])
alt e r n a ti n
an
g
c o n si s t i n
p
k
u n it s
a ki n
m
g
r in
g
ing
r
p ri m
e
o f r a ti o n
al
a
_
c ti o n
e
a ti o n a l
r
[ SL
-
ir r e d
a rti cl e
th
e
(xl
1
-
u ci b l e
w
a d
,
fi e ld
b
n u m
,
al w a y s
e n ot e s
a n
d C
(t h e
p r i n cip
ple x
c
hr
fi n it e g
a
th e c o m p l e x
in S
e r of ele m e nt s
G
c o m
al c
h
n u m
of
)
I
ai
G
o u
b
e r
p
Z th
,
fi el d
e
F
r
・
in g
o r a
a t h e m a ti c s
o rd s
an
d ph
S
u
( ∑T
D
-
bj
e ct
・
r
=
%
a s es :
1
a iX i
C l a s s i 丘c ati o
i rre d
u ci b l e
c
h
n:
-
,
,
x
)
b
h
e th e
c o m
・
∈ Z
(i
-
1,
-
,
h))
・
20 C15
a r a c te r, c
7
fi n it e
s et
S
,
・
a r a ct e r
a c t e rs
r
s et
R( a)
K
u n it
c o n st r u c t
o
is
w
,
o u t t his
Q
a b s ol u t e l y
Let
e
c o n c r et e ly
p
d
r o
gh
n o te
L et I
u
th
a m a u c hi
Y
.
ro u
i n te g e
e
bj e c ti v
in t e g e r s
In t
.
of
p i n th
fi n it e g r o
a
1
w
ing
of
st r u c t u r e
e
r
o u
o
o f r a ti o n al
n
Th
・
c h a r a ct e r
th e
of
r
e n i c hi
h
a r a ct e r
ri n
g
,
u n it
plet e
s et
of
Th
a 七 is
R ( a) f o
h
c
m s
r
of
e
a
c o nt
ai
n
w
d
e
丘n it e g r
a
T h
o u
e o r e
sp a n n ed
1,
.
li n
o r
e ar
.
N
u n
h
H
ere
e
A
e
te
n
-
fB
n it
u
a n
d
(xl
,
e
A
.
o
n
e
u n
K
Q (亡
)
-
in g f
i eld f o
int eg e
it s
in
s
r
K
・
l
W
・
k
t h at
n o w n
A ( a) t h
c a ll
e
G
r
e th e s m
b
e
all e s t s u
bf
i el d
・
I n [8]
o r d er
‖i n it e
o
.
.
.
)
X
,
o rd e r
ii e
ro ot e
s o m e
h
f
A R ( a) h
in
ity i n A
u n
o
th a t i s
,
e
w
o v ed
r
p
主n t h
e
th
e
f oll o
ch a r a ct e r
rl
in g
w
n
Of
g
A R (a )
,
w
h
for
e
m
e
A R ( a) i s
e re
( ∑?
-
th
as
=
1
a
l
Xi
i
ai
x
for
a
A
-
so m e
alg e
∈ A
bra
(i
-
c o m
m
r e s u lt s
i n th
u
n it
ln
r
b
er
,
r
e
t h at
n
es
i n R ( a) h
as
th
fo r
e
士x
m
fo r
so m
e
o u
o u
rl n
p
gr
b
a v e
e
of a
g
o b t ai n e d
e n
so
fi n it e g r o u p G
far
c o n c e r n in
)
g th
e
・
a
an
id
e n ti t y
el e m e n t
・
,
ou
e c t i v el y
r
i th
U( R )
of
≧ 5 fo
W
g
R
of
p
p
hic h h
w
,
n o t a ti o n ;
g
m e t ri c
sy m
n
w
r
g
o rd e r
c h a r a c t e r ri n
e
u t a ti v e
m
o
.
s o m e
o rd e r
f f; n il e
u n it
y
f G
t h e f bll o
a
-
n
o
x
th e s u b g
-
:
as s u
r
th e
a t u r al n u m
w
.
a
-
u f( R ) :
,
1 2
丘Ⅹ
e
w
U ( R):
n
g th
d
an
a s p litt
of al g e b r ai c
g
y
f G
( a)
in f
i n it
L et R b
s
n
o
x
st at e
e
w
.f
o f u n it y
K is
en
x
ell
w
・
o ot
r
c o n c e rn ln
A
.
r r
y
rac
a
e xt
it s
p G
It is
・
el e m e n t
e n tit y
id
an
G
・
o ll a r
c
it h
w
of
ch ar a ct e r s
d
・
1 1
m
by I
h))
"
c
n
G
p
in g
u
T h
.
e ri n
c o r oll a r y
e a r c h a r a ct e r
li n
(
d
e r ali z e
gen
I G トt h
e
an
b y A th
d
a n
Q
in g
e n ot e
e o re m
it i v
m
r
fi n it e g r o
of a
p ri
of
s et
e
u t at i v e
c o m m
r
b
et
C
th
(
a
in g
a r a ct e r
L
R ( a ) is t h
,
p
w
an
hich
d
of u n
c o n si s t s
an
al t e r n a ti n
・
n a t u r al n u m
8
b
e r n
・
g
it s
gr
o u
of
p
fi n it
o n
e
n
o r d er
sy
m
in
R
,
b ol s f o
r
a
D
fr
丘n i七i o
e
a m e
d d le
。
d
an
w
Th
.
se t
e
p
of a
D
e
fi
n
in t e g e r
( n)
as
( n) :
c
・
・
+
・
m
w
d
(r
,
e
s u ch
f
d
T h
m a
o
e
w
l
.
h)
.
,
e
d d iti o
is
,
n
・
-
(q l
q2
,
th
2
-
at
q k)
,
-
,
e
(
-
Sn
2
-
,
4)
od
m
m
2
-
3
・
,
d p is
a n
d
c y cl e s o f
it h
w
l q2
r
1
s elf a s s o ci a t e
a
of
m
=
p
b
n
-
,
・
)
・
n ot
I
b
o f r e al t y
a m e
of
a m e
n u m
m
(q l
n
assu m e
d fr
fr
al
at u r
n
+ qk
作卓 Q )
、
-
a
-
・
e
w
-
o r
・
a
+
・
-
er
r
n
e al
r
e
a n
a
n
d
e
al s o
s ay
e
g
a ti v e
r
l
,
w
t h at
・
.
i n e
ef
d
e
w
,
typ
e
p
o n
n
-
a t i o n al
w s
b
m
.
of
e r
]
m
,
.
,
fr
a m es
n
b
s elf a s s o ci a t e d
-
T h
e n
w
Th
.
+ 1
h i c h th
1 6
.
a
,
e
・
of
e
p
・
・
L
・
o ve
r
b
∈ Z
-
,
'
e
a
u
t
a
Q
o ver
e re
m
of
r
e
th
in g t
w
o
e a l ty
・
e
a
・
u
n
it
fo
r
31
-
p
[m
e
a s s o ci at e d
ju
e
w
・
・
,
・
]
m
lt s i n
[9]
hi ch t ak
es
a m e
r
m l
,
+
/
M c)
-
喜(
a
-
+ b
1
㍉)
+ 1
A
∈
"
,
■
9
A
n
e
int
o
th
)
fo r m
e
,
け
O
ot
o
f
o
・
ゅ of R ( A
・
of
p
・
)
n
w
,
hic h is
n
th a t
4 ,( I)
o f r e al t y
cl a s s e s
a te
i s di v i si bl e b y p
to l
fr
g
c on
resu
o
eq u al
a
b
f Q ( 、 作)
it
(i
is
e 3;i s t s
n
w
s elf
a
e
"
d a
an
d t h e f oll o
p
,
+
et
e xi s t s
e
Th
・
r
e r
n o r m
.
+
m l
,
t rip l e
a
.
1 5
. r e m
at e cl as s
jug
+
m l
,
・
p lit s
・ bt
a
a n
s
at
,
q l + q2 +
,
a
]
m
,
‥
s e lf a s s o c i a t e
a
F
u
n
a , p) b
m
芸(
e
[m
-
h ich a
L
n
=
r
L et r
an
th
-
th
r
.
f oll o
n
.
,
a s elf a s s o ci at e d
of
l A
n
c
le
(
ber
qk
I
.
l
a c o n
>
qk
・
c all
w e
it i o
・
[m
-
r
-
・
m
n u
a t rip
a , p) i s
q2 >
q lq ,
-
case
r
et
a s si g n t o
e
w
L
.
gt h s ql >
n
I n t hi s
,
.
en
t h e sq u a r e
(r
1 3
n
n
c
x
,
≠e
"
)
-
'
,
去(
a
a
-
"
・
bt
h)
. 1
fB
n it e
o r
der
,
h
w
c
c e
A
s in
d
a n
b gr
t h e p ri n ci p al c h a
use
w e
si m
p li c it y , b y i d
[ 9]
T h
w
u
e
hi ch
.
fr e e g
are
2
of
( R ( A ))
U ( R( A
w
n .t e
e
lt s
resu
t a bl e
))
an
u
A
of
p
d p
2
w
n
w
a
kin g
( ≧ 5)
is
a
p ri
s
r
o n ly
as
"
))/( j = 1)
l 2
w
・
o re m
a T ld
,
by
¢1
・
i n fi
o w e
)))
・
・
,
R (A
c
)
n
n
)
n
w
av e
of
"
c
o rd e r
4 ,1
<
(S e e
・
h
( n)
-
it e
d
d i r e ct
a
.
4, (
li n
h
w
e ar c
h
a r a ct e r
))
U f( R ( A
U( R ( A
D(A
ere
x
l
)
e
(t h a t is
(i
-
n
is t h
n
x
)
))/ U f( A ( A ))
n
a n
l
,
d
fo r
"
n
・
d t h at U
an
n
1 7 is
in
h
s
,
of
it s
h ol d s
・
・
n
u n
)
e
s p e c ti v el y
re
n
o n e
i n pl ac e
( j = x l)
wi t h
D( A
-
n
h
n
n
U( R( A
∈
i n te
e
m
P
A
,
o r oll a r y
i 工唱 t b e
w
( n)
u n it s
g
A
s o
By C
.
p
"
d a:
a n
e re
q
1
,
・
・
,
( n) i n R ( A
*
c
( R ( A )) ⊆ < 4 , 1
n
-
,
,
ゆ(
c
n
) > is th
3 4 in
e ore m
ue n c e
・
of
b t ai n e d b y
o
・
2
Th
c o nse
*
I
Th
n
>
w
b el i a
n
su
bg
A
a
,
a
)
here
r
ou
p
[1 0] )
・
3 A in
eore m
m ak in
4, (
-
,
e
c o n c r e t e ly
)
n
g
u se
t
o
[1 0]
th e
T hese
・
ch ar a ct e r
.
a r t i cl e
,
)
c
eore m
by
a
.
e
Th
at
n
e n e r at o r s
c o n c e r ni n
I n th i s
gro
th
A
d
an
o u
'
e
o
f U ( R ( A ))/( A : 1)
n e r at ed
ge
n ,
o
d
2
n
A
ple g r
( j = 1)
g
k
ra n
.
(4 , I 4 ,
-
n
si m
t h e f bll o
e c o n s t r u ct e
w
a
U( R ( A
"
e n tify i n
1 7
r
of
f
e p r e s e n t a ti v e s
e
of
p
a ct e r
r
r o v ed
p
e o r e m
[1 0]
In
a
w
o u
n o t a ti o n
so
In
th
a re
≧ 5) i s
(n
n
′′
c
u t at o r s u
m
co m
r
e re
eli m
i
n a r
h all k e e p t h
n
use
m e
ie
e
d t
of u n
n u
m
b
u n it s
c o n s t r u ct
o
it s i n
e r
Z[L J]
h
w
・
s
n o t a ti o n
in
s e c ti o n
l
10
・
of
er e
inf
i n it
LJ
is
a
e
o rd e r
p ri
m
iti v
i n R ( a) f o
e
p th
-
r
r
a
fi n i t e
o o t o f u n it y
L et
b
ぐb
th e
e
e
el e m e n t
G
of
I
h
th
n
L
e m
p
roo
e
m
f
b
a
.
Fo
p ri n c ip al
c
u
(xl
u n it
of
Ft
o m
p th
r
-
et
.
b
e
e
n
w
1 ∈ B
( I)
o
u
by
a
Q
g
b
su
an
o t e t h at
B
p ti o
as s u m
a
d
(
of
in g
r
fi n it e g r o u p
r
W
・
A
n
h
w
d
an
d
K
A
ai
b
,
n
ri n
of
g
al 1 t h
s
fo
ec a us e
p ri n c ip al
e
a (I)
-
th e
c on t
Z
⊇
x l is th
e re
B
at
B
s o
a n
by
e n o te
h th
su c
∋l
d
e
a
e
a n
r
y
ch a r a ct e r
u n
)
be
fi n it e
o w
n
all
of
un
d
i
o ot
i
an
d p)
c ti o n s
9 ij( x)
fi n it e
r at i o n al
e
w
1 ≦ k
p
,
o n e
詣
<
a ri a
v
,
( x)
o rd er
(i
T h
・
e
ble
9 k( I)
F
o r
as
-
a n
・
e
a n
r
l
,
・
T h
( ≧ 5)
is
e n
in a
a
p ri
w
s
・
m e
s u ch
u n iq u e ly
these
f oll o
w
r
at
1
d e te
r m
th
a t i o n al
s
謡
,
ll
≦
in
in t e g
i
,
( I)
is
u
l
c o m
x
-
'
a
-
・
U j( B )
-
T h at is
・
l
it i n B
un
m u lt ip l e
m o n
l
x
-
( u u )( I)
U( B )
ec a use
'
at u u
av e
u
,
・
u
,
・
of
is
a
i ti v
e
圃
b
e r
an
of
a
c o nt
i
<
p i
d
by
e rs
i,i
e
n
a st
a v e
n u m
t h e s m all e st s u b ri n g
b
,
le
e
h
w e
f oll o
e s u lt
r
p ti o
h th
h
e
w
U f( R ( a ))
-
su c
∈ G
x
as s u m
d i b e th
a n
,
9)
・
by
R ( a)
∈
u
el e m e n t x
y
U ( R ( a ))
av e
el e m e n t
y
∈ B
a
.
,
th
us
i nt e g e rs
hich is
・
1
h
w e
t h e re e x i s ts
,
( I)
of
th e n
,
fo
,
f or
-
s
'
u
,
t h at p
Z[ w] b
et
e nce
u
in B
as s u m e
L
H
・
el e m e n t s
the
i n te g e r k ,
of
-
b
ce
i n R ( a)
.
U ( R ( a ))
∈
S in
( x i)
w e
ity
U f( B ) h ol d
a)
u
o rd e r
o n
・
of
it
a
X 9
1
-
a v e
of
a r a ct e r
l
is
,
…
,
ele m e n t
y
h
h
e
w
-
( I)
x
-
a t i o n al
(m
n
e re
If U ( B )
o f el e m e n t s
o r d e rs
fu
H
.
-
l
.
an
e n ce
L et
i
G
sit u a ti o n
2 1
a
/
r
of
B
it y f o
un
c o n t ai n i n
L et
・
( a)
x
,
o v e
( a) u ( x)
a
G
r
u
L
K
C
of
of
o ot
r
.
(t h e
H
bf
i eld
su
a r a c te rs
∈
I
l G トt h
e
i n t e g e rs i n
Of c
al ll e S
v
all e st
s m
a lg e b r ai c
p ri m it i v
a
,
a n
i
,
an
d
ai
ni n
≠i
d i
d k
is
w
,
g Z
T h
.
su c
,
w
e
d
p ri
a
d
a n
丘n
w
・
t h e r e is
e n
h th
e
m
at
e
ik
=
s e v e r al
f k( x)
-
f k( I)
-
+ k
X P
f ij( I)
Th
T h
Th
2
e
h
e
w
h
.
f
+ 1
e n ce
s in
i
i
e
+ 1
e
2
e
i
ce
[ e]
∈ Z
ej
d
a n
e
[ w]
∈ Z
詩7
Z [ w]
in
Si n
(ii)
e
ik
ce
k
m
-
+
・
・
+ 1
・
,
if k i s
,
if k is
o
dd
ev e n
,
,
let
be
e
y p r i m iti v e p t h
a n
roo
-
u n it y
f
t
o
(e )
+ 1
i
e
F irst
e
w
d
an
c e
s o
≦i j
,
an
,
1
eP '
2
(e ) 午
1
-
2
e
i
(e )
i(
s o
m
+ 1
,
+ 1
e2
1
-
a n
o
d
1
-
2
(e ) 午
-
1
-
e
,
p th
e
2
(e ) 字
+
+
+
-
Z [L J]
en
v
' k
k
ej
-
h
Th
.
e n
-
(e )
-
2
h ol d s
]
w
o ot s
of
u n it y
,
i
e
+ 1
d
a n
e
j
+ 1
T h
・
e r ef o r e
e
w
h
av e
an
e
u a ti o n
q
o
+
dd
(
+
-
.
Si n
-
1)
i
m
A
( e)
c e
-
'k
i
1
( e) p
-
i
(e )p
m
+
+ A
,
・
・
・
+ 1
8
f k( e )
・
e x t
w e
assu
i A
g
Th
i
( )
k
e
-
e r ef わr e
(e )
e
l
w
e
m
e
th a t k i s
+ 1
-
+ 1
h
i
(e)
A
-
o
dd
1
Th
.
i
-
( e)
k
w
e n
2
h
e
+
・
・
・
a v e
+
(
-
1)
m
1
%
-
9 k( e )
-
12
i
f k( e )
-
i
( e)
av e
9 ij( e)
.
・
p + k is
i p ' k
1
Z[
-
・
o ld s
i
9 k( e ) h ol d s
Z[e]
,
・
r
-
it in
u n
(e)
-
・
i
+ 1
a
i
o ld s
9 i, ( e)
( e) p
-
i
i n Z [ w]
it y
of u n
r o ot
-
+ 1
d p) h
+ 1
( )
p th
e
u n it
a
.
1S
-
so
it i v
m
p ri mi t i v
a re
+ 1
i
p ri
a
+ 1 is
e
t h a t k is e
as s u m e
-
d
-e is
干P)
e
i p +k
e
k
N
・
.
1
-
Si n
・
,
(1
=
i A
+ 1
9
x
十1
-
f i ,( e)
-
1
-
J
亡
i
1
-
+
Z[ w]
f k( e )
-
1
詩て
u n it s
e3
m
1)
m
.
e n ce
a re
-
a b o v e s it u ati o n
e
in
g k( e )
(i)
.
u n ii
a
-
1
H
I n th
.
1
H
(
+
-
+ k
x p
1
m
1)
-
a v e
gij( E)
o o
+
(
+
-
I
2 2
is
r
2
-
+
av e
詫言
(ii)
k
x
-
2
-
i
w e
(i)
P
1
e o r e m
e n
+ A
x p
-
f k( x )
-
e n
k
X
1
-
f ij( e)
k
-
m
+
・
・
・
十1
i
-
f k( e )
-
Th
th e
u s
T h
o re
e
f oll o
e s u lt
r
2 3
m
.
w s
L et
.
e
β+ 1
Supp
os e
i
-
-
%
.
or
士1
-
^ h ol d s
e
7 + 1
d l e t 叩, 0 ,
a n
The
n
w
p ri
m
i ti v
.
h
e
d 入 b e p ri
a n
iti v
m
p th
ro
o
w e
m a
y
e
-
f
ts
u n ii y
o
・
e
a v
T
・
(i)
e
(ii)
り
f
P
k
ro o
叩
(i)
e
w
u s
ー
th
p)
<
th
assu m e
are
p th
e
r o o ts
of
h
a v e
-
u n
it y ,
0
rit e
w
-
.
i ll
at
=
1
-
Th
.
e n
w
h
so
a n
e
h
a n
d
w e
h
,
b
,
u at i o n
q
av e
an
p
≧5
ec au se
≦p
o
th
th e n
,
ot h e r
e
k
り
-
h o ld s
2, th
-
h
en
d i c ti o
c o n tr a
Q
k
7
1
-
t 0
u
諾
t h at
e
um
r
-
p
-
T h
d
er
p
1+ 1
a
a n
i c ti o n
e
w
r7
-
n
,
ass
e
au s e
l
1
k
叩
ot
e
If l
e
w
k
n
' 1
-
り
-
1 b
-
ec a u se
1
e
u a ti o n
q
k
n
一
l
ニ
h ol d s
7
叩
-
p
n
-
,
,
・
2
r
ー
2
( 叩 r7
d
an
言
言り
一
-
,
-
1
)
-
-
rl P
-
gi
h ich
w
,
e a r ly
li n
are
l
H
in d
e
p
v
es
d e nt
e n
a n
d ス
Th
・
1
T
k ,i
av e
a n
e
q
u a ti o n
l
ニ
e
h
a v e
a n
e
q
u a ti o n
l
ニ
n
b
an
p)
<
e
H
・
謡
u ati o n
q
e nc e
去 芸
h
d
a v e
k
w e
a n
h
e
w
(1 ≦
7
エ
e n
an
e
q
ー
ニ
d
,
u a ti o n
l
hic h
gi
v es
d
e nt
ニ
・
w
,
入
一
-
e
w
,
h
a v e
ec a u se
a n
u a ti o n
q
5
≧
p
e
a n
d
叩
ー
q
ー
l
ニ
2
(叩 り
l
k
り
-
・
2
7
,
1
・
1+ 1
r
-
,
,
-
p
r7
-
ー
n
一
一
7] P
叩
1
)
-
・
a re
・
.
li n
rl P
l
l
,
e a rl y
w
i n d ep
e n
.
i t f o ll o
e r ef o r e
(ii)
u
d 入
a n
,
≦k,l
e
w
-
t
ex
ov er
p
り, 0
.
If l
us
(1
c o n t r ad
7
r
l
り
-
t o
u
Q
bec
c e
1
-
7 + 1
a
N
S in
.
]0
r
7
n
o v er
o r
Fir st
p
o
O
-
d 入
n
a
1
-
F i rs t
w
e
w
s t h at
th
assu m e
e
at
1
=
.
Th
旦土
s th e
u
r
e s u lt
1 h ol d s
-
・
Th
f oll o
e n
w s
it is
.
ob v i o u s t h at
7 + 1
n
-
0
・
T
N
ex
t
o
H
e n c e
t
-
e
w
k
7
r
w
t h at
ass u - e
a
e
n
d 入
h
a v e
-
a n
1
r7
e
(1
q
u
諾
)
≦k l
< p
,
a ti o n
"
-
7
r
k
+ 1
ol d s
・
T h
en
謡
-
-
ds
I
,
-
1+ 1
7
r
13
l
+ r7
( *)
b
ec a use
w
e
If 1 < l
≦p
_
o
u
s
th e
n
a
ov e r
Q
e r ef o r e
Th
.
bec
a u se
av e
u
e
e
p
w
M
.
e
th
e n e r al ,
p G
th
,
if
k
7
n
fi
e
p
T his
h
l
e re
Fro
a
n
e
n
x
n
a
e o r e
c h a r a ct e r
a
p ri
Fo
m
Th
3 1
m
.
f
<
o
a
iti v e p t h
-
r a ti o n al
r
p ri n c ip al
e
o u r e a rli e r
m
T h
is t h
G
en
w e
h
a
r
s u ch
f
rS
i
a re
n ot
(ii)
#
( *)
a re
u
w
h
e
re
fij( x)
a n
d
e
1
l
ニ
・
・
,
u a ti o n
i
a n
e
s o
e s th e
1+ 1
TI
-
1
)
-
-
・
叩0
T h
s
-
2 3
1
w
hic h
in d e p
fo
a
k + 1
eore m
1
,
By
・
7
-
P
e a rl y
li n
ar e
1 h o ld
-
of
r o of
p
+ 7
-
u a ti o n
q
1
7
r
r7
p
-
+
-
ri p
・
,
k
2
7
1
ー
2
7
7
,
17
-
-
P
り
-
gi
d
e n
ent
( *)
m ul a
r
es
v
1 h o ld
-
,
s
)
感
・
+
-
p
r
a
-
al X +
d,
n
be
-
,
ity
+
[ x]
・
i (4 ,)
o
d 2 3]
w
e
,
is
h
a c
a
I
a
4,
4
of
+
a 1
an
・
y c li c g r o
he
W
L J
d
a n
・
a r a ct er
f oll o
as
of a
fi n it e
w s
G
・
2 2
c
+
-
G
a
4 ( a)
at
n
e o re m s
>
∈ Z
ao
s e c ti o n s
w o
ch a r a ct e r
of
a r a ct e r
a
di n g t
ece
n e r ali z e d
Th
a n
th
re
p
u
av e
o rd e r
f
o
p
h
( ≧ 5)
is
a
a n
p
p ri
d let
m e
4,
n u m
be
a
ber
a n
li n
d
e
LJ
ar
is
d
・
j
(1
≦i i
,
< p ,i
≠j)
,
w e
a s s u
m
giv
e n
ih a t i +
e
i ≠p
・
ve
土f ij(4 ,)
・
[
u n
(i)
i,
h
c
th
r o ot o
i n te9 e
q
of
+
L et <
>
)
( T7
e
plet
ge
e s u lt s
.
a n
c o m
f (4 ,)
w
d
an
1
-
o t a ti o n
-
d
e
w
5
≧
u a ti o n
q
e q u a ti o n
s t h at
-
e
s
m
e
a n
a n
p
i
・
e o r e
av e
a v e
w
-
k
T
-
I( I)
e n
h
w e
it f oll o
0
ut
h
w e
ec a use
u a ti o n
q
ai n
b
,
ha
l l k e e p th
s
In g
gro
an
en
d,
an
d i c ti o n
h
W
h
ot h e r
th
,
c o n tr a
w e
3
2
-
i s th
e
li n
n it s
s a m e
e a r c
f
o
inB
p o ly
h
a
n
ii e
n o m
ra cte r s
o rd e r
i al
f
o
in
o ve r
14
Z
<
>
a
R( <
as
th
・
)
a
>
e
o n e
b ef
o re
T he
o
re m
2 2
・
・
p
f
o
ro
(i)
.
t h e li n e a
If
w
,
of
<
c o n si d e r
th e n
h
e
w
th
e
al u e s
v
f i](4 ,)( a)
th e s a m e f u
By T h
3
H
e n ce
モ
t h at i
T h is
3
F i r st
is t h
0 1
-
p
・
-
,
,
,
w
,
a n
-
i
Si n
.
e
all
ce
c a n
w
rit e
e
p
b
,
r
Th
・
Th
e
e q u a ti o n
・
o esn t
∈<
i al
Th
・
士 ん(ゆ
)
a v e
i
w
e r ef o re
T h
・
w
e n t it y
id
e
i
f k(1 )
(1 ≦I
el e m e n t
f k( 1)
-
a s th e
Z
)
< p
l
l
f (4 )( )
)
a
-
,
a
w
a n
f ij(4 ,( a ))
-
d
LJ
l
・
3
o r
ic t
3
w
w
-
av e
i+3
'
i
w
h
e
w
of
an
.
1
-
p ti o
o u r a ss u m
a r ch a r a c t e rs
li n e
n ot
a re
-
c o n t r ad
f a cts
es e
g i3( a) i s
e re
n
>
a
<
・
・
・
ov er
>
a
h
w e
h
w
・
1
h o ld
'
d
2 2
e o re m
2 2
e ore m
(ii)
< p
_
-
・
n o m
・
1 < i ,3
f o r th
f i,(1)
-
l
a
(i)
at
2 3
e r ef or e
T h
.
th
p ol y
s a m e
4 ,(
b o th
O n
)
+ 1
g i,( L J) b y
-
b efo
e n
e o re m
e c a us e
o of of
pr
n ot e
e
w
i]
ec a use
>
a
m
LJ
-
-
・
g iv
+ 1
3
or
f i ,( w )
-
By Th
i ≠p
el e m e n t
y
∈<
a
,
1 h old s
-
gi
o n e
of
e
by T h
2 2
eore m
・
(ii)
is
-
l
f ij(L J )
p ri m iti v
a
e
9 i,( LJ
-
・
p th
r
-
l
)
o ot
-
of
( L J )i
l i
(w )
u n it y
・
h
e
1
-
2 2
ore m
w
e q u a ti o n
a n
,
4 ,( e)
c au se
b ef o r e T h e
en
v
be
,
>
a
<
l
b
1)
-
at
ch ar a ct e r s
d
LJ
m
th e s e c o n d
・
・
e
on e
e
,
f i,(4 ,( e))
-
,
or
i
ple t e s t h
f i, (4 )( e)
F
m
'
w
d i +
an
e r ali z e
gen
w
,
m
-
i+
O r
≠i
(ii)
f k( I)
+ 1
3
-
c o m
・
w
(
+ 1
th
(i)
・
万石
i
=
+ 1
・
as
2 3
e m
e o
u a ti o n
q
es e
f i, (4 ( a))
-
c ti o n
n
LJ
e
th
m
,
>
a
av e
i
L L)
e c a u se
of
4
by
e n
v
<
・
LJ
b
gi
of
e a r ch a r a ct e r s
li n
a re
・
ar e
>
a
土f i,(4 ,)
at
m
-
e
si d e s
ゆ
th
a ss u m e
e
ch a r a ct e r s
r
,
土f ij(4 )
W
・
h
w
er e
・
av e
+ 1
'
+ 1
w
e
g et
1 fo
r
a n
S i mi l a r ly
l i
f (4 )( )
,
]i
Th
e
e r e fo r e
el e m e n t
<
c
a
1
-
>
)
I
.
o r o ll a r y
d
an
it f oll o
∈<
si n
1 2
-
>
a
c e
a n
(L J ) + 1 1 l <
p)
( ≦
( L J l) 3 + 1
,
x
a t (f ij(¢
))
) I , i(4 ,))( x) (f i,(4 ,)( I))(i , i(4)(
l
fj i(4 ,)( a )
w
th
s
m
e an
f i, (4 ) i , i(4 )
.
d th
,
'
・
・
T his
.
-
・
,
,
e s t at e m
s
f ij(4 )f j i(4 )
∈ R
e nt
,
(<
(i)
A
-
a
,
>
)
1
<
a
i j ij(4 ,)
,
i n this t h
15
-
e o re m
-
.
,
,
(t h e
a re
p ri n ci p al
u n it s
i t f oll o
w
in
c h a r a ct e r
R(<
s th a t
a
)
>
j = f ij(* )
・
a re
y
of
By
of
i n fi
n
E
o rd e r
it e
x a
ple 1
m
gi
c h a r a ct e r
si n
l
ce
w
f 3(¢)
-
3
ce
2
・
LJ
¢+
1
fo
i
s)
,
r
c y cli c
er e
<
d
j
h
w
3
-
a
an
,
a
gr
is
w
1
-
(ii)
o of o f
r
a
i
r
p
e
h
W
fo
,
-
od
(m
1
=
2
4,
-
-
s)
od
b
>
a
e
d
j
3
4
an
ou
3
-
a
<
h
h
w e
r
-
of u n
o ot
3
-
H
・
k
av e
2
-
e
,
it y
li n
a
g et
w e
e n ce
d p + k
a n
e a r
・
ch a r a c t e r of <
p ri n c ip al
e
4 b
d le t
a n
k
a v e
is t h
,
1
-
5 th
e
e
w
,
5
o rd e r
of
p
p r i m it i v
l
ere
艶
・
7
-
a
H
・
>
.
e n ce
g et
e
f 3 1(ゆ)
b
3
I ,(4 , )
-
5
ゆ
ec a u se
h ol d
s
bec
,
T h
>
a
)
1 ≦i
主s t h
i
,
N
< p
L et H
b
。f
c 。 s ets
he
i
≠j
G)
t h at
(i 9)(t
F ix 9
e n
a v
n
p oly
a
W
.
∈
a
)
a n
,
g)
・
a
su
bgro
u
Si n
ce
rit e
i
.
w
e
-
1
a n
∈ H
ov er
+ (4 , )
s
3
3
(4 , )
-
w e
c a n
+ (4 ,
se e
3
2
)
+ 1
<
-
,
a
4,
-
4
+
2
ゆ
f 1 3(4,) f 3 1( ¢)
th at
a sil y
e
3
4,
-
+ 4,,
1
-
'
a
'
・
土(
d
4
+
ゆ
h
e re
i
ゆ
-
1
∈ H
f i,(4 ),
fo
a
・
an
d p
Z
as
Th
b
G
s
(i)
・
2
4 ,)
+
i ∈ T
・
e
ten
th
gl V
h
s or
o ose
u n it s
a re
gh
n ot e
th e
d e fi
n es
a n
a c ti o n
Le t T
is
o
b
use
e
d
e
s et
e s e t o f ri
r
b
u m
r
he
乃
w
,
of r e
T
of
o rd e r
inf
i n it e
a ti o n al'i n t e
er
e
p
r
es e n
G
of
n
<
in
d
p
bi cb
t a ti v
T
・
>
-
e
t h at
f i3( I)
e
es
n
of t h e
e e
fo
( H t) 9
by
e
h th at
1
・
ill b
w
s s uc
d ed l at e r
r
ig
h t
th e
-
r
(i
H t9
H t9,
c oset
・
∈
S O
・
o r b it
e v el op i n
r
2 2
eore m
r
ge
a ss u m
p r e s e n t a ti v
on
g
e
w
,
t c os et s of H
a s e t of r e
16
n
of t h e
w
are
u c ti o n
de
as
i
b e f わr e T h
en
in d
a
t h e si z e
d
p ri m
a
o n e
㍑
c
is
a n
to
c al c u l a ti o n
r
d
e n ot e
d
n
th
o n
∈ T
u
( ≧ 5)
o ut
an
a ct s
g
w
・
a
of
p
・
d l et
( i) 士
-
i al
,
s o m e r e s u lt s
s a m e
n
<
h old
i ≠p
i +
,
e
e 舌9
>
5
c t u ally
A
.
c o n si d e r
e
w
b y th
)
a
<
+ 1
n o m
H in G
∈
,
,
e
T 9
T h
w
Ⅵr e st a t e
o w
1
-
3
( ¢)
-
h ol d s
,
a
6
・
s a m e
e
<
4,
-
3
(4 , )
-
5
*
2
e r e af t e r
H
1
-
a use
土(4 ,
u s
R(<
h
(m
3
_
<
4 ,( a)
by
-
plet e s t h
co m
L et
.
e n
v
3
・
f 1 3(4 ,)
si n
T h is
.
g th
e s e n t a ti v e s
T
on
e
t
r
c o n t ai n
a n sf e r
m
f o r th e < 9 >
a
-
ing t
p
,
O rb
w
・
e
it s
r
o n
.
p b
L et
e
t e n s o r i n d u c ti o
( 9)
D
see
E
x
fou
p
丘n it i o
e
If p
,
S
I
a
a by T h
L
et
f a ct
th
h
c
b
u
a
-
of
H
Ⅲ柁T
n
綻T
ec a u se
e n c e
T h
ji n it e
,
c
i
h th
<
u v
@ G
u
up
r o
a
,
G
w
≠j
,
-
i +
n
綻T
l
)
e g
h
er e
p
W
h
LJ
fo
th
)
c all e
hich is
w
)
d
a
*
(* )
g ∈ a
r
e n
w e
p
d e t ail s
e
⑳G
p
is
of
th
e
a
ge
n
al s o
rI 七6
( i) i
n
(f 9
-
h
T
c o n s t r u c ti o n
e r a li z e d
be
b
c a n
e
of
ch a r a ct e r
e re
j ≠ p)
a r
is
is
w
e
fo r
a
al s o
G
u ⑳
,
m
ula
-
1
* *
un
A ( G)
it i n
s u c h t h at
d
an
( )
'
a
w
v
e
⑳G
h
a re
u v
ge
I
・
1
-
H
n
(
al iz e d
ne r
av e
l
)
一
( i)i
n
H fo r i
∈
1
)
-
∈ T
of
c h a r a ct e r
o
,
・
G
T h
・
e r ef o r e
u
@ G
is
u n
a
it i n A ( a )
・
o n ce
a
( ≧ 5)
by
,
[3]
A in
e o re m
is
i n R( H )
el e m e n t v
a n
(1 H )(t o
o
1
at
av e
G
u @
t h at
ov e
r
七g i n a
V
o
L et H
.
H
e n
p r i n ci p a l
e
e
w
a
o n
( 9))
n i
d t o ( )舌
an
is th
.
)
i n c l u d i n g th
)
of
el e m e n
(9))( v
( i) r
・
叫( a)
p i
)
3 1
l
By Th
.
-
3 2
m
@ G
1
H
@ G
v
n
Th
.
H)
y
n
1
-
e o re m
e o r e
g
( i) 舌
( u v)(t o
.
of
an
(u
-
n
(i o
u
.
o r
⑳G
p
・
a cte r
F
.
)( 9)
B y Th
s u
a
@ G v @ G
-
b
har
c
e
n
m ul a
i n A ( H) , t h e r e is
n it
u
a
d ei
f
e
・
R( H )
it i n
un
is
u
a r a c t e rs
(u
i
e
[3]
A in
e o re m
(i) r
w
en
f or
e
ch a r a c t e r
d
Th
・
・
d [6]
an
,
n
P (i o
o
i n 血 c ti o
sor
n e r ali z e
p r i n c ip al
e
ten
,
ge
si n c e
,
of
[2] [ 3] [5]
d in
n
・
H
b y th
,
[3] )
2 1 in
n
o s iti o n s
Ⅲ柁 T
-
of
n c ti o n
p to a
of
n
⑳G
p
(
fu
cl a s s
a
a
c y cli c
a
p ri
p ri
u n it s
m
s u
m
e
b9 r
O u
n u m
be
iti v e p t h
-
i n R ( G)
17
・
W
P
r
・
roo
it h
L
t
a
ge
n e r ato r
et
4,
be
f
u n
it y
o
a
・
li n
a
f
o
o rd e r
p in
e a r c h a r a ct e r
T he
n
土f ij(4 ,)
⑳G
f
o
(1
a
H
≦
R
m
a r
al w ay s
u n
b
e
th
e
a n
y
L
et
H
b
e
p
,
p
( ≧ 5)
of
'
G
L et
e
p th
r
-
I
,
e
f
th
i nP
e n
p
n
it e
a/G
f
ro o
.
is
or
de
3 4
a
m u t a to r
it
)
er
H
u
b
,
,
c
(1
T h
・
by L
h
w
≦i i
<
,
u
p ,i
≠j
of
u n it s
a re
is
e re
5)
>
-
x ( g) ∈
e n
e m
m
of
2 1
a
le
・
・
gt h
n
r
de
r
p r i m iti v e
a
,
ot
n
(n
n
u t a ti o n
er m
p
w
-
@ G
・
G
o r d er
e
S
-
are
> i s a c y cli c g r o u p o f o
r
ゆ( g)
t j = f i ,( *)
u
fi n it
c y cli c
<
-
士 ん(4 ,)
・
bgro
H
e n
of
Le t a
・
a r a ct e r of
h
c
y
(a
・
s u ch t h at
3 1
)
a n
R ( a) i s
of
Th
・
>
cr
e
e n e r at o r o
g
e or e m
T h
.
e n
a
*
c
an
】
f
it s
l
l
fo
r
,
ose
&
a
-
9
n
it
rO u
t h at
P
a
o up
w
is
al s u
ere
w
・
o r
4( a
at
3 1
a
h
i ≠ p)
i +
o rd e r
fi n i t e
in
w
G
is
l
e re
a
( 2 3)
e re
of o r d er
w
h
w
of
G
e re
bg
p
w
( ≧ 5)
p
r
o u
(a
is
of
H
p
a)
E
p ri
a
is
G
L et
・
m
a
iti v
e
・
,
th
e n
士f i, (ゆ
) (1 ≦ i ,i < p ,i
,
≠
・
( th a t
h
or m
n
h
a v e
( ≧ 5)
p
-
c h a r a ct e r
a
e
H)
,
i n R ( a)
-
gr
e
o rd e r
th
n o n t ri vi al
is
th
,
l
I [G / a l
d p
a n
p
as
d i v is
a
u
ed
w
ore m
as
n it e
/
If G / a
.
h
ie
v
a
> i s a c y cli c g r o u p
s u ch
>
be
gro
H
a
H
by T he
i nB
o
<
-
<
of
p
a b eli an
an
of
If l G / a
.
su
a/ H
t h at
( 2 3)
S upp
b
R( <
in
r
'
a / G is
ce
u n
are
.
a
m e n u m
d let x b
u n
it h
w
by T h
sit 11 a ti o n
o rd e r
'
en
ar a ct e r
.
o r e m
e
h
3 3
o r e m
a
of
y
e a r c h a r a c t e r of
c o m
s u ch
ab o v e
a n
ple
un t e r e x a m
a c o
i ≠ p)
i +
,
・
Si n
ea r c
i ≠ p)
i +
T h
o
'
.
b o ls
ve
≠j
pl e 2 )
a m
o f u n it y
o ot
th e
n
T h
i
li n
a
r
gi
an
p ,i
(1 ≦ i i . <
,
e c a n
e n ce
p
p ri
T h
e
sy m
H
u
W
.
n
.
a
li n
.
th e
e
g G
c o n t ai n i n
ty
x
o n
p
b gro
a
inf
i n it
be
n u m
m e
b
mi
E
b
ou
s u
,
(S e e
.
r
・
.
o rd e r
g ∈ a
4 be
et
it e
g
n
⑳G
3 2 , j =f i,(4 ,)
e o re m
d p is
a n
,
mi t s
R ( a)
p ri
L
.
n
of
are
c
y cli c
a c
o ot
r
-
ri
m et
≦p ≦
p th
i n fi
of
it s
Th
el e m e n t
r
5
In
.
e sy m
z fo
4,
k
,
′
≠G)
a
is th
e
co m
d R( a) h
a n
m
ui ai o r s u
b9
a s
r
O u
n
P
u n it
o
f G
O
,
・
G/ a
/
is
n
ot
,
18
-
g
r
o u
p
・
Th
e n
p
′
H G/ a l
for
s o m e
p ri
m e
of
u n it s
H
l
G
A
=
x
l
x
2
( J)
1 if
e th e
)
i n R (S
by C
l
G
of
n
Sn
of
o rd e r
d
a n
S
s o
S
a n
b ol s
m
y
h
n
d x
a n
e r m u t a ti o n
p
Th
B y
・
as
m e t ri c
a sy m
s
e r e fo r e
of
a r a ct e r
e v e n
o n
p
Th
・
t ri v i a l
L
G
et
is
at
A
L et
d x
li n
a
( o)
b
e
r
i i)
l in
a
in
e rs
<
-
′
b
ニ
a r e r a t i o n al
n
w e
h
a
c
Q ( J 巧)
-
,
ri n
g
es
p
r
,
e
‡2 3)
a
th e
e
b
α >
a / G is
,
d B
a n
u( R (
A
in J
G R
.
Is
U( B )
d
an
<
>
a
ck n o w
a n u ar
.
a acs
R
o
fo
))
Si n
y 2002
s o n
his
v
of
m
,
e
I
of
n
t
<
∈
w
ce
U f( R ( <
-
le d g
bi n
r
・
U f( B )
-
ch a r a ct er
e ar
o f u n i ty
o ot
e
d
or
1 if
ー
i nt eg
h
a n
by L
,
er
l
S
・
))
e n
is t h
here
W
h
su c
e
th a t
e r m u t a ti o n
・
2 1 th
e
u n it s
(j=xl
,
土x
2
T h
e n
a
m
'
X2
?
n
dd p
e m
T h
・
G
ere
x
of
o
U f( R ( S
-
h
w
a r a ct e r s
is
cr
e rs
U ( R ( S n))
av e
c
r
2
-
b ols
sy m
n
ch a r act e r
e ar
-
2
o n
p
′
t w o li n e a
as
is
2
o u
l G/ a l
d
a n
gr
・
-
n
y c li c g r
gro
of
u
p
h
w
of o rd e r
p
o u
′
G
e re
is t h
e
e c ti v el y
h
w
e re
i
-
q
v
m
c o m
Th
・
a
or
>
))
W h
s :
alu able
U n iv
co m
h th
∈ B
w
-
m
)
4 ,( a)
at
by L
e m
i
( 土4 , I i
l
e n
e r si t y
e n ts
土p 2‡h ol d
士p ,
,
g g e s ti o
of
a n
Bi r
d I
v
m i
a
2 1
,
n
n
s
gh
U
a n
19
,
m
n i v e r sit y
m
.
I
1 +
a
at t h e
U
-
ri n
)
=き
J
p
of
g
l 2
L et
e
w
・
-
m
h
e
t:
・
・
-
th
a v e
I
Bir
m l n
th a n k
n
o u
r
U f( A )
p ri m it i v
o r o ll a r y
of
a ls o
bg
th e
U ( A)
e n c o u r ag e m e n t
d
d
an
is
1)
-
・
-
w
C
d
4 , 6)
,
u t at o r s u
m
e n
p
er e
a n
-
,
e re
h
・
a m
i sit e d h i
h
W
LJ
m
e
w
-
0 1
-
i sit e d t h
v
u s efu l s u
r e c eiv ed
th e
s u c
>
a
A
( 土1
-
3
-
Q (i)
b r ai c i n t e g e r s i n
al g e
(
m
-
,
inf
i n it
as
・
.
th
,
b r a ic i n t e g
( 士1
・
of
u n it
o
n
R( a) h
3 3
e o re m
・
m
-
.
h
fi n it e
y l 2
ple 3
m
I G/ a l
c
o u
r
g g
G
be
( n ≧ 5)
n
-
圏
・
a l u e s o f c h a r a ct e r s
are
n
x a
p
p
n o n
d i c t s t h a t R ( a) h
co nt r a
S
-
of
u
an
o u
n a ti n
r
b gro
is
a
et
al t e
c,
v
o r o ll a r
al g e
L
.
a n
gr
-
,
a / G ' is
ec a use
T his
.
( 2 3)
a
p ri n c i p al
e
-
si n c
E
is
is
n
is t h
of
/
5) b
_
o rd e r
u t at o r s u
m
c o m
(>
p
ple 2
m
x a
e r
in f
i n it e
a/ a
e n ce
E
b
n u m
iv
gb
fr o
P
e r si t y
m
in
a m
P
r
o
fe s s
r ofe s s o r
of
U K
W is c
or
I M
・
o n sin
・
M
(
d is
a
I th
es
o n
e c i all y
p
T his
G
k th
a n
r an t
e
ef e r e e
r
b
a
in
m
2 3
.
n ti f
ic
R
A
C
.
W
.
ti o
C
.
3
D
.
514
4
51 8
ⅠM
.
.
1976
5
M
-
JS PS
e
J
a ti c s
a
H
.
Ch
,
.
ei n er
d O rd
Is
m e v al u a b l e c o m
av e
er
a acs
N
s
e n ts
m
,
o rk
et h o
ds
o
l
ol
1
・
r
of
o m o ti o n
2 00 1 2 0 0 3
S ci e
n
)
ce
-
,
・
e n c e s
r
Y
V
T
,
1 3 6 4 00 0 8
e w
,
fo r P
o ci e t y
S
e p r e s e n t a ti o n
R
M
,
fe
e
,
,
1 9 62
,
R
f
Joh
,
in d
en s o r
o u r n al
Il i n o is J
,
Th
a ct e r
a r
A kad
o u r n al
.
V oI A 3
a
k
N
.
Y
.
f
o
e o ry
k k ai d
o
Y
a m
M
at
th e
,
of
e
Th
.
t a ti o
W il e y
n
Th
n
d S
an
of
u ct i o n
o n s
eor
d
a n
ro up s
it h A p p li c a
w
y
N
,
e r a li z e
gen
a t h e m a ti c s
M
o
・
r es e n
p
G
F i n it e
f
e o ry
Y
e w
d
o rk
1 9 81
,
ch a r a ct er s
V ol 2 7 , N
o
・
・
( 1 9 8 3)
3
-
an
・
d
,
F i n it e G
ro up s
A
,
de
c a
ic P
m
r es s
N
,
Y
e w
o rk
,
N
a u c
h
.
3
O
e m a t i c al
er
th e
n
,
h
a r a ct e r s
V bl 2 8 N
.
o
.
F iz
n ces
in
s ol v a
.
M
at
gr
-
47 9
o u r n al
o u
.
in
ble g
r
( 1 9 8 4)
2
N
.
a
a v u
k N
o
of
p bl o c k
a
-
1 8 ト21 0
,
of
of c h a r a c t e r s
in g
r
it s i n
un
477
u n it
J
o n
o u
ps
A d
,
v
a n c es
in
・
of c
e r
i n t e g r al
( 1 9 9 1)
hi, A
b
a t ic s
BS S R S
k
o
e
de
p
-
n u m
T h
c o r r es
284 306
,
a th e m
a u chi,
a m
.
.
n
M
a vu
a r a ct e r
( 1 9 8 2)
so n ov
V ol 2 0
K
Ch
?
b rr ) O
n
.
K
.
a acs
o u r n al of
.
e s ci
。
K
.
A Ⅰ S
.
9
a n
d I M
a n
a acs
Is
.
.
.
8
s
p
c h a r a c t e rs
Is
I M
Illi n oi s J
v
ro u
R
.
er
s ci e n c e
r
d g
a n
.
.
a th e m
7
d I
a n
R ei n
(J a p a n
( c) (2)
h
e s e a rc
.
・
.
.
6
u r ti s
G lu ck
.
u t a ti o n
er m
p
C
.
F i n it e G
to
ns
d I
an
,
W
.
u r ti s
A 19 e b r a s I n t e
s s o c i a ti v e
2
C
.
2002
r
・
R
1
be
e ce m
a r t i cl e c a r e f u lly
y
d b y th
o rt e
pp
d
o re a
e o re m
S cie
r
US A in D
in
h
w
as s u
w
A id f o
-
Th
o ut
a r ti c l e
-
)
o n sin
W is c
,
.
ch a r a ct e r
ing
r
p
s ol v a b l e
-
丘n it e g r
a
H
'
ro u
g
p
,
・
( 1 9 6 6)
3
a
69 7 6
o
,
k k aid
o u
p
,
(R
u
s si a n
)
・
o
M
a t h e m a ti c al
・
p in
a
V ol 2 0 N
・
20
ch a r a ct e r
o
・
3
(1 9 9 1)
ri
n
g
Of
an
549 558
-
,
・
al t e r
n
a ti n
g gr
ou
p
,
10
H
o
K
・
k k a id
・
o
Y
M
a m a u c hi
ath e m
,
A
a ti c al
un
J
it g r
ou
o u r n al
p in
V
ol
.
a
c h a r a ct e r
22 N
o
.
1
( 1 9 9 3)
D
e
F
a c u lt y
C hib
a
C bib
a
E
-
m
n
Of
g
1 3 23
g gr
p II
ou
,
-
,
of
U
alt e r n ati n
an
a r t m e n t of
p
J ap
21
ri
Ed
.
M
a th e m
u c a ti o n
n i v e r sit y
2 6 3 8 52 2
a ti c s
,
,
,
-
,
a n
ai l : y
a m
a u c
h ik @ f a c u lt y
.
c
hib
a
-
u
jp
.
,
A
N O T E
O N
C H A R A C T E R
R IN G
IS O M O R P H IS M S
K
D
of
e p a rt m e n t
C hib
ichi Y
e n
M
at
h
m
e m a ti c s
U n i v e r sit y
a
a
Y
,
,
a y oi c
-
F
h
*
hi
a u c
a c u lt y
o
of
C h ib
,
E d
a
,
u c a ti o n
J ap
,
a n
A B S T R A C T
I
t his
n
of
R ( a)
i n 且u
'
t
e
w
th
ill
B l( H )
o
k( B
m
)
-
i
of
F
E
c
o r r es
a c u lt y
-
m
T h is
H
ail:
p
p
the
Se
ore m s
d
co n
)
e
w
I( B i)
-
i
w
b ij e c ti o
a
w
ill p
de
o n
Ed
n ce:
u
w
K
hic
e n ich
c a ti o n
a m a u c
a rti cl e
o rp
,
ill b
e
s u
i Y
C hib
hik @ fa c
b
an
U
e c t t o th e
p
of
th at A in d
b
a
s o l u t e ly
i D
,
n i v e r s it y
chib か u
lt y
m
it t e d f o
r
e ct i v ely
p
p
,
i r r ed
h
w
,
)
i
u ci b l e
Y
ay oi ch o
M
of
-
,
C h ib
-
22
n
el s e w
h
A
of
an
his
d
H
m
n
F ir s t
.
a to th
l
,
A
m
c a n
fr
B
a n
[I r r( B i)I
,
he
a
2 6 3 8 5 22 J a p
,
-
,
.
of
B l( a )
th e
,
-
n
a re
th
e
a b el o n g i n g
at
e re
ati c s
( B i)
r
ill
s et
e
o m
w
B l( H )
d
Ir
ch a r a cte r s of
m
w e
i n e d b y 入B
B l( a )
e re
.
b li c a ti o
o rp
m
ps G
m
b ij e c ti o
a
jp
u
h is
o rp
s e ct i o n s
-
k( B
a rt m e n t
,
o u
h ich is d et e r
p
e
m
ces
u
is o
a n
・
l
d( B;) h ol d
-
r es
w
s
is o
p
of
fi n it e g r
o
丘n i七e g r o u p
)
d H
u
.
w
i
a m a u ch
a
R ( H ) f or t
Bi ∈ B l( H )
o r din a r y
o m
a
e x is t e n c e
t h e s et
o m
d a( B
an
,
res
ro v e
-
i
is
-
fr
e x t e n t th e
of
ns
it h
n
of
-
o nt o
t at i o
es e n
r
hat
w
a)
of
g
( p ) bl o c k s
of
y
re
u c es
・
ri n
d if B l( a ) ∋ B
t h e s e t s of all
*
ain
m
k( Bi) , I( B
s e t o f all n o n
c o n sid e r t o
d ul a r
o
st at e
a n
ill
w
ch a r a cte r
e
s e c ti o n s
-
w e
t h at A i n d
ro v e
p
(t h e
en c e
W
p
a r ti c l e
an ;
B i , i( B
t o
B
)
lJ
-
i
r a u e r ch a r a c t e r s
K
e
W
y
g ; B
rln
r
2 0 00
d s:
o r
r
h
a ti c al
gi
n
c ib l e
u
a r a ct e r r l n
ath e m
IB
,
a b elo
of
I rr e d
a u e r c
M
( B i)l
B
r
o u
gh
i nt
e
ge
rs
ri n
g
e
be
n u m
L et I
in th
Q
r
c h a r a c t e rs
‡x l
,
F
・
・
)
X
h
(i)
a n
(ii)
e
G
Th
・
・
T h
l 1
m
・
en
,
・
Th
e
)
X
e
w
a
a
n o v
4 ,i
Ei
a n
(杏
d
-
e
co m
B
r
of
B
i
a n
,
d
so
e fe c t
ou
r
g
p
ci b l e
u
o n
Ch
ch ar a ct e r ;
a ue r
p ; D
o u
r
hic ir r ed
o m o rp
-
.
a r a ct e r
・
20C 15, 20C 20
e n o te
ple x
b
n u m
it
e
fi n it e g r o u p
a
M
・
or e o v e r
b
n u m
e rs
F
・
雷R ( a )
e
( ∑P
-
=
8
ks
o n ov
p
If l
r r
h ol d
e rs
or
a n
w e
th
,
百t o
d
ri n
g
of
Z t
o
de
e
rit e
w
fi n it e
a
r
de
n ot e
S
w e
se t
,
th
d
r
a t i o n al
al g e
e
th
n ot e
b
r
e
aic
b y T Sl
e n ot e
・
,
要
a
雷
-
(x
l
-
,
,
雷
th e
(i
1
-
al g e b
一
d t h e f oll o
ov e
s ol u t el y
ot e
n
ai ∈
e
b
is
r a
w
in g t h
X
h
)
a n
al g e
-
…
,
irr e d
bra
h))
,
d l
s
p
ple
co m
a n n e
d
x
by
.
his
o m o rp
e o re m
c ib l e
u
雷R ( a )
of
m
.
( H)
r r
-
( 4, 1
,
.
.
.
,
4 , h)
,
:
a n
eid m a n
-
de
X iI
1 ai
( a)
f G
!
s e t of a
to
1e七 人 b
,
o
W
p l et e
co m
d H
1
is
o n
n
d ef e ct
u ci b l e
fi n i 七e g
e c ti v el y
a n
t able s
d
p
th
w r
r o p e rti e s
of a
Q
d
ple x
e
雷R ( a )
s
th e
-
all
.
b
h
i n [5] s
P
b y S ak s o
-
,
)
i
c a ii o n :
es
r
of c o m
e n
ch a r a ct e r
A( x i)
・
an
,
i n th
in β
of
Ir r ed
Bl o ck
-
fi el d
rs
d( B
,
s et
e
IN T R O D U C T IO N
( S a k s o n o v)
f o ll o w i n g
d 6]
・
,
T h at is
・
H)
e o r e
th
e n
(xl
fi n it e g r o u p
雷R (
T h
i n [5
,
-
of
o r t w o
o nt o
th
・
fi el d
e
of ele m e nt s
r
( a)
r
i nt e g e
i
a r a ct e r ;
.
Z
,
a ti o n a l
r
o f all al g e b r ai c
of
a
th
-
B
o
S u bj e c t C l a s siB
a r ti c l e
d th e
a n
)
cl o s u r e
th
t hi s
o ut
g t
n
g ; P
1
Th
h
c
( B i)
r
h)
d H
a r e
i n d ep
w
h
e r
e
23
e
de
n
th
th e s a
e
n
ei
tly
a r
.
e
m
e
.
(
T his
r
e s ult
w as
p
r
o v ed
)
r
o ot s
f
O
u n
it y
.
(Z n
t hi s
case
w r ii e
w e
I
of
(ii)
of
T h
(i)
a
,
If
n
ed
th
e
d e&
Th
o r e
e
n
万
Z
is
一
l 2
m
is
u
v e ry
f
th e
( cl
,
d e fi
th
n e
D
e
b
)
Ch
,
-
fi
n
e
c
it i o
-
is o
m
T
o r
c o m
・
・
・
l 3
・
m
s
p l et e
W
・
e
his
m
o
入
:
p
b
d e fi
a
o n
A
b
s u ch
a n
a
n
asic
c ase
d th
w
fi
at
p p li c a ti o
t o ol s i n
a
s ay t h at
e
n
n s
ese
c o r r e sp o n
of t h e
t h e st
p p li c at i o
th
fu
u
a re
hic h is
w
dy
a st r e n
al s o
st a t e
o n
e
u
gt h
e n ed
v
e r si o n
1
on
fu
fu
ei
n
O r
7
d in[
,
8
a
9
fi
24
言R ( a )
i s th
i d e n t ity
e
ith
w
(t h e
m a
p
e
f
ele m e nt
o
el
…
,
,
g at
eh
r
es
c o m
iti o
o
p
H
f
o
)
his
f
n
o s
a u t o m o rp
a n
en t e r
c
ju
a re
fu
c
p
h
l
(i
f
m
o
.
e
cl a s s e s
p
e ct i v e ly
G
in
Th
.
d
an
en
w
e
e
O n
ds to
c
h
O]
1
.
.
,
.
h)
,
a r a c t e ris t i c
f i (i
of a
a r a ct e r
-
as
f oll o
w
s
.
th
c ti o n s
n
d
a
O n
(i ≠j)
0
-
a n
a v e
.
of a
,
h
w e
→
of c o n
of
C O r r eS
st r u ct u r e
(H)
es
c ti o n s
cl a s s
e n
H ) is t h e
r r
s et
n c ti o n s
ei
雷R (
i n Z ( H)
f i( c j)
,
Th
.
d 1 is th
a n
ー
to Z
p r e s e n t a ti v
s
p
.
plet e
c o m
o u
雷R ( a )
:
u
雷R ( a )
c h a r a c t e ri s ti c
of t h e
T
( a)
( G)
cl a s s
o
d
gr
∈Ir r
x
n c ti o n s
-
n it e
f 雷R ( a )
cla ss
ds t
a n
r r
th
e
n e
P
el e m e n t
of r e
cl as s
e re
I
s
o m e
s et
a
h
f i( c i)
I n t h is
i n [8] )
e o re m
a re
in
w
m
a
e h)
,
d H
a n
p h is
for
u
,
i n g th
w
el e m e n t
m
a r a c t e ris ti c
n
.
a
o se
0 th ai
(el
a
)
f o ll o
e
a u t o m o rp
一
m
fo r
e
h)
.
S up p
雷
-
h
.
万
h is
L e t C l( a )
,
( x( u )/ x( 1)) x
a n
o rp
…
c e n t r al
→
E
,
d th
ov e
1 1
a
is
o
r
・
・
o m
R( H )
p
e o re m
u
T
e
w
by x
(ii)
a
n
1
-
i
d it i o
ad
n
う 中 (i
xi
rl
fi
n
n
g
it
e
-
gr
Of a
1
cl a s s
,
o u
…
p
,
fu
h)
IS
n c ti o n s
.
O n e
fi n it e g
r
ou
Of t h e
p
an
d
By
fr
C l( a )
o m
fo r
t
h
e
c
a
( a)
Ir
r
c o r r e sp o n
o u
a
s
p
o
fi
gro
u
p
X
h
n
it
e
(
x
l
・
,
・
・
ei ∋
to
,
a n
is
o m or
G
w
en
is
fi
b
e
his
a
o n
s t at e
e
w
,
入 o f 言R ( G )
m
b ij
a
e c ti o n
雷R (
o nt o
H)
.
烹
m
a
ctioin s
n
o m o rp
h
c
百R ( a)
of
百R ( a )
rit e
de
to
百R ( H )
o nt o
百
te th e
n o
a r a c t e ri s t i c
cl a s s
fu
c o nj u
g
b y l in
al g e b
-
n c ti o n
ra
s
e a r it y
a n n ed
p
G
o n
hic h
w
g et
e
w
s
w
p h is
w
e
L et
・
f o ll o
fu
cl a s s
al g e b r a
-
as
T h
.
雷
a
H
)
ci
gh
d
a n
入 t
a r a c t e ris ti c
o u
r
ten d
=
ds
r
h
c
C l( H ) t h
to
e x
for
er e
by
an
of t h e
us e
fi n it e g
o
w
w
w
ki n g
m a
h
fi
h
w
fo
ere
a
r
ple
c o m
b
n u m
x
[ C G( c i)I
e r α
d
e
w
fu
cl a s s
r
e
gr
p
r
o u
F
fi
ce
∈
百R ( a )
n c ti o n
e s e n t a ti o n s
of
s t his r e s u
p
or
j
a
c o n
u
(i
H
o n
it f oll o
,
fi
n
it
e
al s o
lt
1,
-
.
.
o u
gr
h)
,
s
p
be p
c an
cl a s s
g at e
.
ei
・
,
x
w
e
ノ
百R ( H )
t h is
o v ed
r
p
an
O n
a
c o n
S in
.
r e s u lt
c ase
of o rdi n ar
a si m
il a r
d in
c o rr e s
ds t o
on
p
a
w
y
y
j u g at e
b ij e c ti o
fro
n
a;
cl a s s
H
of
C l( a ) t
m
c h a r a c t e ri s ti c
a
H
.
ere
fu
c h a r a c t e ri s ti c
a
H
on
(i
ei
of m
e c ase
d
o
of
ns
ula r
fi n i t e
・
n c ti o n
a; t o
a s s ig n
e
w
cl a s s
a c h r a c t e ri s t i c
p r e s e n t ati o
e
r
al s o
in t h
′
A (f i) i s
ce
・
ヽ
d 入
(f i) is
〈
a
fi
by 昏
a te
{
I n th e
ei
ple
c o m
_
7
ro v e
a
Of
it s
、
I n[ ]
.
1
=
t h a 七人(f i) ∈
s
w
j
e n ot e
ノ
s in
∑石両 x j
-
A (f i)
,
1
-
,
-
,
fu
cl a s s
n c ti oi n
ヽ
d s to
c o r r e sp o n
h) T h
us
・
g et
w e
a
C l( H ) :
o
こ;l コ
ei
ci ∈
w
h
e re
c o m
plet
I n t his
C
r
e s u lt s
o m
e
c ase
see m
w
e
e
it e
w
g th
‥
.
ci
r
e
a
to b e
s et s
,
e
,
)
h
,
-
of r e
b
is
m o st
o m
im p
or
r
p his
o rt a n t
暮C H ( c;)1 (i
p
1,
e s e n t a ti v e s
-
.
.
,
c o nj u
.
h)
,
A
m
,
; (i
c
'
(al
-
of t h e
-
e; ∋
→
l
C l( H )
与 c; (i
o v e
入(f i)
→
o f r e p r e s e n t a ti v e s
I C G( c i)I
plet
(el
-
se t s
o n c e r n in
(i)
c
C l( G )
fi
→
-
,
e h)
g at e
( cl
,
1
-
,
-
Cl as s es
Ch
,
in
…
,
,
h)
)
an
a
a n
d
'
( c1
d H
'
-
,
,
)
Ch
a re
r e s p e c ti v el y
・
.
t h e f o ll o
w
st at e m e n t s
in g
h old
・
T h
e se
)
a re
・
1
-
,
・
,
h)
of t h e c o n u
j
J
25
w
h
e re
g at e
( cl
フ
・
Cl as s es
・
・
,
)
a n
d
a
a n
d H
Ch
in
J
( cl
'
,
r
-
,
Ch
e s p e c ti v el y
d
a n
与 c; (i
ci
(ii)
I
W it h
( a)
r
r
I
o th e r
a
r es
e r al,
n
th
,
e
b
a
n e c e s s a ry
h ol d
w e
雷R (
o nt o
pr
o v ed t h e
ou
p s)
H) fo
t
r
m
a
l 4
)
an
m
,
.
.
.
X
!
e o r
*i
n
.
,
.
.
,
X
)
h
d
ct
u
his
m o rp
(xi
,
n
d
u n
A
m
(ii)
d
an
,
d
X j)
,
of
( A ( x i)
-
a
w
B
a
al
n ot
o
e r
ra u er
A ( x j)) H f o r x i X j ∈
,
h
c
,
ab o v e
e
a r a ct e r
h ol d
w ay s
h ic h t h
u
os e
pp
fi n it
o
F ir st
of
he
p
w
/
-
ill p
( H)
e
w
h
w
in
a re
a
an
a
re
1,
-
・
・
( ¢1
v
H
a
th
h)
a
-
,
prese
I n [7
・
O nt o
ri n
g
d
lO
a n
]
(i)
st at e m e n ts
e
w
,
a n
an
-
gav
d
e
(ii)
,
i n th
re
f
W
(h
m
o
4 , h)
Th
e n
w
-
ou r
of
e
of
n s
is
hich
t o t h e s et
o m o rp
c an
his
fi n it e g
m
a t ri c e s
o u
r
)
m
a
l 4 in
a
( G)
主
・
・
he
w
,
入 o f 雷R ( a )
e m
s
p
r e s e n t a ti o n s
p
m
L
ro v e
p
of
h
re
r
I
r
e
xi X
,
rr
s
a m
w
h
f G for
blo c k
e
e re
x
o
う 4 , i (i
t
-
1
,
・
・
・
h) , I
,
( a)
∈ I
I
,
r
r r
( a)
r
,
-
I
d ul a r
雷
a n
x
d ul a
m o
is
al s o
e
n t at i o n s
H
o
r
e
p
re
o m o rp
m
a
in
st ate s
p
L
a
l 4
a n
o m
o rp
his
s e n t a ti o n s
of
e m
of a n
e x is t e n c e
e
of
c as e
a lg e b r a
一
・
e
.
p p li c at i o
e n
・
d H
a n
bl o ck
s a m e
gi
,
・
d xj
a th e o re m
of
a ry
要
a
I
st at e
d
a
t
th
( A ( x i)( c;))
e n c e th e
e
ov e
s e c ti o n s
e
at e x t e n t
i n 且u
ps
r
ill
w
a n
-
r r
w
c an
o u
i n ik
d I
t h at
gr
e
e
w
r
If x i
.
ab o u
ps
u
(i n
l A
m a
.
-
(i
・
e m
1 5
e ore m
of o rd
う c;
a re
A
,
a n
,
ing L
fi n it e g r o
c ase
c]
a r t ic l e
a n ot
o n t o
s
4
w
( x i( c ,)・)
.
d
a n
e
1 5
e m
f oll o
o
w
・
c o n sid e r t o
ill
s et
d
o
r
d iti o
I
・
h
I n t h is
w
p
(i)
c o n
d T h
a n
Le
(xl
t
氏 ci e n t
su
in t h
T h
w
d
w ay
e
n er
is o
an
g
s t at e m e n t s
ov e
il a r
(xl
th
in
an
c o n c e r n ln
a n
fi n it e g r
si m
e ct t o
p
.
.
I n [1 0]
of
h)
,
…
,
・
ge
n
1
-
l
-
26
is
his
o
m
・
bj e c t i v
is t
e
A ind
t h at
s e c ti o n s
of
H
u
l 5)
w
e
of a c
a r a c t e r ri n
g
丘n it e g r
雷R ( a )
of
入
m
A
m
o
ces
・
h
o u
s
p
t
a
b ij e c t ti o
d
w
e
th
o
r
o n
w
.
H ) fo r
雷R (
o nt o
ov e
an
・
p
Sec
d
e o re m
d T h
w
n
e o re m s
fro
ill p
m
r
・
th e
ov e
・a
th
e o re m
h ich
w
B l( a ) ∋ B
h ol d
h
w
,
当 Bi
i
( B i)
t i v el y , k
th
of
s et
e
d( B
i
)
F
r
d ef e
o m
n o w
u n l es s
ot
h
is
Bi
he
n
w
,
is e
s
e 七人b e
th
w
H
r
h
w
t he
er e
H)
it h ^
L
e ci 丘e
d
-
雷
e
p
r
a lg e b r ai c
th
e
a
p
R
α ∈
ri
n
of
o of
p
-
7T
R(
en
id
ri m e
,
R
(K
or
w e
it y
,
1
-
Th
p
a
r
,
R
,
R
*
,
b
h
(p ) blo c k s
B
o
n on
i
o m
)
l( B
,
is
-
G
c h a r a c t e rs
a ( B:)
-
r e sp e c
o rdin a ry
hi c
o rp
)
i
d H
a n
fI B r( B i)1
-
i
d d( B
an
of
-
al 1
au e r
r
o m o m
e al
h is
o rp
地
w
fr
m s
al g e b r a
o m
b
IB
,
b
a
,
h
Zr
.
.
a v e
( a)
h)
,
.
l ot
r
(xl
-
Th
・
I HI
-
bra
alg e
o n e
o rp
,
。
)
h
w
fi
o
a
,
bis
so
( B i)
R
e sid u e
7T
,
R
p
育)
e n
fi eld
er
R
w
w
s et
e
hich
・
(
α ∈
a
p
)
P
-
-
・
R
m
,
)
*
o
a n
K
a
-
K
d
-
i
?
a n ot
to
o nly
ou
ps a
h
er
)
・
is
d
w
m o
d ul a
o m
( H)
h is
o rp
(i
,i
r
r
m
( 4, 1
-
1
-
,
・
-
,
-
,
雷R ( a )
of
t h a 七 人。 i s
s ay
e
4
ei
-
d H
a n
h)
,
* h)
r
s
a
p
p
-
r
I Gl t h
all
y st e
s
r o ot s
m
as s o cia t e
of
f oll o
as
u n it
w
s th e
fi
n it e
b
*
y st
u n iq u e
fi el d
e th e
万
e m
27
-
a n
of c
s a m
e
R/ P
d
r
w
a ti o n al
h
a s
fi
Ⅹ
m e
a r a c t e r is ti c
竺 R
e
p ri
th
p
ose
/ 7T R
t his
n
at
p
p
P
s
y,
,
p
・
[ 1]
ge 5 84 in
a
望 R
o t a ti o n
/
*
・
P
*
・
・
o nt o
,
昏 ∈
-
d ul a
u
c o n t ai n s
t ain
c o n
fi e ld
cla s s
o r
is
hich
w
-
r
m s
it e g r
n
d I
n
a n
a n
・
・
)
X
-
,
t
r
d 入
( x i)
a n
入 is
en
l 2 i n 【8]
e ore m
Th
・
-
a b elo n g l n g t O B
of
o m o m
雷R ( H ) f o
o nt o
b r ai c i n t e g e r s i n
in
・
m e
rl
n u m
e al
α ∈
*
p
O f al g e
g
R/ P
-
et
T h
th
g t
n
le B
雷R ( a )
e n
4 ,i (i
-
。
a r a t i o n al
e
an
-
P
L
p b
-
R
入 ( x i)
e
of u n
o ot s
r
Th
.
gi
n
of
s et
e
I( B :) ,
-
d if
a n
P R E LI M I N A RIE S
.
of
m
)
i
d B l( H )
an
・
h all d
e s
w
his
a r ti cl e
are
Se
(
is
o n
o f a ll
B l( a )
et w ee n
,
s ets
u c ib
b
B
k( Bi) i( B
-
th
-
c o n si d e r
e
o m o rp
e
^
n
.
et
K
ei
set
w e
er e
雷R (
o u t th
gh
o u
is
an
th
)
a b el o
s o
2
L
i
are
of
d
an
,
w
p
k( B
p hic i r r e d
o m or
of
ct
o n
e r w
-
e n
( B i)
c h a r a ct e r s
b ij e c ti o
a
r r
,
n o n
is
B l( H )
d
a n
th
,
LI r r( B i)l I
-
al 1
th e
-
( H)
u c ib l e
l u t el y i r r e d
at t h e r e
∈ B l
B l( a )
er e
th
s t at e s
・
d
L
(軒
et
.
,
.
d u ci b l e 雷 G
ir
r
e
d
布) b
,
.
m
-
u ci b l e
B
e t h e s et of
d ule s
o
of
a
(pl
N
.
of a ll n o n
a r a ct e r s
-
r
a u e r c h a r a c t e rs
r
h
e c
( a)
d IB
a n
th
,
-
th
b
e
e
th
,
d e fi n
w e
o w
)
P
,
is o
-
b s ol u t el y ir r e
a
of a ll n o n
s et
e
hic
o rp
m
ch a r a ct e r rin
e
is
-
hic
o m o rp
( a)
a 雷
g
-
ov er
育:
( a)
a 宵
T h
e n
T h
g
Th
.
(
,
cl
a
,
…
w
hi c h i s
a
s u ch
.
"
,
)
C
,
)
of
a n
R
d H
ill b
w
.
,
If t h
.
a n
2 1
e ore m
et
(el
2 1
ps a
o u
r
b
,
a
e
Th
.
li n
-
a
th
,
e
0 if 9 p
(i v )
Tl l( a) + r] 2( 9) +
p
(i
1
-
-
,
,
))
r
e m
p
r
m
in
( H)
宮
f o ll o
of t h e
e ac
・
o f o rd
,
a
官
1
4 0 7 i n [ 〕, f o r
a
b i n a ti o n
o
o v e th e
r e s e n t a ti v e s
p
m
e
w
di
-
f 雷R ( a )
入
m
g Th
p
re
h
ci
a b s o l u t el y
a ry
H)
fo r
tw
o
・
w in
-
雷R (
to
o n
2 2
e o re m
・
g ul a r
c on
the
is
j
e
r
u
a n
u c ib l e
irr ed
・
g at
e cl a ss es
el e m e n t
りi
ch a r act e r s
of
t h at
Tli 9
a
his
o m o rp
雷 a雷
of r e
s et
co m
(iii)
in
is
aft e r
by L
en
りi( a)
-
()
en
w
e
o r e
T h
育
ai ∈
( a)
m
r o v ed
p
(ii)
T h
I
痢
a
1
a n
di
e n
f u ll
e ar
is
e
e r
l1 9 ∈ G
T7i( g) ∈ Z f o r a
(i)
=
a v e
e o r e m
ji n it e
L
h
e
w
‡∑;
-
( H)
雷
f
ro o
c a n
m
an
p
-
s
o
W
e
0
o v e
o
th e p
a r e
d p) if g p
li n
,
g ul a r
ei
∈
(9)
+
・
r7 ,
≡
c o m
,
-
・
A (r7 ,))
,
e a rly
1
th e
(i ≠ i )
a re
i n d ep e
a
b
fo
r
n
de
e v e ry
d p) f o r
( rT W
9
)東 e i
,
o ri h o 9 0 n a l
育
nt o v e r
・
el e m e n t
1
28
al1
9 ∈ G
・
A
n o t a ti o n
o v e
o n e n t of
p
,
t h e is o m o r p h i s m
fo r
keep
re
-
-
.
d
r
(
( A( T7 1)
2 2
.
叩乞( 9) n ,( g)
・
e
(m
1
-
-
,
,
p ri
m
iti v e id
e m
p ote
n
ts
・
By
g
( c e n t r al)
of
th e
G
c o n
・
d iti o
B y th
e
n
(ii) ( r7i 7j)( 9)
c o n
-
,
d it i o n
(iii)
,
fo r
9 ∈ a
it h 9 p
w
B y th
H
en ce
If
j
a
c o n
of
cl a s s
1
th e n
,
u
w e
m
w r
m
od
s in
c e
p)
m
a
go
l 4
・
an
h t hr
h fo r
h
A is
If
a
/
7i i s
R
a n
r
a
Z
x
与x
a ls o
is o
m
li n
-
1 4
.
w
e
/
ra n
h
of
ra
h
o m
I
r
d
a n
g es
h is
in g
r
e
al g e b
-
o rp
d 9
e ar
p
b in
an
A in d
m
ges
all
ov er
u
e re
n c ti o n
fo
r
all I
与x
'
o n
H
/
c e
w
り豆( g)
≡
1
e
(
si n c
.
∈ H
s in
t h at
e
is
r7i
0
-
・
・
e m
o t e nt s
a宵
c o r r e sp o n
ds t
h is
o rp
d
h
e
w
( a)
in
p
t 9
o m
an
( 9)
a v e
・
o
・
j u g at e
c o n
a
a s st at ed
m
A
av e
x
i
p
r
( 9)
in
s e cti o n
A( x i)( h) f o
-
r
与 h( ∈ H )
Th
・
e n
w e
杓 i)( h)
o v e t h at
≡
r
his
e
ces
a
p
∑?
-
of
1
=
m
r r
Xi ,
K
-
,
)
X
,
h
W e
,
W r
C an
it e
∈ R
ri
.
(xl
-
H
A( m)
e n ce
∑?
-
=
%
ri
1
入( x i) b
ec a use
・
r e p r e s e n t a ti v e s
r e s e n t a ti v e s
b ij
ri
( a)
I
i nt e g e r s i n
al l
over
a ti o n
e c ti o n
fr
of t h e
of
j
e c o n
g at e
c o nj u
C l( a ) t
o m
th
g at e
u
C l( H ) I
o
of
Cla s s es
n
・
a
a
cl a s s e s o f
H
be
,
th e n
c a us e
d dit i o n b y
L
th
e
m
a
e m
av e
x
fu
r ai c
o m o rp
'
h
th
p li cit y
d 9
E ei an
,
co m
al g e b
入( n i)( x )
w
si m
el e m e n
gh
o u
id
e
d p)
・
R is th
ere
9 ∈ G
all
an
h
e
W
,
(rT W
・
叩壱
w
in g
叩i( 9)
=
ei
p r i m i ti v
al
n
1
≡
卓
l
p) f o r
od
c o n t ain
与
it e 9
9 ∈ a
os e t h at
a
it h 9 p
w
el e m e n t
an
e m
a
o rt h o
ar e
of
in g
ay
by L
r r
pp
(
1
c o n t ai n
∈
(9) ( m
cl a s s
a te
g
fo r 9
2
(叩盲( 9))
-
≡ r7i
滞)
-
,
( a)
xi ∈ I
s
i布
u
H
,
?(g)
e r e fo r e
Th
(ii)
n
g et n
e
w
()
d iti o
c o n
e
∈e i , W e h a v e り?
9
8
,
e
∑?
I
( A( x i)( x ))
r
i
り豆( I) ∈ Z f o
r
by Th
-
%
1
=
1 1
e o re m
.
,
a l1 3: ∈
A( T]i) i s
-
a by
a
∑?
ri
1
=
th e c o
cl as s
fu
b y th
e
n
X i( I)
d it i o
c ti o n
n
n
甲立( x)
-
(i)
o n
a n
H
an
d 入
(x
)
i
is
d 入( りi)( x
cl a s s
a
'
)
∈ Z
.
a ss u m e t h at
m
od
入( r7i)( h)
≡
p) b
1
9
うh
e c au se
(m
o
d p)
an
りi(9)
d 9
≡
1
p
,
∈e i
( r, w
,
b
a
d p) b y t h
・
ヽ
29
e
ov e
c
fo
o n
r m
d iti o
ul a
n
w
g e 七 人( りi)( h)
e
(iii)
・
T h
u
s
w e
p
r
-
o v e
It f oll o
F
th
r
al1
o r
a
∈
9
a ll
gh
o u
r
e
≠0
叩?8( 9)
,
of
g at e
th
e
c o nj u
T his i
m
p li e s t h
l in
a re
w
ill b
o rt
h
P
O
r
f of
a
g t
o
a 宵
n
th
e
ot
h
er
r
w
a
si m
es ult
il a
f o ll o
s
w
n
H
・
h
e
.
m
2 1
・
d
k
e
a
p
w e
h
e n ot e
p th
T h
e n
T h
th
e
s
e o r e
'
a m e
p
-
,
if
c an
n o t a ti o n
e
s e c ti o n
fo
av e
3 1
m
・
-
in
cla s s es
H
2
a
in
th
,
h
H
∈
h
e n
d
an
ru
9
u n s th r o u
r
nS
all
gh
e r ef o r e
(Tli( g))
-
p) f o r
od
m
Th
.
与
∋ 9
a11
2
1?8( 9)
-
h ∈ H
りi(g)
≡
T
.
i ti v
K
id
e
r
w
di
-
w j
w
e m
m
,
,
-
e a sil y
c an
-
1
id
e
w
e a sily
li n
≦ di
r
o v e
Th
2 1
e o re m
…
,
d
so
再訂)
,
・
hic h
w
.
0
-
an
a雷
( 両前
t h at
ar e
□
・
ind
( )
ep e n
雷R ( a )
→
d
ent
K
o v er
a n
d
・
( H) ≦ di m
di
( H)
in
p
e a rly
雷R ( H )
‥
A( m ) A( m )
-
・
o t e n ts
宵 a 雷 H
m
)
,
p
e m
sh o w
a 雷
are
A( w
,
c an
( H)
in
A( り,))
入
al
n
e
o v e th a t
r
p
go
t h is f a c t
( a)
c o n sid e r
e
o
m
a 雷
雷
h
ot e n t s
p
(i i j)
0
-
o rt
a re
Fro
.
( A( r7 1)
・
ce
m 雷 a 雷
( th e in verse
of
入)
d
s o
th
e
Of
a
w
e
a
雷
( a)
a n
雷
,
□
.
ee
s in
er ef o re
3
W
(
両前)
,
Th
e n ce
d
an
w
y
…
t o v er
p ri
re m
( H)
n
g ate
(A ( T7i)( h))
-
・
a ft e r w a r d
T heo
Cla s s e s
再訂
-
( c e n t r a l)
n al
go
o o
r
b el o
in
o
d
st at e
e
ju
If G
.
2
de
e n
p)
od
m
co n
A( r7i)( h)
,
in d e p
e a rl y
e
2
( 不前
at
th
.
(
( A( 77i)) ( h)
-
(両前)
p li e s
りi( 9)
≡
-
-
a 雷
of
入( 叩?t)( h)
T his i
(H)
in
e s e n t a ti v e s
r
p
ep r e s e n t ativ es
r
入( r7i)
s t h at
w
r
in
・
eg ul a r
s e c ti o n
c o n t ai n i n
t h e is o m
r
If 9
co n
jug
h
2
.
g ei by
p his
o r
与
T H E O R E M S
M A I N
.
,
ate
g
/
m
F
or
a
p
-
re
[ e ]i ; [ e i]
g ul a r
(x
-
j
c o n
a
∈
u
g at e
Ix p
e i)
∈
,
cl a s s
ei
(i
1
-
,
,
-
,
)
r
・
A
う h fo
Cl a s s
'
a;
f
o
30
r
9 9
'
,
H
a n
[ e ]i
,
h
,
∈
d
s
o
th e
h
'
n
h
/
n
a
p
[ e;] 「
∈
.
d h;
,
b el o
I n th i s
c
n
g tO
as e
w e
w r it e
[ e ]i 与【e;] )
a
d th
n
a
f
P
ro o
l
( cl
H
R
li n
-
( r7i
.
;)
b
T he
n
p ri
f u ll
by L
iti v
id
e
a nd
a s s ets
e m
H
hp
e n ce
f o ll o
W
s
w
e
( B i)
r r
lo
n
g
i
r
n
k( B
g t
)
i
in
a nd
9
a g
,
f or
a
b
m
( a)
a 宵
雷
of t h e
p
i rre d
,
(有
ore ov er
…
,
,
lar
m
万
j
u
c o n
t h e r e is
c
s o l u t ely
di
-
r eg u
-
;
e a ch
,
o
l
p
f
s e c ti o n s
-
有)
h
w
o rth o
ar e
g at e
g
hi c h
o n al
r
-
cl a s s e s
o
L et
.
l
(al
I
-
l芸 w h i c h i s
of
H
,
a n
t h at
s u ch
st at ed
a re
( c e n t r al)
b ef o
p ri
e ,)
,
,
l
ar a ct e rs
(i v )
d
( H)
a 雷
el e m e n t
an
ci bl e c
u
an
,
( H)
er ef or e
'
b el o n g t o
'
宿( 9 )
′
Th
I
-
a ss u
不前( h)
-
去 b el o n g t o a;
by
=
e r e fo r e
再訂)
,
.
,
-
[ e i]
…
( 再訂
平石 宿 (i
i 七e
r
-
,
.
T h
.
( 再訂
2 2
m
w
O
-
l
,
,
-
B
)
t
t h e s et of
-
t h e s e t of all
-
( B i)
Z B
di
a v e
(i) (ii) (iii)
s
by T h e o r e
,
ay
m
M
.
s et
f
e
r
iti v
m
e
e
・
布( g)
-
(B
-
a bl o n i
g
of
2
th
ee n
h
1
m
,
.
S
p ti o
.
n
不前( h )
′
an
不前)
) (
r
,
…
,
.
o rth o
a re
ar e e
th
ee
( c e n t r al)
al
何
u al t o
q
e
on
g
pr
o of
of
L
,
-
e m
局)
m
a
,
-
誘( h)
'
d h b el o n g
-
t o
誘( h )
'
[ e;]
・
T h
u s th e
r
e s u lt
ut
B l( a )
Z
c o n
d iti o n
b et w
n
□
.
p
e
d
a n
9
d h
an
,
o f o rd i n a r y
th
e
w
1
.
n
o t e nt s
p
ce
.
4 0 7 i n [1]
m a
( H)
s o
2 3 i n [7] ) s i n
.
e m
h
h
s e t o f r e p r e s e n t a ti v e s
a 官
o th e r
bij e c ti o
a
.
w e
.
s e c ti o n
in
o
2 1
e o re m
b i n ati o
.
七h e
n
m
e a
o t e n ts
p
o
T h
2 2 in
e o re m
e m
By
is
e
r
f H
s e c ti o n s
-
s at is f y
T7L)
,
/
p
o
e a r co m
-
,
Th
id
.
f
e s et
C
,
…
,
of
T h at is , th e
.
n
g to B
th
-
Bi
e
i
n
o n
is
-
o m or
a
ll (p
p hic
-
) blo ck s
o rd i n a r y
a
of
,
a b s ol u t ely
irr e d
u cib l e c
h
a r a c t e rs
,
of
s et
al 1
n o n
-
is
o m o rp
h i c ir r e d
u c ib
le B
r
a u er
ch a r a c t e r s
,
I I r r( B i)i i( B )i
,
-
I I B r( B i)L
,
a n
31
d d( B
)
i
-
t h e d ef e c t o f B
i
.
of
a b
e
-
Fo
h
w
r
a n
ere
th
If x
b el o
e
∈ B
bl o ck
s
b el o
g t
A
n
1
-
of
By
w e
o
e
a n
x
j
i
i
/
(i
f a c t if
n
th
e
sa m e
in
v
/
d x
th e
b
a
b el o
o v e
入
c o s id e r
1
-
e
T h
are
n
B l( H )
3 2
.
( Bi
-
m e nts
h o ld
(i)
k( B
i
(ii)
i( B
i
p
es ult
)
-
)
,
pr
B ;)
(t h e
f o ll o
t o 七h
e
w
c
( H)
d I
a n
,
l 5 it f o ll o
w
Bi t
o
a s s lg n
th a t
s
B
/
I
*
th e n
,
it
,
n ce
I B l( a )i
is
d
a n
b lo ck
G
e
b
,
of
ec au se
y,
H
I
i
I
・
,
-
,
,
* h)
・
′
d 4,
an
this
n
h)
-
,
4,
b el o n g t
th e
,
case
w
s
th a t i
l B l( H )I
,
if B
i
3
x
^
q
T h is
・
′
'
t
n
m u st
he
w
r
e
dict s
c o n tr a
当 B; (i
-
,
th e n
c a n
e
w
B l( H )卜 If
e a sil y
see
・
A
b et w
入B
n
H
of
,
d x
l B l( a )I <J
-
ユ)
of
th e i n v e r s e
b ij e cti o
a
x
an
x
n
d iff e r e
o
・
f oll o
-
ゆ1
bl o c k
sa m e
t h e i s o m o r p h is m
r
o re o v e r
・
of
s
a ls o
雷R ( a ) (
fo
l 5
i n th
ar e
t bl o ck
en ce
ov e
1
-
( 4 ,1
-
r r
・
an
e s a m e
e ore m
→
e re
M
・
4,
d
n
en
r
1
B l( a)
ee n
・
,
-
,
i)
,
th e
-
n
th
(B
e
l
I
,
-
,
B
)
an
t
d
st a t e
f oll o w i n g
-
k ( Bi) ,
i( B;)
-
)
a( B:)
-
i
,
・
-
ei
.
e o re m
雷R ( a )
r
d
f (i) S i n c e 入( x i)
,o o
By T h
o n
o
h
ゆi (i
ei
-
^
¢a
He
)
X
,
.
e ore m
与4,
/
x
,
a by T h
p
Th
.
I
,
y t
うゆ
of
d if e
・
.
1 et 入( x i)
,
.
′
o
i
.
e r e fo r e
ゆ b el o n g
d
,
by Th
e n
Th
・
d x
a n
th
(xl
-
H)
:
d( B
(iii)
-
,
H
i)
,
.
雷R ( H )
r e ad
e . r e m
a n
,
c o rre s
:
o w
.
of
I
d
an
,
ユ
g t
n
I B l( H )i ≦I B l( G )I
w
4
bl o c k
of
e rs e
.
,
(i ≠j)
∈ B j
I
.
B;
1
-
r r
,
雷R (
o nt o
( a)
I
,
与4
′
x
,
bl o ck
e
B2
X
,
H
is t h
t h at
^
B
If x ∈ B
sa m
言R ( a )
of
O f u n i ty
与 4,
d x
a n
i
入
m
r o ot s
ar e
o th e
g t
n
p his
o m or
ei
w r it e
e
w
,
x
,
is
w
l 5
w
・
in
s
v
e c a n
e rs e
of
e a s il y
A)
,
ゆ壱 (i
p
r
th e n
ov e
si m
-
1
k( B
・
,
)
i
,
h) it f o ll o
,
≦ k( B;)
il a rl y
.
32
w
e
c a n
If
・
o
s t h at
w
w
xi
う ゆi (i
e c o n sid e r
入
-
1
1
,
・
・
・
雷R ( H )
:
b t a i n k( Bi) ≦ k( B
-
)
i
・
Th
u
s
,
h)
・
→
th
e
(ii)
Le
G
t
c h a r a ct e r
of
p
e t h e s et
b
o
G
fi
w e
,
st s
r
p
w
h
ere
∈ B
p
,
o f all
h
p
a
cla s s
fu
m
( B)
, ,
of
(p )b lo c k
B is
g ul a r
e
in a
ele m e nt s
F
.
or
u ci b l e
irr e d
an
B
ra uer
th at
o w
∑x e I
-
r
-
-
G
(x k )
甲X
d xI G
an
,
m
,
.
d
o
∈ Z
甲X
e n ot e s t h e
s t ri cti o n
re
f x t
o
o
G
(
Se
.
・
′■
W
d ei
f
e
n e
a
■
n ctio n
ヽ
^
p( I)
^
T h
en
T h
e ore m
(xl
p is
・
,
.
・
e n e r ali z e d
g
2
1 8 1 2 i n[ ]
.
)
X
,
a
O
d
it f oll o
th
n
ec o m
a re
p
S
T h
u
h
h
er
o siti o n
n
p
d
an
b
u m
fo
th
os e
u rt h e r
w e
,
-
ce
( B)
J β γ( β) ,
( G)
r
w
e
a
r es
as
B
e
Z
a
-
h
.
lift
r au e r
li n
e ar
c o m
of
p
bi n
.
e
of
a ti o n
.
a n
u
∑;
o
・
∑p e I B
o
)
P
・
・
o
g et d
e
w
,
xI G
av e
P X
∈ Z
n 甲X
,
dec
e c七t o t h e
p
,
X
xI G
th en
,
(pl
-
e
w
,
-
(
p
n P X
(B)
,
.
.
.
n
( a)
, ,
, ,
l
( xI G )
n P X
( G)
, ,
∑T, 1( ∑ x ∈I
∑T, 1( ∑ x ∈I
IB
of
s
∑x e I
=
Si n
p is t h
,
ritt e n
w
( xI G )
n
( G)
, ,
w rit e
W it h
・
=
-
e
・
1
=
o m
d
h
w
e r e th e
b e rs d x
n u m
p
)
d
a re
x p
if x
a n
d
・
r
Pi
x 甲i
p
p
o s iti o n
( a)
IB
d
p
0
-
x p
dx
( a)
,
(pl
-
,
・
・
・
,
P
i
P i)
u
P
,
u
+ 1
,
-
,
P
)
,
・
・
g et
e
p
-
b
G)
∈
^
T h a t is
.
n P X
( a)
c a n
r
( a)
w
a
, ,
∑x ∈I
-
e rs
∈ Ir r
x
r
IB
at
∑x ∈I
-
i n d iff e r e n t bl o c k
pp
e n
F
p
ot
e
(x
,
c a n
p
g
r r
s t h at
w
)
l
^
e r efo r e
^
e n ce
p
of
ar a c t e r
Th
p
H
p( x
-
s e tti n
( a );
I
-
h
)
.
h
c
a by
o n
p
P
,
u
d
,
P X
x pj
P
u
-
。
d x 甲j) p
)pj
+ 1
,
・
,
,,
∑;
u
+
・
3
r
∑k
+
-
∑x E I
)
P
=
u
甲X
( ∑x ∈I
( G)
, ,
e a rly
ind
=
dx
1
, ,
x
4
I
e
p
e n
,
( B)
, ,
r
=
u
(∑ x ∈I
. 1
( a)
, ,
,
xg I
( B)
, ,
33
n
P X
d
x p
)pk
た
-
d
n
d e nt
get
∑k
p
n P X
( G)
. 1
( ∑x 。 I
li n
( ∑;
n
. 1
a r e
,
=
( a)
0
I
)pk
x p
た
P X
dx
o v er
p
)pk
k
Z
a n
・
d p
∈
Tb
it f わll o
e r e fb r e
p
∑T, 1( ∑ x ∈I
-
∑x 。 I
e set n p x
w
m
-
( xI G )
n
( B)
, r
P X
p x
h i c h is
w
In
払r
a
s
o rd e r
u
m ul a
to pr
pi
H
H
er e
w
h
If A
z
4 ,i
r r
h
a n
w
x
ges
e
う
う
av e
x
'
(* 1
-
'
d
・
,
・
・
,
,
m
w
I
o v e r a ll r e
r
.
.
4 , h)
h
ges
( xI G )
o
p
=
1
d
P 3)
・
甲j
x
∈ Z
px
l
-
P
,
,
m
p
"
氏Ⅹ
su
)
u
Th
.
e n
e
w
(i
∈ Z
X
i
f o r si m p li c it y
"
i
1
-
・
,
rit e
w
ay
m
・
・
)
u
,
・
・
㌫ 烹
・
p FL f r
a
h ich is
bec
h
( a)
o m
T h
1
-
w
e
h
a s s o ci a t e
d
w
.
a use
e n
入( x i)
・
,
-
( H)
to
a 官
(i
′
(B )
r r
w
e
,
,
)
h
,
・
・
f oll o
as
a 雷
s
w
)
u
,
( H)
F L( 初 ∈
a v e
it h A
)
4 ,i
d 入( x i)
a n
ei
th
a 雷
e n
*i
-
.
O f u n it y
er e t h e ei a r e r O O t S
get
e
w
,
・
七h at i s
( a)
I
r r
G
an
(xl
-
,
^
1
xi
,
-
X
,
)
h
・
[ e]
e re
両市 a
-
r a n
p
.
(
-
野蒜亭
∈ Z
,
it t h
o m
( B)
X
m
,
o
r
m
,
w
n
d
an
s o
of
'
[e]
d
'
p
l
p
a re
拓)( x )
p
all r e
o v er
e s e n t a ti v e s
-
r
′
p
s e c ti o n s
-
両( I )
-
of
e s e n t a ti v e s
of
s e c ti o n s
(
H
/
p
-
of
i
1
-
d H
of
s e c ti o n s
by Th
3 1
e o re m
・
)
u
,
-
,
r
G
・
,
es
p
e c t i v el y ,
・
th e n
T h
x
'
als o
e r ef o r e
w
e
av e
両( x j)
w
e a r
(B )
'
[ e]
∈
x
音節
a n
1
-
P X
.
e
w
而
( B)
,
his
i
, ,
l
(H)
h
P
う ¢ ∈ I r r( B )
,
∬
m
l in
仰
o rp
与4 i ( i
th e n
r
m
d I B
与4
∋ x
is o
a n
( B)
e w
sh o w
o
(iii)
, ,
∑
-
( B)
e
n
a
d xi
I f[ e] ∋
If
e
∋ x
d I
a n
,
fi n
e
'
t
( xI G )
m やX
( B)
, ,
d
a n
∑x ∈I
-
( B)
r r
a n
rr
is t h
.
南
F L( 初
I
ere
∑x ∈I
-
( ∑T,
n
( B)
, ,
g et
e
w
a nt
w
当B
B
a v e
d
e
w
s et
e
w
h
w e
en ce
e
∑x ∈I
-
・
・
I
∑x ∈I
(ii)
ov e
o s e t h at
pp
th e n
-
w
甲,
。
,
p
) p,
dx
n P X
( B)
, ,
=
-
If
at
th
s
w
h
e re
t i v el y
【e j]
(i
∋
-
1
∬
与 x;
・
,
,
.
・
・
,
)
r
I
-
∈
;) (i
∼(蘇)( I
・
【e;] [ e j]
・
,
an
d
-
1
[ e;]
・
・
34
,
・
・
・
,
are
)
(i
u
p
/
-
-
1
-
,
s e c ti o n s
,
)
r
of
a
an
d H
re
sp e c
-
s in
in d
e
h
w
‡軒
c e
d
e n
p
e nt
(菰
of
雷R (
,
.
F
)
us
雷R ( a )
'
)
or
H
.
th
(
d e fi
e
w
,
y
is , p u( a)1 a b u t p ( a) +
at
is g l V
in
e
1
h
e
r
(B)
∋ xi
p
r
o o f of
Th
∈ I rr
,
h
R
b
a n
e
E
r
d
♂
( β)
d H
an
.
r
k
is
o m o rp
.
o es n
c a n
'
h is
,
t h o ld
g lV
in
( u ( x i(1))
l cl
e
a
w
h
d 1 is
a n
l
of
-
1
-
of
e
-
T b 主s
co m
.
,
-
li n e
s
・
・
e a rl y
・
石)
,
bi n
c o m
ar
c o n si d e ri n
a ti o n
1
入
g
‥
i( B )
c an
o b t ai n
( a)
u a
b y p ( ) l)
e
-
・
er
G
l in
ar e
(菰
of
a ti o n
w
w
拓))
u
Th
・
d e fe c t
th e
e n
a
(
・
of
B
.
如
′
d
,
ple t e s th
D
C O u n t e re X a m
a n
d
pl e
D
l
h ol d
洩
a re
/
B
e
r
w
'
a
tb
d
h
c
a n
e re
l cL
d
c
a n
(H)
∈ B l
w
,
′
d
th
/
l cI
t h e d e fe c t g r o u p s
・
35
,
th
)
e n
fo
s
j
n
u
eore m
g at e
r
o u
・
d
b y th
e
id
r
e n tit y
[コ
cl a s s e s
ps a
an
in G
d
d
ot e
e n
d( B )
of
B
an
-
th e
o rd e rs
/
d( B
d B
H
of
r e p r e s e n t ati v e s
a re
e n
-
,
,
a n
'
fi n it e g
o
1
-
)
'
B
( B ))
tb
e
t h e s e t o f a ll c o
H) f o r t
l
k( B
-
当
If B
.
by
e n
∈ I rr
of
G
k( B )
-
4 ,i
p r o of
e
in
ゆi( 1) (i
-
;
r r
el e m e n t
is gi v
,
an
∋ B
B
( i (4 ,i(1))
in
c l( H )
'
he
w
of
d ef e ct
雷R (
o es n t
tit y
()
o nt o
∈
)
s
,
.
n
( B ))
; xi ∈ I
th a t x i 1
s
w
e
m
-
雷R ( a )
lcl
e re
th
ce
t h e id e
d e n o t e b y C l( a )
∋e
-
1S i n
If B l( a )
.
-
( B ) (i
)
.
e
m
if C l( a )
e c t i v el y
p
W
3 3
a r
e n
es
m
-
′
′
♂
( β)
-
m
e s p e c ti v el y
,
c
v
e
a
ay
i nt eg
(p ) b l o c k
B be
p(
,
By
・
f oll o
a ti o n a l
r
et
.
a
1 in
a v e
e
去e g a t i v e
-
′
w
-
育
a
)
il a r
r e s u lt
,
b in
c o m
i( B
-
si m
th e
us
L
2 2 i n [1 0】i t f o ll o
e or e m
d( B
e
n o n
'
a
†a )
(l H I)
u
-
与4 i
r
el e m e n t s
(I G I)
u
=
I
w
a
Th
・
ar
p( 蘇
) is
u
ユ) , i n
( p( 蘇)
,
by
e n
e re
n e
)
1i n e
一
≦
u
雷
er
e a ch
-
'
l( B
-
万
a
e n ce
of
e rs e
v
.
d( B )
w
H
.
is
I( B )
av e
i( B )
e n ce
∈ Z
a
h
e
w
/
'
(B )
r
d e n七o v
en
( B ))
∈ Ir r
I B
-
i n d ep
e a rly
市(¢
′
Th
・
li n
a re
h
ac
PL
,
,
I( B
-
(iii)
Th
.
,
→
I
u
E
.
て石)
…
H)
≧
u
l
拓)
,
'
(p
e re
-
)
'
r
,
b
ut
・
L et A
・
a
d e
an
of
c
D
e s p e c ti v e ly
a n
望
・
D
W
'
d
'
e
L et D
o rd e r
8
r
Q
d
a n
8
b
8
D
e n
Th
a n
e
l
c o n
g at e
u
'
of
D
( D 8)
is g l V
h
av e
e2
by
e n
th
e
(
a
e
d
al g
r
・
-
,
.
.
,
b[
,
o u
r
e
‡
,
2
)
(
L
e七
8
1
b ah
d th
a n
e
u at e r n
q
io
n
gro
u
of
p
人( x i)
ゆi
-
-
2
,
2
d
-
,
a
3
)
e
,
d cd
,
Th
.
2
b)
,
1
)
c
j
a
)
-
-
c o n
,
1
-
a
-
1
-
e
(b
-
4
1
-
・
,
e5
,
e 15
of
cl a s s e s
g a te
u
(
-
a
b,
a
3
b)
D
ar e
8
I
(c
-
d Ir
,
c
( Q 8)
r
3
)
e左
,
(4 , 1
-
(d
-
,
・
・
・
,
空
d)
c
,
4 , 5)
Th
I
(cd
-
e n
,
c
3
d‡
・
t h e c h a r a ct e r t a b le
;
Q
e sp e ct t o
c
,
a
8
th e s a
,
(
i
-
1
,
a
ab
1
1
1
1
1
1
1
1
1
-
1
1
1
-
1
h
,
5
…
a
1
c
e
m
2
a
2
r
o rd e r
a r a ct e r t able
-
a;
,
a n
5
3
h
b2
,
1
-
1
W it h
of
p
a re
8
(c )
X
c
1
-
4
c
sa m e
2
4
a
dl
,
Q
of
1
(xl
-
c
-
e2
,
a
(
-
cla ss e s
( 1)
r
r
8
-
8
,
(
-
8
Q
8
( 1)
-
el
L et I
Q
d
8
j
e
d ih
e
e s p e c ti v e ly ;
D
T h
th
e
-
2
-
0
.
T h
e n
1
-
1
a r a ct e r t ab le
)
1
-
-
1
1
1
0
0
is
gi
入 is
a n
v
e n
is o
・
o rp
m
・
入 of
of
雷R (
Q R ( D 8)
o nt o
h is
m
)
D
o nt o
8
{
一
言R ( Q
b y li n
L et
Th
e n
)
d
an
8
e a rity
I
w
b
e
e
h
w
e
al s o c a n
e x 七e n
d 入t o
an
is o
m
o rp
his
m
、
■■■■
一
百R ( Q 8)
.
th
e c
h
a r a c t e ri s ti c
cla ss
fu
n
c ti o n
av e
36
o n
D
8
c o rre s
p
on
di n g t o e
4
-
(b
2
,
a
b)
I
5
∫
∑
-
I C D (b)I
8
H
e n ce
ob
e
w
i
石狩 x i
去(
xl
-
1
=
X2 + x
-
)
X
-
3
4
t ai n
5
ノ ヽ
.
・(I)
-
{
i (*
*
-
1
*3
・
2
)
*
-
l C Q (a)I t∑
;
-
4
両
・
払
8
与d
ヽ
ノ
T his i
2
lbl ≠I dl
-
res
D
p li e s t h
m
W
e
p
e c ti v e ly
8
Th
.
c o r r es
ds t
o n
p
e左
o
(d
-
2
c
,
d)
Th
.
e4
u s
b
∋
左b u t
∈e
・
th
assu m e
窒Q
8
4
-
入(I)
at
at
p
2
-
d efe ct g
e
Th
.
r
o u
D
en
of
p
is D
B
Q
d
a n
8
av e
d th
a n
8
h
8
nl y
o
2
o ne
d e fe c t g r
e
o u
B
blo ck
-
of
p
'
B
an
Q
is
8
'
d B
,
b
ut
.
A C K N O W I E D G M E N T S
」
W h
I
e n
u s e fu l
s u
T his
r a n t
B ir
-
a m
an
d g
w as s u
e r sit y
of
e n c o ur a
g
d
an
gh
m in
a r ti c l e
U niv
e
ns
c a r e f u ll y
a r t i cl e
G
g g e s ti o
of
e r s it y
v
isi t e d t h
v
I
.
av e
-
m
o rte
pp
i n A id f o r S ci e
a ls o
n tif
ic
e
Bir
v
k th
n
d b y th
R
bl e
alu a
w
,
m e nt s
a n
h
o
an
2002
u a ry
G R R o bin
o fe s s o r
r
e r efe r e e
J S P S (J a p
e
e s e a rc
P
m
c o m
in J
in U K
a m
fro
e m e nt
th a
gh
m in
・
・
e ad
r
th
e
fi
r
of
so n
rs t
I
,
e c ei v e d
th
e
U ni
-
of t h is
v e r si o n
・
S
o ci e t y
h C ( 2) 1 3 6 4 0 0 0 8
for P
o ti o n
ro m
2 0 01 2 00 3
of
S ci e
n
)
ce
-
,
・
R E F E R E N C E S
1
A
C
.
u rt
s s o c i a ti v e
2
.
C
c a ti o n s
is , C
.
W
A 19 e b r a
u r ti s
,
C W
.
t o F i n it e G
s
.
r
d
a n
.
R ei n
er
W il e y I n t e
-
,
a n
d
o u
p
R ei n
s
a nd
e r
,
Ⅰ R
r
p
cie n c e
rs
Ⅰ M
e
.
,
e
.
O rd e
r
s
,
v
N
,
th
o
ol
t a ti o
es en
d
・
1
37
e w
s
f
o
Y
R
o rk
,
e
o ry
1 9 62
F i n it
f
o
W il e y I n t
G
e
r
o up s
d
a n
・
e p r e s e n t a ti o n
-
,
Th
n
e r s ci e n c e
T h e o ry
,
N
e w
Y
w
ith A p p li
o rk
,
1 98 1
・
-
3
D
.
Y わr k
4
Is
.
1 976
5
v
1972
,
f
o
L
,
G
.
r
R ep
o up
r
The
e s e n t a ti o n
y,
ro u
p
(t w
or
o
)
ol u m e s
v
D
,
e
kker
,
N
N
,
e w
.
a acs
,
I M
.
a r a cte r
Ch
.
Th
F i n it e G
f
o
e o ry
s
A
,
c ad e m
ic P
es s
r
e w
Y
k
or
,
.
S ak
.
s on ov
A k ad
e s ci
6
h
orn
W
.
N
.
e id m
9, 462 467
,
A I
,
int e g
e
B SS R S
k
a v u
an
Th
.
.
D
R
・
・
Th
er
r
al ri n
F iz
.
of ch a r a c t e rs
g
M
.
at
c h a r a c t e r ri n
e
N
.
av u
of a
g
k 1 9 66
fi n it e g
fi
of a
r
n
it e g
o u
3 , 6 9 76
r
p
(
,
)
u s sia n
R
-
,
o u
p
・
Illi n oi s J
)
M
・
a th
・
1965
,
-
7
T
s u
8
20
Y
.
k
b
u
a m au c
∫ M
a
Y
.
.
.
hi, K
at 九
.
525 527
n
is
19 96 20
K
a u chi,
am
O
・
O
o m or
p his
207 212
m s
of
B
a
r
a u er
ch a r a ct er
in g
o nt o
r
th
a n o
e r,
-
,
n
a ut o m
O
n
O
n
o rp
.
his
m
s of a c
a r a ct e r ri n
h
g
,
T
s u
k
b
u
a
J
M
・
a th
19 9 6
・
-
,
9
Y
・
7 0 8 71 2
a m
.
a u c hi ,
K
・
a
Th
is o
m
.
o re m
of
J A G
・
・
ree n
,
J
o u r n
al
of
A lg eb
r
a
1 9 98
209,
-
10
J
o u
.
.
Y
a m a u ch i,
r n al of
A lg e b
r
K
a
・
2 0 0 1 2 41
or
p his
m s
8 08 81 7
of a
-
,
・
38
B
r
a u e r c
h
a r a ct e r r i n
g
o nt o
a n ot
h
er
II
,
,
O
is o
n
hi s
m o rp
of
m s
山 内 憲
2
有限群 G
の
つ
H
,
し
に( x
l
-
,
,
与 x; (i
xi
/
れる
-
I
-
h
1
,
定 理 に よ り 入( x i)
の
'
( a) (
x1
,
,
X
,
-
'
)
h) と 書く こ と に す る
( x; ) (i
ei
-
( H)
I
-
h
,
…
1
r r
・
・
・
h) が 成 り 立
,
き根
の べ
は1
ei
,
1,
-
′
ある
で
上記 の こ と を 仮 定す れ ば
o
の 同 じb lo ck に 属すれ
x, が G
と
xi
・
与x
こ こ に x七
。
を素数 と す る
p
へ
、
r
r
o
つ
ここ
。
こ の とき
。
次の 定 理 が 得 ら
、
。
定理
る
)
X
千 葉 大 学 教 育学 部
一
,
o v
、
a n o 七b e r ,Ⅰ
Ⅰ
o nto
g
指標 環 を そ れ ぞ れ R ( a ) R ( H ) と す る ま た 雷 を 代 数 的整
の 同型 写
入 ‥ 言R ( a) → 雷R ( H ) を 言R ( a) か ら 雷R ( H )
の
数全 体 か ら成 る 環 と
像 と すれ ば S a k s o n
r a u e r c h a r a c t e r ri n
B
a
/
,
(t
-
2
つ
の
i
.
と す る 入 ‥ 雷B R ( a)
1
.
.
,
h)
x;
の 同 じ blo
と x; も H
・
′
′
c
k に属す
o
有 限群 G H の B r a u e r 指標 環 を そ れ ぞれ B R ( G ) B
雷B R ( H ) を 同型 写 像 と す る 入 は 1 対 1 対応 : C l( G
R(H)
,
,
→
.
.
,
ば
)
。
→
。
) を誘 導 す る こ こ に G H は そ れ ぞれ G H の p r e g u l a r el e m e n t 全 体 の
の 共役 類 の 集 合)
C l( H )
eL)
a )( G
集 合 で あ る C l( G )
(al
( a:1
r) で
入 に よ っ て e i ー e; で あ る と す る こ の とき ci う c;
e i ∋ c i a; ∋ c; (i 1
と 書く こ と に す る (i 1 ・ ∫)
m p
(l C H ( c 1 )l p
I C E ( cL )lp ) と お く ' こ こ
(I C G ( c l)Ip
l C G ( c )I p ) m ;
m
にI X I p は 有限集合 X の 元 の 個数1 X l の p
i C G ( c )I)
p a r t を表す
(t C G( c l)l
m
l C H ( cL )I) と お く C C を そ れ ぞ れ G H の C a r t a n m a t ri x
(I C H ( c l )I
と し A を I B r( a )
P ) I B r( H )
(dl
銘) に 関す る 入 の 行 列 表 現 と
(p l
c l( H
-
. ,
。
.
。
.
,
-
,
…
,
,
l
-
-
。
o
.
.
、
。
,
,
′
、
,
-
.
。
o
-
o
,
∫
o
0
‥
,
,
,
'
J
-
,
,
-
,
,
,
-
′
,
,
,
,
,
.
,
,
.
・
,
こ の とき 次 の 3
2
定理
3
m
m
p
次
-
;
'
-
,
4
C A
=
,
,
,
,
,
は 同値 で ある
,
古
∑
A C
,
定 理 が得 ら れ る
C A
*
ェ
∈G
-
′
C
f ( x)
o
さ ら に 次の 定 理 が 得 られ る
定理
-
-
,
。
I
,
,
こ こ に(I , 9) a
,
-
つ の
(i) (ii) (iii)
(ii) A
の
m
m
-
,
o
-
-
定理
(i)
,
,
・
、
。
,
'
l
-
する
o
-
-
/
/
,
,
-
'
'
。
(iii) ( p i
打
と 定義 し
,
P j)
A
、
'
'
( A( p i) A( 甲,)) H
・
-
G
,
は A の 共役 転置 行 列 を表す
*
o
。
が成 り立
つ
とする
。
こ の と き 次 の (i)
( v i)
と書く )
-
が成り 立
つ
。
r)
ei 甲
( こ の と き p i う di
(i) A( p i)
; (i 1
(ii) G と H の B r a u e r c h a r a c t e r t a bl e は 同 じ で あ る
C で ある
(iii) 行 と 列 の 適 当 な 入 れ 替 え をす れ ば C
ei叩
r
叩) ( r] 1
砿) は そ れ ぞ れ G H の
(i v) A( り豆)
; (i 1
) こ こ に( 恥
主直 既 約 指 標 で あ る ( こ の と き りi 与 り
; と書く )
( v) 叩盲 と n j が G の 同 じ b l o c k に 属す れ ば り; と 7; iま H の 同 じ b l o c k に 属 す る
こ こ に りf う 叩
r
; (t 1
)
-
-
′
,
o
,
…
,
o
o
′
-
o
'
-
-
′
,
-
・
,
・
,
,
′
。
-
,
…
,
o
39
,
,
-
,
,
。
、
∫
・
,
I
,
o
,
pi と p, が G
( v i)
る
ここ にp
o
の
・
注意
入
ヰ
t
定理
P;
(t
′
1
-
,
-
)
,r
4 に於 い て は C A
上記
定理
の
つ
本 的 な役 割 を果 た す
補題
1
A
( p i( cj))
5
C W
.
.
L D
N
3
5
.
K
k
u
b
pp
"
as
Ch
er
.
r
の
同 じb lo c k に属 す
a
実際 に C
.
≠A C
A
'
o
e r ch a r a c t e r t a
u
(r
"
,
x
G
o u
r
R ep
p
R
e
ri
b l e に 関す る 次 の 補 題 5 が 基
ce
n
,
N
Y
e w
T he
こ こ に cj
)
ces
p r e s e n t a ti o
e s e n t a ti o n
r
at
m
e fe r e n c e s
-
,
r
R
W il e y I n t e r s c i e
"
T h e o ry
a r a c te r
is
o m o rp
2 0(1 9 9
?)
・
a m a u c
525 52 7
は H
T h
n
o rk
e o ry
1962
,
"
o ry
,
(t w
o
う d, (j
A
of
1
-
,
-
)
r
,
ro u
ps
G
F i n it e
・
,
c
d
an
・
v ol u
)
m
es
D
,
e
k ke
r
,
・
,
ath
、
I
d I R ei n
a u cb i,O n
a m
Y
・
an
f,
,
hi,O
n
a u
n
is o
of
h is
m s
2 0 7 21 2
F i n it e G
of
B
a
ro u
r
p
s
a u er
"
A
,
c
h
c ad e
mi
P
r
ri n
g
a r a ct e r
c
es s
,
N
e w
y
o rk
1 9 76
,
a n o th e r
,
o nt o
-
,
t
・
his
o m
o rp
m or
p hi s
m s
of
a
c
h
a r a ct e r
ri n
g, T
s u
k
u
b
a
J M
・
a th
20
・
-
,
K
.
Y
・
.
o
a acs
J M
a
K
( 1 9 9 6)
a
.
h
k ,1 9 7 2
.
.
6
or
I M Is
.
su
to
Y
e w
,
4
T
orn
.
.
B
( A( p i)( c; ))
-
"
・
。
u r ti s
A lg e b r
s s o ci a ti v e
2
C
.
証明に は
の
と p;
,
は 必 要 な条件 で あ る
'
A C
=
,
の 4
p;
、
.
時( v ) ( v i) が 成 り 立 た な い 例 が 存 在 す る
の
ば
じ b l o ck に 属 すれ
同
.
Y
e ar
a m
・
a u ch i,
i n ∫ A lg
.
O
m s
of a
.
40
B
r
a ue r
c h a r a c t e r ri n
g
o nt o
an
ot h er
II,
,
・
Fly UP