群论：群的定义与阿贝尔群

最新推荐文章于 2024-07-02 01:06:56 发布

Norstc

最新推荐文章于 2024-07-02 01:06:56 发布

阅读量1.2w

点赞数 4

分类专栏：数学文章标签： java python html

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/a493823882/article/details/121633457

版权

数学专栏收录该内容

45 篇文章

订阅专栏

本文详细介绍了群的定义，包括封闭性、结合律、单位元和逆元，以及群与阿贝尔群的区别。通过构建有限群和有限模加群实例，展示了群乘法的多样性。重点讲解了有限群和无限群的区别，以及重要的无限群如整数加群和实数乘群。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

1. 群 (Group) 的定义：

群 $G=\{...,g,...\}$ 就是定义了二元运算 $\bullet$ （称为群乘法）且满足下列条件的非空集合：

(1) 封闭性：对 $\forall g,g'\in G$ ，满足 $g\bullet g'\in G$ .

(2) 结合律：对 $\forall g_1,g_2,g_3 \in G$ ，满足 $(g_1\bullet g_2)\bullet g_3 = g_1\bullet (g_2\bullet g_3)$ .

(3) 单位元：存在唯一单位元素 $g_e$ 使得对 $\forall g \in G$ 由 $g_e \bullet g=g\bullet g_e=g$ .

(4) 逆元：对 $\forall g \in G$ 存在唯一逆元 $g^{-1}\in G$ 使得 $g^{-1}\bullet g=g\bullet g^{-1}=g_e$ .

可以看到群运算不要求满足交换律 $g_1\bullet g_2 = g_2\bullet g_1$ ，额外满足交换律的群被称为阿贝尔群（Abel Group）或交换群。

根据群中元素的个数分为有限群和无限群。

2.群的讨论

可以看到群是一个集合，而且必须要定义群乘法。

我们可以自己构建一个有限群：

$G={0,1,2,3}$ , $g_1\bullet g_2=e^{\frac\pi2i(g_1+g_2)}$

可知G一定满足封闭性、乘法的结合律，且单位元就是 $g=0$ ，任意元素的逆元表示为 $g^{-1}=(4-g)\ \textup{mod}\ 4$ 。

它同时还满足交换律，所以是一个阿贝尔群。

上述这个有限群的乘法实质上还是加法，所以要注意群乘法并不是必须是数学上的乘法，它只是定义一种二元运算，可以不是乘法，也可以很复杂。

所以，还能定义一个有限模加群，即：

$G={0,1,2,3}$ , $g_1\bullet g_2=(g_1+g_2)\textup{mod}\ 4$

其性质与第一个定义的有限复数乘法群完全相同。

当然还有一些重要的无限群，如整数加群、非零实数乘法群等。

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。