抽象代数精解【3】

群

难点与例子

• 证：$行列式为1的n阶整数矩阵组成的集合S{L}_n(Z)，关于矩阵的乘法构成群。$
  $$\begin{gathered} 1.\forall A,B\in S{L}_n(Z),|AB|=1,AB\in S{L}_n(Z) \\ 2.矩阵乘法满足结合律 \\ 3.AE=EA=A，单位元为E \\ 4.A^{\ast }伴随矩阵,|A^{\ast }|=1,A{A}^{\ast }=A^{\ast }A=|A|E=E \end{gathered}$$bbbb
• 证：所有形如$2^m{3}^n(m,n\in Z)$的有理数的集合关于数的乘法构成群。
  $$\begin{gathered} 1.2^{m_1}{3}^{n_1}{2}^{m2}{3}^{m2}=2^{m1+m2}{3}^{n1+n2}(m1,m2,n1,n2\in Z) \\ 2.(2^{m_1}{3}^{n_1}{2}^{m_2}{3}^{m_2})2^{m_3}{3}^{n_3}=2^{m_1}{3}^{n_1}(2^{m_2}{3}^{m_2}{2}^{m_3}{3}^{n_3}) \\ 3.2^m{3}^n\ast 1=1\ast 2^m{3}^n=2^m{3}^n \\ 4.(2^m{3}^n)\ast (2^{-m}{3}^{-n})=(2^{-m}{3}^{-n})\ast (2^m{3}^n)=1 \end{gathered}$$
• G是群，$\forall x\in G,x^2=e$则G是一个交换群。
  $$\begin{gathered} 证明：\forall x,y,a\in G \\ xy=a,y=xa,yx=xax,ayx=axax,ayx=e,yx=a \\ xy=yx=a \end{gathered}$$
• G是群,G是交换群的充要条件是：$\forall a,b\in G,(ab{)}^2=a^2{b}^2$
  $$\begin{gathered} 1.充分性 \\ ab=ba \\ abab=aabb=a^2{b}^2 \\ 2.必然性 \\ abab=aabb \\ bab=abb,ab=ba \end{gathered}$$
• G为有限群，证明：G中使$x^3=e$的元素x的个数是奇数。
  $$\begin{gathered} 1.e^3=e \\ 2.x\ne e,x^3=e,(x^{-1}{)}^3=e,x\ne x^{-1}=>x出现的次数=x^{-1}出现的次数,x和x^{-1}成对出现 \\ 3.再加上e，所以个数为奇数 \end{gathered}$$

子群

概述

下面内容来自文心一言自动生成
子群是群论中的一个基本概念，它指的是群的一个特殊的非空子集，该子集在群的运算下也构成一个群。以下是关于子群的详细解释：

一、定义

设G是一个群，H是G的一个非空子集。如果H对于G的乘法运算满足以下两个条件：

1. 封闭性：对于任意h, k ∈ H，都有hk ∈ H（即H中的任意两个元素的乘积仍在H中）。
2. 群性质：H在乘法运算下满足结合律，且存在单位元（即G的单位元，因为子群的单位元也是群的单位元）和逆元（即H中任意元素的逆元也在H中）。

那么，H就称为G的子群，记作H ≤ G（或简记为H < G）。

二、性质

1. 单位元：子群的单位元就是群的单位元。
2. 逆元：子群中任意元素的逆元也在子群中。
3. 封闭性：子群在群的运算下是封闭的。
4. 传递性：如果H是G的子群，K是H的子群，那么K也是G的子群。
5. 交集：两个子群的交集仍然是子群。但并集不一定是子群，除非其中一个子群包含另一个子群。

三、判别条件

判断一个群G的非空子集H是否为G的子群，通常需要验证以下两个条件：

1. 封闭性：对于任意h, k ∈ H，都有hk ∈ H。
2. 逆元存在性：对于任意h ∈ H，都存在h的逆元$h^{-1}$ ∈ H。

如果H满足这两个条件，则H就是G的子群。

四、举例

1. 平凡子群：任何群G都有两个平凡子群，即只包含单位元的子集{e}和群G本身。
2. 整数模n加法群：设n是正整数，(Z/nZ, +)是一个群，其中Z/nZ表示所有模n同余的整数集合，+表示模n加法。那么，对于任意正整数d整除n，(dZ/nZ, +)就是(Z/nZ, +)的一个子群。
3. 矩阵群：设GL(n, F)是定义在域F上的n阶可逆矩阵群，那么SL(n, F)（即行列式为1的n阶矩阵组成的群）就是GL(n, F)的一个子群。

五、应用

子群在群论中扮演着重要的角色，它们是研究群结构的重要工具。通过子群，我们可以更好地理解群的性质、分类以及构造新的群。此外，子群还在数学的其他分支（如代数几何、数论等）以及物理学、化学等领域中有广泛的应用。

复数的运算

下面内容来自文心一言自动生成
复数的运算主要包括加法、减法、乘法和除法。复数的一般形式为 $a+bi$，其中 $a$ 是实部，$b$ 是虚部，$i$ 是虚数单位，满足 $i^2=-1$。以下是对复数运算的详细解释：

1. 加法

定义：将两个复数相加得到一个新的复数。

规则：实部相加，虚部相加。

公式：若 $z_1=a+bi$ 且 $z_2=c+di$，则 $z_1+z_2=(a+c)+(b+d)i$。

示例：$(3+2i)+(1+4i)=4+6i$。

2. 减法

定义：将一个复数减去另一个复数得到一个新的复数。

规则：实部相减，虚部相减。

公式：若 $z_1=a+bi$ 且 $z_2=c+di$，则 $z_1-z_2=(a-c)+(b-d)i$。

示例：$(3+2i)-(1+4i)=2-2i$。

3. 乘法

定义：将两个复数相乘得到一个新的复数。

规则：使用分配律进行乘法运算，并注意 $i^2=-1$。

公式：若 $z_1=a+bi$ 且 $z_2=c+di$，则 $z_1\times z_2=(ac-bd)+(ad+bc)i$。

示例：$(3+2i)\times (1+4i)=3+12i+2i-8=-5+14i$（注意，这里的示例与参考文章2中的示例有所不同，但原理相同）。

4. 除法

定义：将一个复数除以另一个复数得到一个新的复数。

规则：将除数和被除数都乘以除数的共轭复数，然后进行乘法运算。

公式：若 $z_1=a+bi$ 且 $z_2=c+di$（其中 $c\ne 0$ 且 $d\ne 0$），则 $z_1/z_2=\frac{a+bi}{c+di}=\frac{(a+bi)(c-di)}{(c+di)(c-di)}=\frac{ac+bd}{c^2+d^2}+\frac{bc-ad}{c^2+d^2}i$。

示例：$(3+2i)/(1+4i)=\frac{(3+2i)(1-4i)}{(1+4i)(1-4i)}=\frac{3-12i+2i-8i^2}{1-4i+4i-16i^2}=\frac{3+8+(-12+2)i}{1+16}=\frac{11}{25}+\frac{2}{25}i$。

复数运算的注意事项

1. 共轭复数：在复数除法中，共轭复数的概念非常重要。一个复数 $a+bi$ 的共轭复数是 $a-bi$。
2. 运算顺序：在进行复数运算时，通常遵循先乘除后加减的原则，并注意使用括号改变运算顺序。
3. 复数的几何表示：复数也可以在复平面上用几何形式表示，这为复数运算提供了直观的几何解释。

综上所述，复数运算包括加法、减法、乘法和除法，每种运算都有其特定的规则和公式。在进行复数运算时，需要遵循这些规则和公式，并注意共轭复数的概念以及运算顺序。

难点与例子

• H = { a + b i ∣ a , b ∈ R , a 2 + b 2 = 1 , i 2 = − 1 } H=\{a+bi|a,b \in R,a^2+b^2=1,i^2=-1\} H={a+bi∣a,b∈R,a2+b2=1,i2=−1}，证明：H关于数的乘法构成$C^{\ast }$的子群。
  $$\begin{gathered} 1.x=a_1+b_{1}i,y=a_2+b_{2}i \\ 2.xy=a_1{a}_2+a_1{b}_{2}i+b_1{a}_{2}i-b_1{b}_2=(a_1{a}_2-b_1{b}_2)+(a_1{b}_2+b_1{a}_2)i \\ (a_1{a}_2-b_1{b}_2{)}^2+(a_1{b}_2+b_1{a}_2{)}^2=1,i^2=1 \\ =>(a_1{a}_2-b_1{b}_2)+(a_1{b}_2+b_1{a}_2)i\in H \\ 3.x=a+bi,x^{-1}=\frac{1}{a+bi}=a-bi \\ {a}^2+(-b{)}^2=1,i^2=1 \\ =>a-bi\in H \end{gathered}$$

参考文献

《近世代数（第三版）》