CINTA：陪集与拉格朗日定理

1.设$\mathbb{G}$是群，$\mathbb{H}$是$\mathbb{G}$的子群。任取g${}_1$,g${}_2$$\in$$\mathbb{G}$,则g${}_1$$\mathbb{H}$=g${}_2$$\mathbb{H}$当且仅当g${}_1^{-1}$g${}_2$$\in$$\mathbb{H}$。

证：
根据陪集的定义，
g${}_1$$\mathbb{H}$= { g 1 h : h ∈ H } \lbrace g_1h:h \in\mathbb{H}\rbrace {g1​h:h∈H}，
g${}_2$$\mathbb{H}$= { g 2 h : h ∈ H } \lbrace g_2h:h \in\mathbb{H}\rbrace {g2​h:h∈H}.

证明充分性：
若$\forall$g${}_1$,g${}_2$$\in$$\mathbb{G}$，g${}_1$$\mathbb{H}$=g${}_2$$\mathbb{H}$，则根据命题8.1，g${}_2$$\in$g${}_1$$\mathbb{H}$。
因此，$\exists$h$\in$$\mathbb{H}$，g${}_2$=g${}_1$h。
则g${}_1^{-1}$g${}_2$=g${}_1^{-1}$g${}_1$h=(g${}_1^{-1}$g${}_1$)h=eh=h，而h$\in$$\mathbb{H}$，因此g${}_1^{-1}$g${}_2$$\in$$\mathbb{H}$。
充分性得证。

证明必要性：
因为g${}_1^{-1}$g${}_2$$\in$$\mathbb{H}$，则$\exists$h$\in$$\mathbb{H}$，使得g${}_1^{-1}$g${}_2$=h。
因此，g${}_1$g${}_1^{-1}$g${}_2$=g${}_1^{-1}$h$\in$g${}_1$$\mathbb{H}$.
而g${}_1$g${}_1^{-1}$g${}_2$=(g${}_1$g${}_1^{-1}$)g${}_2$=eg${}_2$=g${}_2$，所以g${}_2$$\in$g${}_1$$\mathbb{H}$，根据命题8.1，g${}_1$$\mathbb{H}$=g${}_2$$\mathbb{H}$。
必要性得证。

综上，原命题得证。

3.如果$\mathbb{G}$是群，$\mathbb{H}$是群$\mathbb{G}$的子群，且[$\mathbb{G}$:$\mathbb{H}$]=2，请证明对任意的g$\in$$\mathbb{G}$，g$\mathbb{H}$=$\mathbb{H}$g。

证：
根据定理8.1，由于[$\mathbb{G}$:$\mathbb{H}$]=2，$\mathbb{H}$在$\mathbb{G}$上有2个不同的左陪集。假设这两个左陪集分别是g${}_1$$\mathbb{H}$和g${}_2$$\mathbb{H}$，其中g${}_1$,g${}_2$$\in$$\mathbb{G}$。
由于$\mathbb{H}$是群$\mathbb{G}$的子群，因此$\mathbb{H}$满足群公理，根据封闭性，则$\forall g\in \mathbb{H}$，gh$\in \mathbb{H}$。
若存在两个不同的左陪集，那么$g_1,g_2$一定是其中一个在$\mathbb{H}$中，另一个不在$\mathbb{H}$中。不妨设$g_1\in \mathbb{H}$,$g_2\notin \mathbb{H}$。

①若g$\in$$\mathbb{H}$
由于$\mathbb{H}$是群$\mathbb{G}$的子群，因此$\mathbb{H}$满足群公理，根据封闭性，则$\forall g\in \mathbb{H}$，gh$\in \mathbb{H}$且hg$\in \mathbb{H}$。
根据陪集的定义，
g$\mathbb{H}$= { g h : h ∈ H } \lbrace gh:h\in\mathbb{H}\rbrace {gh:h∈H}，
$\mathbb{H}$g= { h g : h ∈ H } \lbrace hg:h\in\mathbb{H}\rbrace {hg:h∈H}。
由于gh$\in \mathbb{H}$且hg$\in \mathbb{H}$，则显然，g$\mathbb{H}$=$\mathbb{H}$=$\mathbb{H}$g。

②若g$\notin$$\mathbb{H}$
根据封闭性，gh$\in \mathbb{G}$且hg$\in \mathbb{G}$，但gh$\notin \mathbb{H}$且hg$\notin \mathbb{H}$。那么gh$\in \mathbb{F}$且hg$\in \mathbb{F}$，$\mathbb{F}$为在$\mathbb{G}$但不在$\mathbb{H}$中的所有元素的集合，即$\mathbb{G}$的另一个子群。
根据陪集的定义，
g$\mathbb{H}$= { g h : h ∈ H } \lbrace gh:h\in\mathbb{H}\rbrace {gh:h∈H}，
$\mathbb{H}$g= { h g : h ∈ H } \lbrace hg:h\in\mathbb{H}\rbrace {hg:h∈H}。
由于gh$\in \mathbb{F}$且hg$\in \mathbb{F}$，则显然g$\mathbb{H}$=$\mathbb{F}$=$\mathbb{H}$g。

综上，原命题得证。

4.如果群$\mathbb{H}$是群$\mathbb{G}$的真子群，即存在g$\in$$\mathbb{G}$但是g$\notin$$\mathbb{H}$。请证明$\mid$$\mathbb{H}$$\mid$$\le$$\mid$$\mathbb{G}$$\mid$$/$ 2。

证：
若$\mathbb{H}$=$\mathbb{G}$，此时$\mathbb{H}$是$\mathbb{G}$的子群但不是真子群。根据陪集的定义，g$\mathbb{H}$= { g h : h ∈ H } \lbrace gh:h\in\mathbb{H}\rbrace {gh:h∈H}= { g h : h ∈ G } \lbrace gh:h\in\mathbb{G}\rbrace {gh:h∈G}。
根据封闭性，由于g,h$\in \mathbb{G}$，那么gh$\in \mathbb{G}$，则g$\mathbb{H}$=$\mathbb{G}$。
根据定理8.1，[$\mathbb{G}$:$\mathbb{H}$]为$\mathbb{H}$在$\mathbb{G}$上不同左陪集的个数，根据上述，若$\mathbb{H}$=$\mathbb{G}$，则$\mathbb{H}$在$\mathbb{G}$上左陪集只有一个，即为$\mathbb{G}$。

只有当$\mathbb{H}$是真子群的时候，存在g$\in$$\mathbb{G}$但是g$\notin$$\mathbb{H}$，此时存在代表元为$\mathbb{G}$和$\mathbb{H}$的共有元素，形成的左陪集为$\mathbb{H}$。另外有代表元$\in$$\mathbb{G}$但是$\notin$$\mathbb{H}$，形成的左陪集$\ne$$\mathbb{H}$，这样的代表元至少有一个。
则当$\mathbb{H}$是真子群的时候，$\mathbb{H}$在$\mathbb{G}$上不同左陪集的个数至少为2，即[$\mathbb{G}$:$\mathbb{H}$]$\ge$ 2。因此$\mid \mathbb{G}\mid /\mid \mathbb{H}\mid$$\ge$ 2，$\mid$$\mathbb{H}$$\mid$$\le$$\mid$$\mathbb{G}$$\mid$$/$ 2。原命题得证。

5.设$\mathbb{G}$是阶为pq的群，其中p和q是素数。请证明$\mathbb{G}$的任意真子群是循环群。

证：
设$\mathbb{G}$的一个真子群是$\mathbb{H}$。设[$\mathbb{G}$:$\mathbb{H}$]=x，则$\mid \mathbb{H}\mid$=$\mid \mathbb{G}\mid /x$=$\frac{pq}{x}$。
由于$\mid \mathbb{H}\mid$一定是整数，而x为为$\mathbb{H}$在$\mathbb{G}$上不同左陪集的个数也一定为整数。而p和q都是素数，没有除了1和自身外的因子，则只有以下几种情况：
①x=p，$\mid \mathbb{H}\mid$=q
②x=q，$\mid \mathbb{H}\mid$=p
③x=1，$\mid \mathbb{H}\mid$=pq
④x=pq，$\mid \mathbb{H}\mid$=1
$\mathbb{H}$是$\mathbb{G}$的真子群，$\mid \mathbb{H}\mid \ne \mid \mathbb{G}\mid$，排除③。
①②④中的$\mid \mathbb{H}\mid$均为素数，所以$\mid \mathbb{H}\mid$一定为素数。
根据推论8.2，$\mathbb{H}$是循环群。原命题得证。

7.使用群论的方法重新证明费尔马小定理和欧拉定理。

证明费尔马小定理：
假设群Z${}_p^{\ast }$，则群的阶$\mid$Z${}_p^{\ast }$$\mid$=p-1。
设a$\in$Z${}_p^{\ast }$，根据推论7.3和命题7.5，ord(a)|(p-1)，ord(a)=$\frac{p-1}{k}$，其中k为正整数。
p-1=k$\times$ord(a)，
因此，a${}^{p-1}$ mod p=a${}^{k\times ord(a)}$ mod p=(a${}^{ord(a)}$)${}^k$=e${}^k$=e。
e mod p=p所以e$\equiv$ 1$(\mathrm{m}\mathrm{o}\mathrm{d}p)$，因此，a${}^{p-1}$$\equiv$ 1$(\mathrm{m}\mathrm{o}\mathrm{d}p)$。原定理得证。

证明欧拉定理：
假设群Z${}_n^{\ast }$，则群的阶$\mid$Z${}_n^{\ast }$$\mid$=$\varphi$(n)。
设a$\in$Z${}_n^{\ast }$，根据推论7.3和命题7.5，ord(a)|$\varphi$(n)，ord(a)=$\frac{\varphi (n)}{k}$，其中k为正整数。
$\varphi$(n)=k$\times$ord(a)，
因此，a${}^{\varphi (n)}$ mod p=a${}^{k\times ord(a)}$ mod p=(a${}^{ord(a)}$)${}^k$=e${}^k$=e。
e mod p=p所以e$\equiv$ 1$(\mathrm{m}\mathrm{o}\mathrm{d}p)$，因此，a${}^{\varphi (n)}$$\equiv$ 1$(\mathrm{m}\mathrm{o}\mathrm{d}p)$。原定理得证。