抽象代数习题(持续更新中)

抽象代数习题(持续更新中)

第二章

2.2 典型例题分析

第 7 节 群在集合上的作用

• 习题 11 求$A_4$的正规子群
• Solution

  首先, 按照 $A_4$ 的共轭类进行划分A4={e,(123),(124),(134),(132),(142),(143),(234),(243)(12)(34),(13)(24),(14)(23)} \begin{equation*} \begin{aligned} A_4 = \{&e,\\ &(123), (124), (134), (132), (142), (143),(234), (243)\\&(12)(34), (13)(24), (14)(23)\} \end{aligned} \end{equation*} A4​={​e,(123),(124),(134),(132),(142),(143),(234),(243)(12)(34),(13)(24),(14)(23)}​​
  又由于 $|A_4|=\frac{4!}{2}=12$, 则 $A_4$ 的正规子群 $N$ 满足 $N$ 的阶数整除 $A_4$ 的阶数, 即 $|N|$ 可取值为 1, 2, 3, 4, 6, 12。

$Theorem$: 拉格朗日定理($\mathcal{L}agrange$)
  设 $G$ 是有限群, $H$ 是 $G$ 的子群, 则:$|G|=|G:H||H|$

  又由于正规子群需含有完整的共轭类，故 $|N|$ 的值只可以取1, 4, 12。
  对应的正规子群分别为: {e}\{e\}{e}, {e,(12)(34),(13)(24),(14)(23)}\{e, (12)(34), (13)(24), (14)(23)\}{e,(12)(34),(13)(24),(14)(23)}, $A_4$.

---

第 8 节 西罗($\text{Sylow}$)定理

• 习题 2 写出 4 次交错群 $A_4$ 的一个西罗 2-子群和一个西罗 3-子群
• Solution

  首先, $|A_4|=\frac{4!}{2}=12=2^2\times 3$.
A4={e,(123),(124),(132),(134),(142),(143),(234),(243),(12)(34),(13)(24),(14)(23)} \begin{equation*} \begin{aligned} A_4 = \{&e, (123), (124), (132), (134), (142), (143), (234), (243), \\ &(12)(34), (13)(24), (14)(23)\} \end{aligned} \end{equation*} A4​={​e,(123),(124),(132),(134),(142),(143),(234),(243),(12)(34),(13)(24),(14)(23)}​​
  对于西罗 2-子群, 要求满足子群阶数为 2 的倍数, 故子群可为
S2={e,(12)(34),(13)(24),(14)(23)} \begin{equation*} \begin{aligned} S_2=\{e, (12)(34), (13)(24), (14)(23)\} \end{aligned} \end{equation*} S2​={e,(12)(34),(13)(24),(14)(23)}​​
  此外, $S_2$ 的个数 $n_2$ 应满足 $n_2\equiv 1(mod2)$ 且 $n_2|3$, 故 $n_2$ 可取值为 1 或 3, 但是除了已经构造的 $S_2$ 外，不能再构造任何一个与已知集合不同的四阶(或二阶, 八阶)子群。故 $n_2$ 只可以取值为 1.
  对于西罗 3-子群, 要求满足子群阶数为 3 的倍数, 故子群可为
{<123>},{<124>},{<134>},{<234>} \begin{equation*} \begin{aligned} \{<123>\}, \{<124>\}, \{<134>\}, \{<234>\} \end{aligned} \end{equation*} {<123>},{<124>},{<134>},{<234>}​​
  取其中一个为例, {<123>}={e,(123),(132)}\{<123>\} = \{e, (123), (132)\}{<123>}={e,(123),(132)}.
  此外, $S_3$ 的个数 $n_3$ 应满足 $n_3\equiv 1(mod3)$, 且 $n_3|8$.
  故 $n_3=4$.

$Definition$: 西罗 $p$-子群
  令 $p$ 是素数, $r$ 是正整数. 若 $|G|=p^{r}l$, 且 $p,l$ 互素, 则称群 $G$ 的 $p^r$ 阶子群为 $G$ 的西罗 $p$-子群.

$Theorem$:西罗定理
  设 $G$ 是有限群, $p$ 是素数, $r$ 是正整数. 若 $p^r||G|$ 且 $p^{r+1}||G|$, 则
  (1) 群 $G$ 的任意两个西罗 $p$-子群是共轭的;
  (2) 群 $G$ 的西罗 $p$-子群的个数 $k\equiv 1(modp)$

$Corollary$:
  设有限群 $G$ 的阶为 $|G|=p^{r}l$, 其中 $p$ 为素数, $r$ 为正整数且 $p,l$ 互素, 则
  (1) $G$ 的西罗 $p$-子群的个数是 $l$ 的因数;
  (2) 若 $G$ 是交换群, 则 $G$ 有唯一一个西罗 $p$-子群.

---

第三章 环

3.2 典型例题分析

第 1 节 环的概念和性质

• 习题 8 设 $R$ 为$(-\infty ,+\infty )$上实函数的集合，在 $R$ 中定义加法和乘法运算为: $$(f+g)(x)=f(x)+g(x),(fg)x=f(g(x)),\forall f,g\in R,x\in (-\infty ,+\infty ),$$问 $R$ 对这种加法和乘法运算是否构成环?

Solution:
  对于加法, 有 $\forall f,g,h\in R,$ $$\begin{array}{c}\begin{array}{rl}& ((f+g)+h)(x)=(f+g)(x)+h(x)=f(x)+g(x)+h(x)\\ & (f+(g+h))(x)=f(x)+(g+h)(x)=f(x)+g(x)+h(x)\\ & (f+g)(x)=f(x)+g(x)=g(x)+f(x)=(g+f)(x)\end{array}\end{array}$$   即加法满足交换律和结合律。
  又有零元 $\mathcal{O}(x)\equiv 0$, 逆元 $-f(x)$。
  对于乘法，有$$((fg)h)(x)=fg(h(x))=f(g(h(x)))$$  满足结合律。
  但考虑乘法对于加法的分配率$$\begin{array}{c}\begin{array}{rl}& (f(g+h))(x)=f((g+h)(x))=f(g(x)+h(x))\\ & (fg+fh)(x)=(fg)(x)+(fh)(x)=f(g(x))+f(h(x))\end{array}\end{array}$$
  考虑反例 $$f(x)=\{\begin{array}{ll}0,& x=0\\ 1,& else\end{array},g(x)=x,h(x)=-x$$
  则$$\begin{array}{c}\begin{array}{rl}& (f(g+h))(1)=f(g(1)+h(1))=f(1-1)=f(0)=0\\ & (fg+fh)(1)=f(g(1))+f(h(1))=f(1)+f(-1)=2\end{array}\end{array}$$  显然，乘法对加法的分配律不成立，即 $R$ 这种乘法和加法运算不能构成环。

Mark: 环的定义:
  如果代数系统 {R;+,⋅}\{R;+,\cdot\}{R;+,⋅} 满足以下条件:
  (1) {R;+}\{R;+\}{R;+} 是交换群
  (2) {R;⋅}\{R;\cdot\}{R;⋅} 是半群 (仅满足运算和结合律)
  运算" $\cdot$ " 对运算“ $+$ ”满足分配律，则称代数系统 {R;+,⋅}\{R; +, \cdot\}{R;+,⋅} 是环, 简称 $R$ 是环。

---

习题 9 设 $n\ge 2$ 为正整数, 求环 ${\mathbb{Z}}_n$ 的单位群

• Answer:

   $\bar{a}\in {\mathbb{Z}}_n$ 为可逆元当且仅当 $a$ 与 $n$ 互素，因此单位群为 {a∈Rn ∣ gcd(a,n)=1}\{a \in \mathbb{R_n}~|~gcd(a, n) = 1\}{a∈Rn​ ∣ gcd(a,n)=1}

Mark: 单位群的定义
  设 $R$ 是有乘法单位元的环，若 $U(R)$ 表示 $R$ 中所有可逆元构成的集合，则 $U(R)$ 关于 $R$ 的乘法运算构成群，我们称其为环 $R$ 中的单位群。

---

习题 10 求数域 $F$ 上的 $n$ 阶矩阵环 $M_n(F)$ 的中心

• Answer:

  与任意 $n$ 阶矩阵都可交换的矩阵为纯量矩阵 $A\triangleq kE,k\in \mathbb{R},E$ 为单位矩阵。

---

习题 11 问子环的并是否还是子环? 请说明理由.

• Answer:

  不一定，构造反例如下:
   $Z_{18}$ 的两个子环 {0ˉ,6ˉ,12ˉ}\{\bar0, \bar6, \bar{12}\}{0ˉ,6ˉ,12ˉ} 和 {0ˉ,9ˉ}\{\bar0, \bar9\}{0ˉ,9ˉ} 的并 A={0ˉ,6ˉ,9ˉ,12ˉ}A=\{\bar0, \bar6, \bar9, \bar{12}\}A={0ˉ,6ˉ,9ˉ,12ˉ} 不是子环，因为 $\bar{9}-\bar{6}=\bar{3}\notin A$。

$\mathcal{D}efinition$: 子环的定义
  设 {R;+,⋅}\{R;+,\cdot\}{R;+,⋅} 是一个环, $S$ 是 $R$ 的非空子集, 若 $S$ 关于 $R$ 的加法运算和乘法运算也构成一个环, 则称 {S;+,⋅}\{S;+,\cdot\}{S;+,⋅} 是 {R;+,⋅}\{R;+,\cdot\}{R;+,⋅} 的子环, 简称 $S$ 是 $R$ 的子环, 也称 $R$ 是 $S$ 的扩环。

$\mathcal{T}heorem$: 子环的判别
  设 $S$ 是环 $R$ 的非空子集，则 $S$ 是 $R$ 的子环的充分必要条件是 $a-b\in S,ab\in S,\forall a,b\in S$.

---

习题 12 设环 $R$ 有唯一元素 $e$ 满足对任意 $a\in R$ 有 $ae=a$, 证明 $e$ 是 $R$ 的单位元.

• Answer:

  对任意 $b\in R$,有 $(be)a-ba+be=b(ea-a+e)=b$, 则 $ea-a+e=e$, i.e. $a=ea$.

---

习题 13 设 $R$ 是有1的环, $a\in R$ 且存在正整数 $n$ 使得 $a^n=0$, 证明 $1-a$ 可逆.

• Answer:

  由恒等式以及题意可知:
$$(1-a)(\sum _{k=0}^{n-1}{a}^k)=(\sum _{k=0}^{n-1}{a}^k)(1-a)=1-a^n=1$$
  故而 $1-a$ 可逆.

---

习题 14 设 $R$ 是有 1 的环, $a,b\in R$, 证明若 $1-ab$ 可逆, 则 $1-ba$ 可逆.

• Answer:

$$\begin{array}{c}\begin{array}{rl}(1-ba)(1+b(1-ab{)}^{-1}a)& =1+b(1-ab{)}^{-1}a-ba-bab(1-ab{)}^{-1}a\\ & =1-ba+b(1-ab{)}^{-1}(a-aba)\\ & =1-ba+b(1-ab{)}^{-1}(1-ab)a\\ & =1\\ & \\ & \\ (1+b(1-ab{)}^{-1}a)(1-ba)& =1-ba+b(1-ab{)}^{-1}a-b(1-ab{)}^{-1}aba\\ & =1-ba+b(1-ab{)}^{-1}(1-ab)a\\ & =1\end{array}\end{array}$$
   故 $1-ba$ 可逆。

---

习题 15 设 $R$ 是有 1 的环, $a,b\in R,ab=1$ 但 $ba\ne 1$, 证明 $ax=1$ 有无穷多解.

• Proof:

  首先有 $ab=1$, 故 $b$ 是一个解.
  再者构造 $x_n=b+(ba-1)n$, 其中 $n\in R$.
  验证:
$$a{x}_n=a[b+(ba-1)n]=ab+(aba-a)n=1+(a-a)n=1$$
  故 $x_n$ 是一组解
  对于 $n\ne m\in R$, 有 $(ba-1)\ne 0$，则 $x_n-x_m=(ba-1)(n-m)\ne 0$.
  故而，$ax=1$ 有无穷多解.

---

习题 16 $R$ 为交换环, $a,b$ 均为幂零元, 则 $a+b$也为幂零元. 若 $R$ 不为交换环，上述结论是否成立?

• Answer

  不成立，理由如下:
  由于 $a,b$ 均为幂零元，则可设: $a^n=b^m=0$
  故而
$$(a+b{)}^{m+n-1}=\sum _{k=0}^{m+n-1}\left(\begin{array}{c}m+n-1\\ k\end{array}\right)a^k{b}^{m+n-k}=0\iff ab=ba$$
  如若不然, 取m=2, n=2即可
$$\begin{array}{c}\begin{array}{rl}(a+b{)}^3& =(a+b)(a+b)(a+b)\\ & =(a^2+ab+ba+b^2)(a+b)\\ & =a^3+a^{2}b+aba+a{b}^2+b{a}^2+bab+b^2+b^3\\ & =0+0+aba+0+0+bab+0+0\\ & =aba+bab\ne 0.\end{array}\end{array}$$

---

第 3 节 理想与商环

习题 2 举例说明一个环 $R$ 的两个子环 $H,K$ 的和 $H+K$ 不一定是 $R$ 的子环.

• Answer:

  取 R=M2(C), H={(0a00) ∣ a∈C} ,K={(00b0) ∣ b∈C}R=M_2(\mathbb{C}), ~H=\{\begin{pmatrix}0 & a \\ 0 & 0\end{pmatrix}~|~a \in \mathbb{C}\}~,K=\{\begin{pmatrix}0 & 0 \\ b & 0\end{pmatrix}~|~b\in \mathbb{C}\}R=M2​(C), H={(00​a0​) ∣ a∈C} ,K={(0b​00​) ∣ b∈C},
  则对于 ∀A,B∈H+K={(0ab0) ∣ a,b∈C}\forall A,B \in H+K=\{\begin{pmatrix}0 & a \\ b & 0\end{pmatrix}~|~a,b \in \mathbb{C}\}∀A,B∈H+K={(0b​a0​) ∣ a,b∈C}, 有 $A-B\in H+K$, 但是 $A^2=\left(\begin{array}{cc}ab& 0\\ 0& ab\end{array}\right)\notin H+K$. 故 $H+K$ 不是 $R$ 的子环.

---

习题 3 在环 {Z;+,⋅}\{\mathbb{Z};+,\cdot\}{Z;+,⋅} 中, 设 S={0,1,2}, T={3,4}S=\{0, 1, 2\},~T=\{3, 4\}S={0,1,2}, T={3,4}, 求 $S+T,ST$.

• Solution:

   S+T={3,4,5,6},ST={0×3k1+0×4k2+1×3k3+1×4k4+2×3k5+2×4k6}={3k1+4k2+6k3+8k4 ∣ ki∈N,i=1,2,3,4}=N−{1,2,5}S+T=\{3,4,5,6\}, ST=\{0\times3k_1+0\times4k_2+1\times3k_3+1\times 4k_4+2\times3k_5+2 \times 4k_6 \}=\{3k_1+4k_2+6k_3+8k_4~|~k_i\in \mathbb{N}, i=1, 2, 3, 4\}=\mathbb{N}-\{1, 2, 5\}S+T={3,4,5,6},ST={0×3k1​+0×4k2​+1×3k3​+1×4k4​+2×3k5​+2×4k6​}={3k1​+4k2​+6k3​+8k4​ ∣ ki​∈N,i=1,2,3,4}=N−{1,2,5}
  当 $k_1=k_3=1，k_2=0$ 时，$8k+1\in ST$;
  当 $k_2=k_3=1，k_1=0$ 时，$8k+2\in ST$;
  当 $k_1=1，k_2=k_3=0$ 时，$8k+3\in ST$;
  当 $k_2=1，k_1=k_3=0$ 时，$8k+4\in ST$;
  当 $k_1=k_2=k_3=1$ 时，$8k+5\in ST$;
  当 $k_3=1，k_1=k_2=0$ 时，$8k+6\in ST$;
  当 $k_1=k_2=1，k_3=0$ 时，$8k+7\in ST$;

$\mathcal{D}efinition$ 环子集的和与积
  设 $R$ 是环，$S_1,S_2,\cdots ,S_n$ 是环 $R$ 的非空子集，称S1+S2+⋯+Sn={s1+s2+⋯+sn ∣ si∈Si,i=1,2,⋯ ,n} S_1+S_2+\cdots+S_n=\{s_1+s_2+\cdots+s_n~|~s_i\in S_i, i =1, 2, \cdots, n\}S1​+S2​+⋯+Sn​={s1​+s2​+⋯+sn​ ∣ si​∈Si​,i=1,2,⋯,n} 是 $S_1,S_2,\cdots ,S_n$ 的和，称S1S2⋯Sn={∑i=1msi1si2⋯sin ∣ sij∈Sj,m∈Z+,j=1,2,⋯ ,n} S_1S_2\cdots S_n=\{\sum_{i=1}^{m}s_{i_1}s_{i_2}\cdots s_{i_n}~|~s_{i_j}\in S_j, m \in \mathbb{Z^+, j = 1, 2, \cdots,n}\}S1​S2​⋯Sn​={i=1∑m​si1​​si2​​⋯sin​​ ∣ sij​​∈Sj​,m∈Z+,j=1,2,⋯,n} 是 $S_1,S_2,\cdots ,S_n$ 的积.

---

习题 4 设 $m,n$ 是整数环 $Z$ 中的正整数, 证明:
(1) $<m>\subseteq <n>\iff n|m;$
(2) $<m>+<n>=\mathbb{Z}\iff gcd(m,n)=1$.

• Proof:

  (1) 由 <m>={km ∣ k∈Z}<m>=\{km~|~k \in \mathbb{Z}\}<m>={km ∣ k∈Z} 易证

  (2) 由 $<m>+<n>=<gcd(m,n)>$ 易证

---

习题 5 设 $Z_{12}$ 中 的子环 H={0ˉ,3ˉ,6ˉ,9ˉ},K={0ˉ,4ˉ,8ˉ}H=\{\bar0, \bar3, \bar6, \bar9\}, K=\{\bar0, \bar4, \bar8\}H={0ˉ,3ˉ,6ˉ,9ˉ},K={0ˉ,4ˉ,8ˉ}, 求 $H+K,H\cap K,H\cup K,HK$.

• Solution:

H+K={0ˉ,1ˉ,2ˉ,3ˉ,4ˉ,5ˉ,6ˉ,7ˉ,8ˉ,9ˉ,10ˉ,11ˉ}=Z12H∩K={0ˉ}H∪K={0ˉ,3ˉ,4ˉ,6ˉ,8ˉ,9ˉ}HK=={0ˉ} \begin{equation*} \begin{aligned} H+K&=\{\bar0, \bar1, \bar2, \bar3, \bar4, \bar5, \bar6, \bar7, \bar8, \bar9, \bar{10}, \bar{11}\}=\mathbb{Z_{12}} \\ H\cap K &= \{\bar{0}\} \\ H\cup K &=\{\bar0, \bar3, \bar4, \bar6, \bar8, \bar9\} \\ HK = &= \{\bar0\} \end{aligned} \end{equation*} H+KH∩KH∪KHK=​={0ˉ,1ˉ,2ˉ,3ˉ,4ˉ,5ˉ,6ˉ,7ˉ,8ˉ,9ˉ,10ˉ,11ˉ}=Z12​={0ˉ}={0ˉ,3ˉ,4ˉ,6ˉ,8ˉ,9ˉ}={0ˉ}​​

---

习题 6 设 $R$ 为环, C(R)={c∈R ∣ cr=rc, ∀ r∈R}C(R)=\{c\in R~|~cr=rc,~\forall~r \in R\}C(R)={c∈R ∣ cr=rc, ∀ r∈R} 是 $R$ 的中心.
(1) 证明 $C(R)$ 是 $R$ 的子环，但未必是 $R$ 的理想；
(2) 如果 $F$ 为域，求证矩阵环 $M_n(F)$ 的中心为 {aEn ∣ a∈F}\{aE_n~|~a\in F\}{aEn​ ∣ a∈F}，其中 $E_n$ 表示 $n$ 阶单位方阵.

• Proof:

(1)
  $\forall c_1,c_2\in C(R)$, 有 $(c_1-c_2)r=c_{1}r-c_{2}r=r{c}_1-r{c}_2=r(c_1-c_2)$, i.e. $c_1-c_2\in C(R)$，以及 $(c_1{c}_2)r=c_1(c_{2}r)=c_1(r{c}_2)=c_{1}r{c}_2=r(c_1{c}_2)$, i.e. $c_1{c}_2\in C(R)$, 故 $C(R)$ 是 $R$ 的子环, 但是 $cr$ 与 $rc$ 未必属于 $R$，反例如下:R=M2(R)C(R)={(a00a) ∣ a∈R}c=(1001)r=(0100) \begin{equation*} \begin{aligned} &R = M_2(\mathbb{R})\\ &C(R) = \{\begin{pmatrix}a & 0 \\ 0 & a\end{pmatrix}~|~a\in \mathbb{R}\} \\ &c = \begin{pmatrix}1 & 0 \\ 0 & 1\end{pmatrix} \\ &r = \begin{pmatrix}0 & 1 \\ 0 & 0\end{pmatrix} \end{aligned} \end{equation*} ​R=M2​(R)C(R)={(a0​0a​) ∣ a∈R}c=(10​01​)r=(00​10​)​​
  则 $rc=cr=r\notin C(R)$, 故 $C(R)$ 不是 $R$ 的理想.

(2)
  由高等代数知识可知: 与 $n$ 阶矩阵可交换的矩阵惟有标量矩阵, i.e. 矩阵环 $M_n(F)$ 的中心为 {aEn ∣ a∈F}\{aE_n~|~a\in F\}{aEn​ ∣ a∈F}，其中 $E_n$ 表示 $n$ 阶单位方阵.

$\mathcal{T}heorem$ 理想的判别定理
  设 $I$ 是环 $R$ 的非空子集，则 $I$ 是环 $R$ 的理想的充分必要条件是下面两个条件成立:
  (1) $a-b\in I,\forall a,b\in I$;
  (2) $ar,ra\in I,\forall a\in I,r\in R$.

---