群
群
G
G
G 上的运算
×
\times
× 满足
G
×
G
→
G
G\times G\rightarrow G
G×G→G:
1. 封闭性:
∀
x
,
y
∈
G
,
x
×
y
∈
G
;
{\forall}x,y\in G, x\times y \in G;
∀x,y∈G,x×y∈G;
2. 单位元:
∃
e
∈
G
,
∀
x
∈
G
,
x
×
e
=
e
×
x
=
x
;
{\exists}e \in G, \forall x \in G, x\times e=e\times x =x;
∃e∈G,∀x∈G,x×e=e×x=x;
3. 逆元:
∀
x
∈
G
,
∃
x
−
1
,
x
×
x
−
1
=
e
;
\forall x \in G, \exists x^{-1}, x\times x^{-1}=e;
∀x∈G,∃x−1,x×x−1=e;
4. 结合律:
∀
x
,
y
,
z
∈
G
,
(
x
×
y
)
×
z
=
x
×
(
y
×
z
)
;
\forall x,y,z\in G, (x\times y)\times z=x\times(y\times z);
∀x,y,z∈G,(x×y)×z=x×(y×z);
子群(subgroup)
H ⊂ G , 同 时 H 在 G 的 × 下 构 成 一 个 群 。 有 限 群 中 ∣ G ∣ ≡ 0 ( m o d ∣ H ∣ ) H \subset G, 同时H在G的\times 下构成一个群。有限群中|G|\equiv 0(mod\ |H|) H⊂G,同时H在G的×下构成一个群。有限群中∣G∣≡0(mod ∣H∣)
陪集(coset)
对
一
个
子
群
H
,
g
∈
G
,
g
×
H
是
群
G
的
一
个
左
陪
集
。
对一个子群H,g\in G,g\times H是群G的一个左陪集。
对一个子群H,g∈G,g×H是群G的一个左陪集。
Lemma 1
g
1
,
g
2
∈
G
,
g
1
×
H
∩
g
2
×
H
≠
∅
,
当
且
仅
当
g
1
×
H
=
g
2
×
H
g_1,g_2 \in G, g_1\times H\cap g_2\times H\neq \empty,当且仅当g_1\times H=g_2 \times H
g1,g2∈G,g1×H∩g2×H=∅,当且仅当g1×H=g2×H
g
1
,
g
2
∈
H
→
g
2
=
g
1
h
→
g
2
×
H
=
g
1
h
×
H
⊂
g
1
H
→
g
2
H
⊂
g
1
H
g_1,g_2 \in H \rightarrow g_2=g_1 h\rightarrow g_2\times H=g_1 h\times H\subset g_1 H\rightarrow g_2H\subset g_1H
g1,g2∈H→g2=g1h→g2×H=g1h×H⊂g1H→g2H⊂g1H
同理
g
1
H
⊂
g
2
H
→
g
1
H
=
g
2
H
g_1 H\subset g_2 H\rightarrow g_1H=g_2H
g1H⊂g2H→g1H=g2H
每个陪集都是一个等价类。
等价关系
g
1
∼
g
2
g_1\sim g_2
g1∼g2
1.自反:
a
∼
a
a\sim a
a∼a
2.对称:
a
∼
b
→
b
∼
a
a\sim b \rightarrow b\sim a
a∼b→b∼a
3.传递:
a
∼
b
,
b
∼
c
→
a
∼
c
a\sim b,b\sim c\rightarrow a\sim c
a∼b,b∼c→a∼c
7的模群,
G
G
G={1,2,3,4,5,6};
H
H
H={1,6}
∣
G
∣
=
6
∣
H
∣
=
2
∣
G
:
H
∣
=
3
|G|=6\ |H|=2\ |G:H|=3
∣G∣=6 ∣H∣=2 ∣G:H∣=3
可以证明对于同一个
H
H
H,不同等价类里的元素个数相同,都是
∣
H
∣
|H|
∣H∣。
∣
H
1
∣
+
∣
H
2
∣
+
∣
H
3
∣
.
.
+
∣
H
k
∣
=
∣
G
∣
|H_1|+|H_2|+|H_3|..+|H_k|=|G|
∣H1∣+∣H2∣+∣H3∣..+∣Hk∣=∣G∣
k
∣
H
∣
=
∣
G
∣
k|H|=|G|
k∣H∣=∣G∣
Lagrange Theorem:
∣
G
∣
=
∣
G
:
H
∣
∣
H
∣
|G|=|G:H||H|
∣G∣=∣G:H∣∣H∣
费马小定理:对于一个p的模群中的一个元素的循环群
H
H
H,必然是模群
G
G
G的一个子群
循
环
群
:
a
∣
H
∣
=
1
(
m
o
d
p
)
循环群:a^{|H|}=1(mod \ p)
循环群:a∣H∣=1(mod p)
L
a
g
r
a
n
g
e
:
a
∣
G
∣
=
1
(
m
o
d
p
)
Lagrange:a^{|G|}=1(mod\ p)
Lagrange:a∣G∣=1(mod p)
对质数有最大
∣
H
∣
=
p
−
1
|H|=p-1
∣H∣=p−1,和数为
Φ
(
p
)
\Phi(p)
Φ(p);
置换群
orbit-stabilizer theorem:
stabilizer:
G
x
=
{
g
∈
G
∣
g
x
=
x
}
G_x=\{g\in G|g\ x=x\}
Gx={g∈G∣g x=x}(x的stabilizer)
X
g
=
{
x
∈
X
∣
g
x
=
x
}
X^g=\{x\in X|g\ x=x\}
Xg={x∈X∣g x=x}
orbit:
G
x
=
G
:
G
x
G\ x=G:G_x
G x=G:Gx
∣
G
x
∣
∣
G
x
∣
=
∣
G
∣
|G\ x||G_x|=|G|
∣G x∣∣Gx∣=∣G∣
Burnside:
Σ
x
∈
X
∣
G
x
∣
=
∣
G
∣
Σ
x
∈
X
1
∣
G
x
∣
=
∣
G
∣
Σ
x
∈
X
/
G
Σ
x
∈
A
1
∣
A
∣
\Sigma_{x\in X} |G_x|=|G|\Sigma_{x\in X} \frac{1}{|G\ x|}= |G|\Sigma_{x\in X/G}\Sigma_{x\in A}\frac{1}{|A|}
Σx∈X∣Gx∣=∣G∣Σx∈X∣G x∣1=∣G∣Σx∈X/GΣx∈A∣A∣1
=
∣
G
∣
Σ
x
∈
X
/
G
1
=
∣
G
∣
∣
X
/
G
∣
=
Σ
g
∈
G
∣
X
g
∣
= |G|\Sigma_{x\in X/G}1=|G||X/G|=\Sigma_{g\in G} |X^g|
=∣G∣Σx∈X/G1=∣G∣∣X/G∣=Σg∈G∣Xg∣
∣
X
/
G
∣
=
1
∣
G
∣
Σ
g
∈
G
∣
X
g
∣
|X/G|=\frac{1}{|G|}\Sigma_{g\in G} |X^g|
∣X/G∣=∣G∣1Σg∈G∣Xg∣
Polya
m种颜色的染色问题,置换群元
g
∈
G
g\in G
g∈G拆分成互不相交的
c
(
g
)
c(g)
c(g)个循环乘积,每个循环中颜色都要对应,有m种选择,
∣
X
g
∣
=
m
c
(
g
)
|X^g|=m^{c(g)}
∣Xg∣=mc(g),再用Burnside,
∣
X
/
G
∣
=
1
∣
G
∣
Σ
g
∈
G
m
c
(
g
)
|X/G|=\frac{1}{|G|}\Sigma_{g\in G}m^{c(g)}
∣X/G∣=∣G∣1Σg∈Gmc(g)
Example
四点的三染色
只允许保距变换
G
=
{
e
,
r
1
,
r
2
,
r
3
}
G=\{e,r^1,r^2,r^3\}
G={e,r1,r2,r3}
e
=
(
1
)
(
2
)
(
3
)
(
4
)
,
r
1
=
(
4123
)
,
r
2
=
(
13
)
(
24
)
,
r
3
=
(
2341
)
e=(1)(2)(3)(4),r^1=(4123),r^2=(13)(24),r^3=(2341)
e=(1)(2)(3)(4),r1=(4123),r2=(13)(24),r3=(2341)
∣
X
/
G
∣
=
1
4
(
3
4
+
3
1
+
3
2
+
3
1
)
=
24
|X/G|=\frac{1}{4}(3^4+3^1+3^2+3^1)=24
∣X/G∣=41(34+31+32+31)=24
UVA10601
有12根不同颜色的棒,可以组成多少个本质不同的正方体