1.10 有限Abel群的结构问题

  1. 分别确定 12 阶, 108 阶, 360 阶, 144 阶, 216 阶 Abel 群的互不同构的类型。

【解答】①12 = 2^2 \times 3,所以12阶Abel群的初等因子只可能有两种情况.\{2,2,3\}2^2,3
它的两种同构类型分别是Z_{2^2}\oplus Z_{3} \cong Z_{12}Z_2 \oplus Z_2 \oplus Z_3
108 = 2^2 \times 3^3
他的初等因子有可能是\{2,2,2,3,3\},\{2,2,3,3^2\},\{2,2,3^3\},\{2^2,3,3\},\{2^23,3^2\},\{2^2,3^3\}
360 = 2^3\times 3^2 \times 5
144 = 2^4 \times 3^2

  1. 求下列 Abel 群的初等因子:
    (1) (\mathbb{Z}_{10}, +) \oplus (\mathbb{Z}_{15}, +) \oplus (\mathbb{Z}_{20}, +)
    【解答】 10 = 2 \times 5,15 = 3 \times 5, 20 = 4 \times 5
    因此这个群的初等因子是\{2,2^2,3,5,5,5\}
    (2) (\mathbb{Z}_{28}, +) \oplus (\mathbb{Z}_{22}, +)
    (3) (\mathbb{Z}_{9}, +) \oplus (\mathbb{Z}_{14}, +) \oplus (\mathbb{Z}_{5}, +) \oplus (\mathbb{Z}_{16}, +)

  2. G100 阶 Abel 群。
    (1) 证明 G 必含有 10 阶元;
    【证明】我们考虑G的初等因子100 = 2^2 \times 5^2,这样的群只有四种,我们只需要验证他里面的每个群都有10阶元。

    (2) G 的初等因子应当怎样才能使 G 不含阶大于 10 的元素?

【解答】初等因子选取\{2,2,5,5\}这样G中所有元素的阶都不超过10.

  1. 证明:如果有限 Abel 群的阶没有平方因子,那么它必为循环群。

【证明】这说明它的所有因子都为单个素数。
G \cong Z_{p_1} \oplus Z_{p_2} \oplus \cdots Z_{p_r} \cong Z_{p_1p_2\cdots p_r}是一个循环群。

  1. 证明:如果一个 Abel p-群恰好含有 p - 1p 阶元,那么它一定是循环群。
    【证明】:不妨设G \cong Z_{p^{k1}} \oplus Z_{p^{k2}} \oplus \cdots \oplus Z_{p^{kr}}
    其中k_1 \leq k_2 \leq \cdots \leq k_r,且k_1 +k_2 + \cdots +k_r = m

Z_{p^{k_1}}中有p-1p阶元,这样就说明在G中共有p^r-1p阶元。[满足x^p = 1 的只有单位元ep阶元共p个,所以在G中满足这一条件的只有p^r个元素,我们再把G中的单位元删去,所以只有p^r-1
显然r只能 等于1。这样就说明了G \cong Z_{p^k}是一个循环群。

  1. p 是素数, V 是域 \mathbb{Z}_p 上的 n 维线性空间, V 的加法群 (V, +) 是不是初等 Abel p-群?

【解答】V \cong Z_p^n = \{(a_1,a_2,\cdots,a_n)| a_i \in Z_p,i = 1,2,\cdots,n\}因此
Z_p^n \cong Z_p \oplus Z_p \oplus \cdots \oplus Z_p
它的初等因子分别为\{p,p,\cdots,p\}是一个初等Abel\ p-群。

©著作权归作者所有,转载或内容合作请联系作者
【社区内容提示】社区部分内容疑似由AI辅助生成,浏览时请结合常识与多方信息审慎甄别。
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

相关阅读更多精彩内容

  • 【抽象代数】代数系统、群与商群 一、代数系统 1.1 运算律 我们已经知道函数的概念,它表示集合间的一种映射关系。...
    ai_chen2050阅读 5,102评论 0 5
  • 令 说明这个映射给出了群 在实数集 上的一个作用。 【解答】 结合律单位元说明这个映射给出了一个群在集合...
    按时吃_早餐阅读 156评论 0 1
  • 一、第一章 给定一个乘法表(数独)一定对应一个群吗?不是。如下图image.png 是否可以由一个元素构造出无限阶...
    省略大师阅读 2,880评论 0 0
  • 群,起源于人们对方程解析解的探索。在发展了几百年的今天,群论不仅在数学领域大放异彩,也成为物理量子力学的基础、几何...
    Chozer阅读 10,324评论 0 3
  • 定义 1 设 是一非空集合。任意一个由 到 的映射就称为定义在 上的一个代数运算。 定义 2 设 是一个...
    按时吃_早餐阅读 289评论 0 1

友情链接更多精彩内容