在线学习
重点科目
初中数学
高中数学
高等数学
线性代数
概率统计
高中物理
数学公式
主要科目
复变函数
离散数学
数学分析
实变函数
群论
数论
未整理科目
近世代数
数值分析
常微分方程
偏微分方程
大学物理
射影几何
微分几何
泛函分析
拓扑学
数学物理
趣味数学
科数网
首页
教材
高考区
考研区
VIP
科数网
题库
在线学习
高中数学
高等数学
线性代数
概率统计
高中物理
复变函数
离散数学
你好
游客,
登录
注册
在线学习
群论
第一部分 群论快速入门(高中版)
有限群与直积
最后
更新:
2023-11-08 08:39
查看:
209
次
反馈
刷题
有限群与直积
有限群,即元素个数是有限的。 下面, 我们来看一个有限群的例子. 我们知道, 所有整数除以 3 得到的余数只有 3 个, 即 0,1 利 2 . 记 (**注意**:下面这里的 0,1, 2 是借用来的新符号, 它们的含义与整数 0.1 .2 是完全不同的.) $$ \mathbf{Z}_3=\{0,1,2\} $$ 在集合 $\mathbf{Z}_3$ 上定义一个运算, 用 $\oplus$ 表示, 即对任意的 $a, b \in \mathbf{Z}_3$, 使 $a \oplus b=(a+b)$ 除以 3 得到的余数.按照这个运算,我们可以得到 $\mathbf{Z}_3$ 的乘法表 (习惯上也叫加法表):  **例1** 验证 $\mathbf{Z}_3$ 和运算 $\oplus$ 构成一个群. 分析 : 只要验证 $\mathbf{Z}_3$ 连同运算 $\oplus$ 满足群的 4 个条件 $I \sim$ IV 即可. 解: I. 由 $\mathbf{Z}_3$ 的加法表可知, $\mathbf{Z}_3$ 中任意两个元素的和仍然在 $\mathbf{Z}_3$ 中; II. 因为 $$ 0 \oplus 1=1,1 \oplus 0=1,0 \oplus 2=2,2 \oplus 0=2, $$ 所以 0 是 $\mathbf{Z}_3$ 的单位元; III. 由 $1 \oplus 2=2 \oplus 1=0,0 \oplus 0=0$, 知 1 的逆元是 2,2 的逆元是 1,0 的逆元是 0 ; IV. 容易验证, 对任意的 $a, b, c \in \mathbf{Z}_3,(a \oplus b) \oplus c=a \oplus(b \oplus c)$, 即运算 $\oplus$ 满足结合律 综上所述, $\mathbf{Z}_3$ 和运算 $\oplus$ 构成一个群 $\left(\mathbf{Z}_3, \oplus\right)$. 用类似的方法我们可以定义 $\left(\mathbf{Z}_n, \oplus\right)(n \in \mathbf{N} \cdot$, 且 $n \geqslant 2)$. ## 直积 从两个或多个已知群出发, 可以构造新的群. 设 $\left\{G_1, *\right\}$ 和 $\left\{G_2, \cdot\right\}$ 是两个群,有各自的乘法 $* ,\cdot$, 和单位元 $e, I$. 分别从集合 $G_1$ 和 $G_2$ 中任取一个元素, 组成所有可能的有序对 $$ \left(a_1, B_1\right),\left(a_2, B_2\right), \cdots,\left(a_n, B_n\right), \cdots . $$ 把所有这样的有序对组成的集合记作 $G_1 \times G_2$, 在 $G_1 \times G_2$ 上定义一个运算 $\otimes:$ 对于 $G_1 \times G_2$中任意两个元素 $\left(a_1, B_1\right),\left(a_2, B_2\right)$, 规定 $$ \left(a_1, B_1\right) \otimes\left(a_2, B_2\right)=\left(a_1 * a_2, B_1 \cdot B_2\right), $$ 也就是说, 对有序对的第一个分量作 $G_1$ 的运算 * , 对第二个分量作 $G_2$ 的运算 $\cdot$ 可以证明, $G_1 \times G_2$ 和运算 $\otimes$ 构成一个群, 称为 $G_1$ 和 $G_2$ 的直积, 记作 $\left\{G_1 \times G_2\right.$, $\left.\otimes\right\}$, 它的单位元是 $(e, I)$. 现在, 我们就来看看 $\left(\mathbf{Z}_2, \oplus\right)$ 与 $\left(\mathbf{Z}_3, \oplus\right)$ 的直积作成的群 $\left(\mathbf{Z}_2 \times \mathbf{Z}_3\right.$, $\left.\oplus\right)$ 是什么样子. 显然, $\mathbf{Z}_e \times \mathbf{Z}_3$ 中存 6 个元素, 即 $$ \{(0,0),(0,1),(0,2),(1,0),(1,1),(1,2)\} \text {. } $$ 用 $\otimes$ 表示 $\mathbf{Z}_2 \times \mathbf{Z}_3$ 上的运算, 那么我们有 $$ \begin{aligned} & (0,0) \otimes(0,1)=(0 \oplus 0,0 \oplus 1)=(0,1) ; \\ & (1,0) \otimes(0,2)=(1 \oplus 0,0 \oplus 2)=(1,2) ; \\ & (1,2) \otimes(1,1)=(1 \oplus 1,2 \oplus 1)=(0,0) ; \end{aligned} $$ 由此可得 $\mathbf{Z}_2 \times \mathbf{Z}_3$ 的乘法表 (表 2-3), 请同学们通过计算填写完整. 
开VIP会员
非会员每天6篇,会员每天16篇,VIP会员无限制访问
题库训练
自我测评
投稿
上一篇:
群的概念
下一篇:
伽罗瓦理论
本文对您是否有用?
有用
(
0
)
无用
(
0
)
纠错
高考
考研
关于
赞助
公式
科数网是专业专业的数学网站。