数学 旧 .com 迁移

抽象代数:相关资料 / 往年期末

从旧 .com 全量搬运的历史内容,来源路径:/math/课程/抽象代数/resources/往年期末/

迁移来源

往年期末

info

张强题目格式较为固定, 分析往年题即可.

孙剑课后原题较多, 多做习题.

2020 级强基数学抽象代数期末考试(回忆版, 张强) #

题目1 #

(选择/填空)

    1. 以下哪个阶数的群可以是交换单群?

A.5\hfilB.8\hfilC.12\hfilD.99\t A. 5\hfil \t B.8\hfil \t C.12\hfil\t D.99

  • 2. 225225 阶群的 \Sy[55] 的阶数为____.
    1. 以下不是单群的是:

A.S5\hfilB.D5\hfilC.A5\hfilD.忘了\t A. S_5\hfil \t B.D_5\hfil C.A_5\hfil D.\t{忘了}

题目2 #

给出整数加群 (Z,+)(\Z,+) 的所有子群并说明同构关系.

题目3 #

给出整数环 (Z,+,)(\Z,+,\cdot) 的所有理想, 设 I,JI,J 是整数环的两个理想, 计算它们的和、交以及乘积.

题目4 #

证明整数加群 (Z,+)(\Z,+) 是整数环 (Z,+,)(\Z,+,\cdot) 上的一个模, 并给出它的所有子模.

题目5 #

叙述中国剩余定理, 并给出如下同余方程的解:

{x1mod 3,x2mod 5,x3mod 7.\begin{cases} x\equiv 1 & \bmod\ 3,\\ x\equiv 2 & \bmod\ 5,\\ x\equiv 3 & \bmod\ 7. \end{cases}

题目 6 #

GG20222022 阶群.

  • (1) GG 是单群吗?
  • (2) GG 是可解群吗?
  • (3) 如果 GG 可交换, 证明它是循环群.

题目 7 #

设群 GG 作用在集合 Ω\Omega 上, 且 GG 包含一个子群 NN, 它在 Ω\Omega 上的作用传递. 证明: G=GαN, αΩG=G_\alpha N,\ \forall \alpha\in \Omega, 其中 GαG_\alphaα\alpha 的稳定子群.

题目 8 #

构造一个 44 个元素的域, 并写出其中的加法和乘法.

题目 9 #

叙述理想互素的定义并证明任意两个不同的极大理想一定是互素的.

参考解答 #

涉及概念: 单群,\hyperref[Sylow1]{Sylow 群},可解群,理想,,理想的互素, 极大理想, 域扩张, 齐性空间, 中国剩余定理.

题目1 #

note

\

    1. 交换单群, 要求可交换且只有平凡正规子群. 根据定理 \ref{Abel单群}, 只能是素数阶循环群, 所以选 \t A.
    1. 2525 阶.
    1. A5S5A_5\lhd S_5A.S5\t A. S_5 不是单群.

题目2 #

note

所有子群: mZ, mZ0m\Z,\ m\in \Z_{\geqslant0}.

m0m\neq 0 时, mZm\Z 是无限阶循环群, 生成元为 mm, 所以有 mZZm\Z\cong \Z.

可取映射 σ:ZmZ, ama\sigma:\Z\to m\Z,\ a\mapsto ma.

故所有不为单位元集 ({0})(\{0\}) 的子群都与 Z\Z 同构.

题目 3 #

note

整数环的理想: (m),mZ0(m),\quad m\in \Z_{\geqslant 0}.

I=(n),J=(m)I=(n),J=(m).

I+J=((n,m))I+J=((n,m)), 其中 (n,m)(n,m) 表示 n,mn,m 的最大公约数.

IJ=([n,m])I\cap J=([n,m]), 其中 [n,m][n,m] 表示 n,mn,m 的最小公倍数.

IJ=(nm)IJ=(nm).

题目 4 #

note

按照的定义验证即可.

所有子模 (mZ,+)(m\Z,+).

题目 5 #

note

叙述参照定理 \ref{中国剩余定理}.

x=52+105k,kZx=52+105k,\quad k\in \Z.

题目 6 #

note


首先有 2022=2×3×3372022=2\times 3\times 337.

  • (1) 不是, 对于 p=337p=337, \Sy[337] 的个数 rr 满足, r1(mod337),r6r\equiv 1(\bmod 337),r\mid 6, 从而 r=1r=1. 根据推论 \ref{coro:Sylow1} 可知 \Sy[337] 是 GG 的正规子群.
  • (2) 是, 对于 66 阶群, 考虑 \Sy[3] 子群的个数只能为 11 个, 从而 \Sy[3] 子群是 66 阶群的正规子群, 从而 66 阶群可解, 进而有 G337G_{337} 可解, G/G337G/G_{337}66 阶群可解, 从而 GG 可解.
  • (3) 由 2022=2×3×3372022=2\times 3\times 337 及定理 \ref{有限Abel群} 可知, G(Z2,+)(Z3,+)(Z337,+)(Z2022,+)G\cong (\Z_2,+)\oplus(\Z_3,+)\oplus(\Z_{337},+)\cong(\Z_{2022},+) 从而 GG 是循环群.

题目 7 #

note

显然有 GαNGG_\alpha N\subseteq G. 下证 GGαNG\subseteq G_\alpha N.

gG\forall g\in G, 设 gα=βg\circ \alpha = \beta,

由于 NNΩ\Omega 上的作用传递, 从而  nN\exists\ n\in N, 满足 β=nα\beta=n\circ \alpha. 又 N<Gn1NN<G\Leftrightarrow n^{-1}\in N, 考虑 n1n^{-1} 引出的双射, n1(gα)=n1β=n1(nα)n^{-1}\circ(g\circ \alpha)=n^{-1}\circ \beta=n^{-1}\circ(n\circ \alpha).

又根据作用的结合律, 得到 (n1g)α=α(n^{-1}g)\circ \alpha=\alpha, 从而 n1gGαn^{-1}g\in G_\alpha, 即 bGα, s.t.n1g=b g=nbNGα\exists b\in G_\alpha,\ s.t. n^{-1}g=b\Leftrightarrow\ g=nb\in NG_\alpha.

最后由于, N,Gα,NGα=GN,G_\alpha,NG_\alpha=G 都是 GG 的子群, 根据习题 \ref{prac:子群} 中题目 \ref{prac:子群1},可知 GαN=NGαG_\alpha N=N G_\alpha.

所以有 G=GαNG=G_\alpha N.

题目 8 #

note

参照例 \ref{四元域}.

题目 9 #

叙述参照定义 \ref{理想的互素}.

note

首先有 I+JI+J 是理想, 若 I,JI,J 不互素, 则有 I+JRI+J\neq R, 又有 II+JI\subseteq I+J, 这与 II 是极大理想矛盾, 从而 I,JI,J 互素.

2021 级强基数学抽象代数期末考试(回忆版, 张强) #

题目 1 #

(选择与填空)

    1. 下面那个数字可以作为交换单群的阶?

A.2\hfilB.8\hfilC.15\hfilD.2022\t A.2\hfil \t B. 8\hfil\t C. 15\hfil \t D.2022

  • 2. 下面哪个 nn 会使得 SnS_n 不可解?

A.1\hfilB.3\hfilC.4\hfilD.2022\t A.1\hfil \t B. 3\hfil\t C. 4\hfil \t D.2022

  • 3. 88 阶群有____种不同构的表示.
    1. 正四面体群的阶数是____.

题目 2 #

A={f:RR}A=\{f:\mathbb{R}\to\mathbb{R}\}, 为实数域上所有连续函数组成的集合.

  • (1) AA 中函数的加法与乘法是否构成环?
  • (2) 设 I={fA:f(1)=0 或 f(2)=0}I=\{f\in A:f(1)=0\ \t{或}\ f(2)=0\}, 那么 II 是否构成环 AA 的一个理想.
  • (3) 设 I={fA:f(1)=0}I=\{f\in A:f(1)=0\}, 那么 II 是否构成环 AA 的一个极大理想.
  • (4) AA 是否为主理想整环.

题目 3 #

    1. 给出自由模的定义, 并举一个简单的例子.
    1. 自由模的子模是否也为自由模.

题目 4 #

4\overline{4}Z85\Z_{85} 中的平方根.

题目 5 #

    1. 构造一个 2727 元域, 并说明其加法与乘法.
    1. 写出所构造的域的所有理想.

题目 6 #

GG20232023 阶群.

  • (1) GG 是单群吗?
  • (2) GG 是可解群吗?
  • (3) 如果 GG 可交换, 求其所有同构类型.

题目 7 #

    1. 写出环的单位群的概念.
    1. 写出 M2(Z2)M_2(\Z_2) 的单位群的同构类型.

参考解答 #

涉及定义: 单群, 可解群, 单位群, 理想, 自由模, 单位群, 主理想整环, 中国剩余定理, \hyperref[Sylow3]{Sylow 第三定理}.

题目 1 #

note

\

    1. A.2\t A.2, 有限交换单群一定是素数阶循环群.
    1. D.2022\t D.2022, 当 n5n\geqslant 5 时, Sn=An,An=AnS_n'=A_n,A_n'=A_n.
    1. 一共有 55 种, 分别为 (Z8,+),(Z4,+)(Z2,+),(Z2,+)(Z2,+)(Z2,+),D4,Q(\Z_8,+),(\Z_4,+)\oplus(\Z_2,+),(\Z_2,+)\oplus(\Z_2,+)\oplus(\Z_2,+),D_4,Q.
    1. 1212 阶, 1+3+81+3+8.

题目 2 #

note

\

  • (1) 构成环.

f,gA\forall f,g\in A, 函数的加法和乘法满足加法交换律, 乘法结合律, 乘法分配律. 且存在负元 f-f, 零元 00.

f+g, fgf+g,\ fg 也为连续函数, 故对加法和乘法封闭.

  • (2) 构成一个理想.

gA,fI, f(1)=0\forall g\in A,f\in I,\ f(1)=0, (gf)(1)=g(1)f(1)=g(1)×0=0, (fg)(1)=f(1)g(1)=0×g(1)=0(gf)(1)=g(1)f(1)=g(1)\times 0=0,\ (fg)(1)=f(1)g(1)=0\times g(1)=0, 从而 fg,gfIfg,gf\in I. 若 f(2)=0f(2)=0 同理.

综上 IIAA 的理想.

  • (3) 不是极大理想. 类似上一问, 我们可以证明 II 是理想, 并记上问中理想为 JJ, 显然有 IJI\subseteq J, 又对于函数 f(x)=xJf(x)=x\notin J, 从而 JAJ\neq A, 所以 II 不是极大理想.
  • (4) 不是主理想整环.

对于第三问中的理想, x1,exex-1,e^x-e 都是该理想的元素, 而这两个函数显然不能由彼此有限表示, 从而该理想不是主理想, 进而环 AA 不是主理想整环.

也可以通过说明 AA 有零因子, 从而不是整环.

例如取连续函数

f(x)={xx(0,1],2xx(1,2],0otherwise.,g(x)={x2x(2,3],4xx(3,4],0otherwise.f(x)=\begin{cases} x & x\in (0,1], \\ 2-x & x\in (1,2], \\ 0 & \t {otherwise}. \end{cases},\quad g(x)=\begin{cases} x-2 & x\in (2,3], \\ 4-x & x\in (3,4], \\ 0 & \t {otherwise}. \end{cases}

显然有 f(x)g(x)=0f(x)g(x)=0. 故存在零因子. 不是整环.

题目 3 #

note
    1. 自由模的定义: 对于模 MM, 存在 MM 的子集 SS, 满足
  • (1) 对于 MM 中的任意元素, 可以由 SS 中有限个元素的线性组合表示, 形如
x=r1αi1+r2αi2++rmαimx=r_1\alpha_{i_1}+r_2\alpha_{i_2}+\cdots+r_m\alpha_{i_m}
  • (2) 对于 SS 的任意有限子集 S1S_1, S1S_1 中元素, 在 RR 中线性无关, 即由
r1α1+r2α2++rtαt=0r_1\alpha_1+r_2\alpha_2+\cdots+r_t\alpha_t=0

可推出 r1=r2==rt=0r_1=r_2=\cdots=r_t=0.

则称 SSMM 的基, MM 是自由模.

简单例子, (Z6,+)(\Z_6,+)(Z6,+,)(\Z_6,+,\cdot) 上的自由模.

  • 2. 自由模的子模不一定是自由模.

同上题例子, 取子模 2Z6={0,2,4}2\Z_6=\{0,2,4\}, 该子模中任一元素在 Z6\Z_6 中线性相关, 即均不能作为基中元素, 从而该子模不是自由模.

题目 4 #

note

Z85Z5Z17\Z_{85}\cong \Z_{5}\oplus\Z_{17}.

考虑映射

σ:Z85Z5Z17n(n%5,n%17)\begin{aligned} \sigma: \Z_{85}&\to&\Z_5\oplus\Z_{17}\\ n&\mapsto&(n\%5,n\%17) \end{aligned}

是双射, 从而 Z85\Z_{85}44 的平方根, 对应的元素在 Z5\Z_5Z17\Z_{17} 中也为平方根.

4\overline{4}Z5\Z_{5} 中的平方根为 2,32,3.

4\overline{4}Z17\Z_{17} 中的平方根为 2,152,15.

接下来使用中国剩余定理, 解如下四个同余方程.

\begin{aligned} \begin{cases} x\equiv 2 & (\bmod\ 5) \\ x\equiv 2 & (\bmod\ 17) \end{cases} & \begin{cases} x\equiv 2 & (\bmod\ 5) \\ x\equiv 15 & (\bmod\ 17) \end{cases} \

25pt]

{x3(mod 5)x2(mod 17)\begin{cases} x\equiv 3 & (\bmod\ 5) \\ x\equiv 2 & (\bmod\ 17) \end{cases}

&

{x3(mod 5)x15(mod 17)\begin{cases} x\equiv 3 & (\bmod\ 5) \\ x\equiv 15 & (\bmod\ 17) \end{cases}

\end{aligned}

综上, $\overline{4}$ 的平方根为 $\overline{2},\overline{32},\overline{53},\overline{83}$. {{< /admonition >}} ## 题目 5 {{< admonition note "答案" false >}}\ - (1) 在 $\Z_3[x]$ 中取二次不可约多项式 $m(x)=x^3+2x+1$. 那么 $\Z_3[x]/(m(x))$ 是一个 $27$ 元域. 设 $u=x+(m(x))$, 那么该域的元素形如 $c_0+c_1u+c_2u^2,\ c_0,c_1,c_2\in\Z_3$. 其运算法则与正常 $\Z_3[x]$ 上的多项式运算法则相似, 差别在于需要用 $u^3=u+2$ 将多项式的次数降至 $2$ 次及以下. - (2) 域只有平凡的理想 $\{0\},\Z_3[x]/(x^3+2x+1)$. {{< /admonition >}} ## 题目 6 {{< admonition note "答案" false >}} $2023=7\times 17^2$. 考虑 \Sy[17] 根据, \t{Sylow} 第三定理, 该子群个数 $r$ 满足

r\equiv 1\ (\bmod\ 17)\wedge r\mid 7

从而 $r=1$, \Sy[17] 是正规子群. - (1) $2023$ 阶群有非平凡正规子群, 从而不是单群. - (2) 由于 $p$-群可解, $G_{2023}/G_{289},G_{289}$ 均可解, 从而 $2023$ 阶群可解. - (3) 有限 \Abel 群的同构类型. $(\Z_7,+)\oplus(\Z_{289},+),(\Z_7,+)\oplus(\Z_{17},+)\oplus(\Z_{17},+)$. {{< /admonition >}} ## 题目 7 {{< admonition note "答案" false >}}\ - (1) 环上所有对乘法可逆的元素所构成的子集称为环的单位群. (可逆元也称单位). - (2) $M_2(\Z_2)$ 中可逆的元素有 $\left(\begin{aligned}1 & 0\\0 & 1\end{aligned}\right), \left(\begin{aligned}0 & 1\\1 & 0\end{aligned}\right), \left(\begin{aligned}1 & 0\\1 & 1\end{aligned}\right), \left(\begin{aligned}1 & 1\\0 & 1\end{aligned}\right), \left(\begin{aligned}0 & 1\\1 & 1\end{aligned}\right), \left(\begin{aligned}1 & 1\\1 & 0\end{aligned}\right). $ 即 $M_2(\Z_2)$ 的单位群是 $6$ 阶群. 而 $2p$ 阶群要么是循环群, 要么同构于 $D_p$. 由 $\left(\begin{aligned}1 & 0\\1 & 1\end{aligned}\right)\left(\begin{aligned}1 & 1\\0 & 1\end{aligned}\right)= \left(\begin{aligned}1 & 1\\1 & 0\end{aligned}\right)$, $\left(\begin{aligned}1 & 1\\0 & 1\end{aligned}\right)\left(\begin{aligned}1 & 0\\1 & 1\end{aligned}\right)= \left(\begin{aligned}0 & 1\\1 & 1\end{aligned}\right)$. 可知该群不是循环群, 从而该单位群同构于 $D_3$. {{< /admonition >}} ## 2022 级数试抽象代数期末考试(回忆版, 张强) ## 题目 1 (不定项选择) - 1. 下面哪些可以作为交换单群的阶数? $\t A.2\hfil \t B. 3\hfil\t C. 24\hfil \t D.25$ - 2. 下面哪些群是可解群? 选项丢失.jpg - 3. 下面哪个环与其它环不同构? $\t A.\Z\hfil \t B. 2\Z\hfil\t C. 3\Z\hfil \t D.\Z_p$ - 4. 下面哪些阶数的群一定不是单群? $\t A.4\hfil \t B. 5\hfil\t C. 72\hfil \t D.73$ ## 题目 2 - (1) 写出整数环的所有子环. - (2) 写出整数环的全部理想, 及理想间的和、交以及乘积. - (3) 极大理想的定义, 及整数环的全部极大理想. ## 题目 3 - (1) 构造一个 $9$ 元域, 并写出元素的运算. - (2) 写出该域的全部理想. ## 题目 4 写出 $f(x)=x^4-3$ 的分裂域及一组基. ## 题目 5 模的定义是什么? 自由模的子模是自由模吗? 为什么? ## 题目 6 $S_3$ 和 $D_3$ 是否同构? 为什么? ## 题目 7 $385$ 阶 $G$ 群有一个指数为 $5$ 的子群 $H$, 证明 $H\lhd G$. ## 题目 8 设 $G$ 是 $2024$ 阶群. - (1) $G$ 是单群吗? - (2) $G$ 是可解群吗? ## 参考解答 ## 题目 1 {{< admonition note "答案" false >}}\ - 1. $\t A.2,\t B.3$. - 3. $\t D.\Z_p$. - 4. $\t A.4,\t C.72$. {{< /admonition >}} ## 题目 2 {{< admonition note "答案" false >}}\ - (1) 子环: $m\Z$. - (2) 理想: $(m)$. 设 $I=(n),J=(m)$. $I+J=((n,m))$, 其中 $(n,m)$ 表示 $n,m$ 的最大公约数. $I\cap J=([n,m])$, 其中 $[n,m]$ 表示 $n,m$ 的最小公倍数. $IJ=(nm)$. - (3) 定义 \ref{极大理想}. 整数环的全部极大理想是所有素理想 $(p)$, $p$ 为素数. {{< /admonition >}} ## 题目 3 {{< admonition note "答案" false >}}\ - (1) 在 $\Z_3[x]$ 中取二次不可约多项式 $m(x)=x^2+1$. 那么 $\Z_3[x]/(m(x))$ 是一个 $9$ 元域. 设 $u=x+(m(x))$, 那么该域的元素形如 $c_0+c_1x,\ c_0,c_1\in\Z_3$. 其运算法则与正常 $\Z_3[x]$ 上的多项式运算法则相似, 差别在于需要用 $u^2=\overline{2}$ 将多项式的次数降至 $1$ 次及以下. - (2) 域只有平凡的理想 $\{0\},\Z_3[x]/(x^2+1)$. {{< /admonition >}} ## 题目 4 2023 级强基没讲第四章, 不会. ## 题目 5 同上套期末第 3 题. ## 题目 6 {{< admonition note "答案" false >}} 同构, $2p$ 阶群或者为循环群, 或者同构于 $D_p$. 从而 $S_3\cong D_3$. {{< /admonition >}} ## 题目 7 参考习题 \ref{prac:群作用} 题目 \ref{prac:群作用2}. ## 题目 8 {{< admonition note "答案" false >}} $2024=2^3\times11\times23$. 考虑 \Sy[23] 根据, \t{Sylow} 第三定理, 该子群个数 $r$ 满足

r\equiv 1\ (\bmod\ 23)\wedge r\mid 88

从而 $r=1$, \Sy[23] 是正规子群. - (1) $2024$ 阶群有非平凡正规子群, 从而不是单群. - (2) 类似上述讨论, 可以同样证明, 对于 $88$ 阶群, \Sy[11] 是其正规子群, 从而 $G_{88}/G_{11},G_{8}$ 都是 $p$-群可解. 进而 $G_{2024}/G_{23},G_{23}$ 均可解, 从而 $2024$ 阶群可解. {{< /admonition >}} ## 2022 级强基数学抽象代数期末考试(非张强)## 2023 级强基数学抽象代数期末考试(张强) ## 题目 1 (不定项选择题) - 1. $8$ 阶群有几种同构类型? $\t A.1\hfil \t B. 4\hfil\t C. 5\hfil \t D.8$ - 2. 以下哪个 $n$ 会使对称群 $S_n$ 不可解? $\t A.2\hfil \t B. 4\hfil\t C. 5\hfil \t D.2025$ - 3. 以下哪个群一定不是单群? $\t A.\t{交换群}\ A_{2025}\hfil \t B. 2025\ \t{阶群}\hfil\t C. 11\ \t{阶群}\hfil \t D.22\ \t{阶群}$ - 4. 整数环上的一元多项式环 $\Z[x]$ 是以下哪几种环? $\t A.\t{欧几里得整环}\hfil \t B. \t{主理想整环}\hfil\t C. \t{唯一因子分解整环}\hfil \t D.\t{高斯整环}$ ## 题目 2 - (1) 写出整数加群上的所有正规子群, 并给出其同构类型. - (2) 写出整数环上的所有理想, 并写出理想的交、和. - (3) 素理想是什么? 写出整数环的所有素理想. - (4) 极大理想是什么? 写出整数环的所有极大理想. ## 题目 3 写出域的定义. 存在 $9$ 元域吗? 为什么? ## 题目 4 写出模的定义. 自由模的子模是否自由? 为什么? ## 题目 5 置换群 $S_n\ (n>2)$ 至少由几个元素生成? 为什么? ## 题目 6 二面体群是什么? 是否存在群既是二面体群又是对称群? 为什么? ## 题目 7 设 $G$ 为一个有限群, $p$ 为 $|G|$ 的最小素因子. 证明: 指数为 $p$ 的子群必为正规子群. ## 题目 8 设 $G$ 为 $2024$ 阶群. - (1) 若 $G$ 可交换, 给出其同构类. - (2) $G$ 是可解群吗? 为什么? ## 参考解答 ## 题目 1 - 1. C. 5. - 2. C. 5, D. 2025. - 3. B. 2025 阶群, D. 12 阶群. 2025 阶群可参考 \hyperref[sec:2025]{1.9$\varepsilon$ 2025 阶群} - 4. C. 唯一因子分解整环, D. 高斯整环. PS: md, 这俩是同一个东西. ## 题目 2 {{< admonition note "答案" false >}}\ - (1) $m\Z$ - (2) $(m)$ - (3) $(0),(p)$ - (4) $(p)$ {{< /admonition >}} ## 题目 3 {{< admonition note "答案" false >}} 在 $\Z_3[x]$ 上的不可约多项式 $x^2+1$, 那么 $\Z[x]/(x^2+1)$ 是 $9$ 元域. {{< /admonition >}} ## 题目 4 反例见自由模的习题 1. ## 题目 5 至少由两个元素生成 $\langle (12),(12\cdots n)\rangle$. ## 题目 6 $S_3\cong D_3$ 因为是 $2p$ 阶群. ## 题目 7 见书本习题 1.8/28. ## 题目 8 同去年习题.

讨论

评论

正在加载评论...