| |
$\S 1.1$ 群的概念9Z}
1.1.1 定义 称集$\small\,G(\ne\varnothing)$关于$\small\,\odot:G\times G\to G$ 成一群，如果Z
$(1)\;\odot\,$满足结合律：$a\odot(b\odot c)=(a\odot b)\odot c\;(\forall a,b,c\in G)$UL
$(2)\;\odot\,$有单位元：$\;\;\;\exists e\in G\,\forall a\in G\;(e\odot a=a\odot e)$$
$(3)\;\odot\,$双向可逆：$\;\;\;\forall a\in G\, \exists a' \in G\; (a\odot a'=a'\odot a=e)$uK
若不致误解,常用$ab$表示$a\odot b,\,$称$\odot$为乘法,并记逆元$a'$为$a^{-1}.$"S0C%
单位元$\,e\,$为$\,1\,$，简称$\,G\,$为群 $(G,\odot)\underset{\,}{\,}.$A
$\odot$满足交换律时称$G$为Abel群,常称$\odot$加法$+$,用$\underset{\,}{\,}0,\,-a\,$表示$\,e,\,a^{-1}.$E@6E^F
1.1.2 定义 若群$G$的非空子集$H$关于群$G$的运算自成为群,则zwl| l
$\quad$称$\small H$为$\small G$的子群,记作$\small H\le G.$BPVFr
$\quad\small(H\le G)\iff(\forall a,b \in H\; (ab^{-1}\in H))$8
形如$\,\langle a \rangle=\{a^k\mid k\in\mathbb{Z}\}\small\;(a\in G)\,$的群叫作循环群。$a\,$为其生成元.~
基数$|G|$叫作群$G$的阶,$\,|G|\in\mathbb{N}\,$时称$\,G\,$为有限群,否则$G$为无限群。lP$|
元素$\,a\in G\,$的阶定义为$\underset{\,}{\,}o(a)=|\langle a \rangle|$(?Q=(
定义$\,A,\,B\in 2^G-\{\varnothing\}\,$的积为$\,AB=\{ab\mid (a\in A) \wedge (b\in B)\}$Q
$\qquad$易见这个运算满足结合律。j5i& M
简记$\small\,\{a\}B\,$为$\,aB.\,$类似地定义$Ab\;(A\subset G \ni b)$。eZ8,
称$G\,(\supset H)$的形如$\,xH\;(Hx)\underset{\,}{\,}$的子集为$H$的左(右)陪集。X&ePC
1.1.3 定理 若 $A,\,B\leqslant G$ 则$(AB \leqslant G)\Longleftrightarrow(AB=BA)\underset{\,}{\,}$b~"
1.1.4 定理 若$H\leqslant G$ 则v6
$\quad(1)\;\;\forall x,y\in G\; (xH \ne yH)\implies (xH \cap yH = \varnothing)$.
$\quad(2)\;\;x \sim_{H_L} y \Leftrightarrow x^{-1}y\small\in H\,$是$\small G$中的等价关系$,{\small\;G=}\bigcup G/\sim_{H_L}$B73
$\quad(3)\;\;{\small|G|= |H||G/}\sim_{\small H_L}\hspace{-4px}|\;$当$\small G$为有限群时这就是Lagrange定理。aeb&
$\quad$将左陪集换成右陪集,$\,x^{\small-1}y\,$换成$\,xy^{\small-1},\,\sim_{\small H_L}$换成$\sim_{\small H_R}$定理仍真.+IgD%!
$\quad\small G/\sim_{H_L},\;G/\sim_{H_R}$ 有相同的基数,叫$\small H$在$\small G$中的指数,记作$\small|G:H|\underset{\,}{.}$q_2t,
1.1.5 定义 对$\,a,b\small\in G\,$若有$\,x\small\in G\,$使$\,b=xax^{-1},\,$则称$a$与$b$共轭,2O
$\quad$记作$a\sim b$。共轭关系$\sim$是一个等价关系.记$\small G/\sim$中含$a\small(\in G)$的G8H:
$\quad$元为$S_a\underset{\,}{.}$'$/tV
1.1.6 定义 若$\small\;(N \leqslant G)\wedge(\forall a\in G\;(aN = Na)),\,$则称$\small\,N\,$为$\small\,G\,$的不K
$\quad$变(正规)子群.记作$\small\,N\trianglelefteq G.$]1b
$\quad$若又有$\small\,\{e\}\ne N \ne G,\,$则$N$为非平凡正规子群$\small(N\vartriangleleft G).\underset{\,}{\,}$>0
1.1.7 定理$\small\,N\trianglelefteq G \iff(\forall a\in G\,\forall n\in N\;(ana^{-1}\in N))$g
$\quad\small\iff(a\in N\Rightarrow S_a\subset N)\iff(\forall a\in G\;(aNa^{-1} = N))\underset{\,}{\,}$)P igA
1.1.8 定义 不含非平凡正规子群的群叫作单(纯)群。fR
$\underset{\,}{\quad}$显然阶为素数的群都是单群。q`r
1.1.9 定理 可换群为单群的充要条件是其阶为1或素数$\underset{\,}{.}$Z
1.1.10 定义 令$\small\,C(a) = \{x\in G \mid xa = ax\},\; C(G) = \bigcap_{a\in G}C(a)$)Wf9c
$\quad$称$\small\,C(a)$为$a$关于$\small\,G\,$的中心化子$\small,\,C(G)$为$G$的中心.不难看出它I9iHt
$\quad$们都是$\underset{\,}{\small G}$的子群。Yqg(I\
1.1.11 定理 $|S_a| = |G: C(a)|$]
证 定义 $f:{\small S_a \to G}/\sim_{\small H_L}$为$\,xax^{-1}\mapsto x\small C(a).\;\;f\,$无歧义,因为!
$\quad\;xax^{-1} = yay^{-1}\iff(y^{-1}x)a = a(y^{-1}x)$/X
$\quad\iff y^{-1}x \in C(a)\iff x\,C(a) = y\,C(a).$*
因$S_a = \{xax^{-1}\mid x\in G\}$, 故$f$是双射从而@MFS
$\quad\small\;|S_a|=|G/\sim_{H_L}| = |G: C(a)|.\underset{\,}{\;}\square$Z"
1.1.12 推论 若$\small G$是有限群，则$\small\,|G|/|S_a|\in\mathbb{N}\;(\forall a\in G)$?oV_j
易见$\small\,C(G)=\{a\in G\mid |S_a|=1\}.\,$设$\small\,G\setminus C(G)= \bigcup_{j=1}^r S_j$是不交并， ZSL
其中$S_j \in G/\sim$是元数大于$1$的共轭类，则 $|G| = |C(G)|+\sum_{j=1}^r |S_j|.\quad\; (1)$E)
©Elinkage数学论坛 -- Elinkage极酷超级论坛 {"
1.1.13 定义 若$p$是素数，$m\in\mathbb{N}^+,\; |G| = p^m$，则称$G$为$p-$群。ZbNk
©Elinkage数学论坛 -- Elinkage极酷超级论坛 H?h%^|
1.1.14 定理 设$G$是$p-$群，则(由(1)式知道) $|C(G)| > 1.\quad\square$FR+C
| | |
|
|
顶端 
加到"个人收藏夹"
主题管理：
总固顶 
取消总固顶 
消息
查看
搜索
好友
引用
回复
只看我
2013/04/16 10:14am 
IP: 已设置保密
