【抽象代数】1.2. 半群与群

群的定义

群=非空集合+二元运算+性质

定义1. 设 G 为一个非空集合,G上有二元运算\circ,满足结合律,则称\left \{ G_j, \circ \right \}G为一个半群

定义2. 设 \left \{ G_j, \circ \right \} 为半群,若元素 e_1 \in G 满足 \forall a \in G, e_1 \circ a = a,则称 e_1 为 G 的左幺元右幺元e_2 \in G, \forall a, a \circ e_2=a),若 e\in G 既是左幺元又是右幺元,则为幺元G 为幺元群

定义3. 设 \left \{ G_j, \circ \right \} 为幺半群,e为幺元,a\in G,若元素 {a}' 满足 {a}' \circ a=e,则称 a' 为 a 的左逆元

定义4(群的第一种定义). 幺半群 G 中的每两个元素都可逆,G 称为群。

  1. G 对 \circ 封闭
  2. \circ 满足结合律 a \circ (b \circ c)=(a\circ b)\circ c
  3. G 存在幺元 e:e \circ a=a\circ e=a, \forall a \in G
  4. \forall a \in G,a存在逆元:\exists b 使得 a\circ b=b\circ a=e

定义5(群的第二/三种定义). 幺半群 G 中的每两个元素都可逆,G 称为群。

  1. G 对 \circ 封闭
  2. \circ 满足结合律 a \circ (b \circ c)=(a\circ b)\circ c
  3. G 存在左/右幺元 e:e \circ a/a\circ e=a, \forall a \in G
  4. \forall a \in G,a存在左/右逆元:\exists b 使得 a\circ b/b\circ a=e

命题1. 幺半群中的幺元唯一。

命题2. 设 G 为群,则 G 中任一元的逆元唯一。

群的基本性质

命题3. 群:满足左右消去律

命题4. 设 G 为群,则对任何a,b \in G,方程ax=b,xa=b都存在唯一解。

命题5(群的第四种定义). 设 G 为半群,若\forall a,b \in G,ax=b,xa=b都有解,则G为群。

命题6. 有限半群G'若满足左右消去律,则G为群。

定义6. 设 G 为群,G 的阶指 G 中元素的个数,记号 |G||G|<\infty时,称为有限群|G|=\infty时,称为无限群

定义7.  设 G 为群,a\in G,若\forall n \in N, a^n\neq e,称a的阶为无穷;若至少存在一个m \in N,a^m=e,则称a的阶为min{k\in N|a^k=e}

命题7. 设 G 为群,a\in G,则称a的阶为无穷,即a^m\neq a^n, \forall m,n \in Z, m\neq n

命题8. 设 G' 为群,a\in G,则称a的阶为d,则:

  1. a^k=e\Leftrightarrow d|k
  2. a^k=a^h\Leftrightarrow d|h-k\left ( a^k=a^h\Leftrightarrow a^{k-h}=e \right )

命题9. 设 G 为群,a\in Ga的阶为d,则:

  1. a的阶为d/(d,k),最大公因数(k>0)
  2. a的阶为d\Leftrightarrow (d,k)=1

命题10. 设 G 为群,a,b\in Ga的阶为mb的阶为n,且ab=ba,(m,n)=1,则a,b的阶为m,n

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.rhkb.cn/news/20126.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

基于ollama+deepseek R1 1.5B本地部署语音交互助手(原创、附代码)

目录 现有的一些功能记录一些过程中遇到的问题安装llama_cpp 1、安装ollama和部署deepseek R12、使用本地部署的deepseek R1模型3、语音识别4、代码实现运行演示 现有的一些功能 1、正常与人沟通&#xff0c;但受限于电脑性能&#xff0c;还存在一定延迟&#xff1b; 2、可以根…

惠普HP Color LaserJet CP1215彩色激光打印机套色不准及套色错位的解决方法

一台惠普HP Color LaserJet CP1215彩色激光打印机出现故障&#xff0c;转印带断裂&#xff0c;于是更换了转印地&#xff0c;当更换完成测试的时候发现这台惠普HP Color LaserJet CP1215彩色激光打印机打印的颜色比较淡且颜色有错位的问题&#xff0c;继续检查机器之后&#xf…

开放签电子签章工具版 2.0 正式发布,构建全场景电子签约能力、满足复杂的签章管理场景

根据近半年开源用户和市场需求反馈&#xff0c;开放签团队推出电子签章工具版2.0版本&#xff0c;主要解决复杂的签约流程集成和电子印章授权管理场景。以API接口对外提供服务和配置一套可视化后台管理系统&#xff0c;可与业务系统无缝集成&#xff0c;用户使用起来毫无“违和…

docker 安装 Rabbitmq 详解

在平常的开发工作中&#xff0c;我们经常会使用到 rabbitmq&#xff0c;rabbitmq 主要可以进行应用解耦、异步通信、流量削峰、负载均衡、消息持久化、死信队列等。比如商城系统&#xff0c;下单后&#xff0c;通过消息队列通知库存系统、积分系统、物流系统等。发送短信时通过…

零基础学yolo系列

1.目标检测算法分类 基于深度学习的主流目标检测算法根据有无候选框生成阶段&#xff0c;分为双阶段目标检 测算法和单阶段目标检测算法两类 双阶段检测模型 将检测问题划分为两个阶段&#xff0c;首先产生候选区域&#xff0c;然后对候选区域分类并对目标位置进行精修&#x…

本智慧监考系统

本智慧监考系统共分为4个部分&#xff0c;分别为&#xff1a;展示层、业务层、算法层和数据库。 本系统的展示层基于Vue.js框架和Ant Design Vue UI框架编写。用户通过浏览器访问前端界面来实现与系统的交互。 业务层是基于SpringBoot框架编写的Java后台服务器。该层负责本系…

从开发到部署:EasyRTC嵌入式视频通话SDK如何简化实时音视频通信的集成与应用

嵌入式设备和视频综合管理平台均支持B/S架构。在B/S架构下&#xff0c;传统的视频观看方式依赖于微软的OCX控件&#xff0c;然而OCX控件的使用正面临越来越多的挑战&#xff1a; 首先&#xff0c;用户需要安装浏览器插件、调整浏览器安全级别&#xff0c;并允许ActiveX控件弹出…

如何查看 Linux 服务器的 MAC 地址:深入解析与实践指南

&#x1f49d;&#x1f49d;&#x1f49d;欢迎来到我的博客&#xff0c;很高兴能够在这里和您见面&#xff01;希望您在这里可以感受到一份轻松愉快的氛围&#xff0c;不仅可以获得有趣的内容和知识&#xff0c;也可以畅所欲言、分享您的想法和见解。 推荐:kwan 的首页,持续学…

RabbitMQ 3.12.2:单节点与集群部署实战指南

前言&#xff1a;在当今的分布式系统架构中&#xff0c;消息队列已经成为不可或缺的组件之一。它不仅能够实现服务之间的解耦&#xff0c;还能有效提升系统的可扩展性和可靠性。RabbitMQ 作为一款功能强大且广泛使用的开源消息中间件&#xff0c;凭借其高可用性、灵活的路由策略…

Ubuntu22.04配置cuda/cudnn/pytorch

Ubuntu22.04配置cuda/cudnn/pytorch 安装cuda官网下载.run文件并且安装/etc/profile中配置cuda环境变量 cudnn安装官网找cuda版本对应的cudnn版本下载复制相应文件到系统文件中 安装pytorch官网找cuda对应版本的pytorchpython代码测试pytorch-GPU版本安装情况 安装cuda 官网下…

动态规划算法篇:枚举的艺术

那么本篇文章就正式进入了动态规划的算法的学习&#xff0c;那么动态规划算法也可谓是算法内容中的一座大山&#xff0c;那么在大厂算法笔试乃至算法比赛中出现的频率也逐渐变高&#xff0c;那么可见学习好动态规划算法的一个重要性&#xff0c;那么对于动态规划最难理解的&…

从入门到精通:Postman 实用指南

Postman 是一款超棒的 API 开发工具&#xff0c;能用来测试、调试和管理 API&#xff0c;大大提升开发效率。下面就给大家详细讲讲它的安装、使用方法&#xff0c;再分享些实用技巧。 一、安装 Postman 你能在 Postman 官网&#xff08;https://www.postman.com &#xff09;下…

Android平台基于SmartPlayer实现多实例RTSP|RTMP播放器

在 Android开发中&#xff0c;实现多实例的RTSP或RTMP直播播放器是一个常见的需求&#xff0c;本文将介绍如何利用大牛直播SDK的SmartPlayer模块接口&#xff0c;快速实现Android平台上的多实例播放器。通过合理的架构设计和 API 调用&#xff0c;我们可以轻松地管理多个播放实…

Linux中进程的状态3 进程的优先级1

目录 X(dead) && Z(zombie) 僵尸进程 && 孤儿进程 进程的优先级 如何修改进程的优先级 我们至此还剩两种状态没有查看&#xff0c;X和Z状态。 X(dead) && Z(zombie) X状态是进程死亡状态&#xff0c;Z状态依照这个词可知是进程处于僵死状态&…

基于语音的阿尔茨海默病检测识别

摘要 阿尔茨海默病 &#xff08;AD&#xff09; 是一种进行性神经退行性疾病&#xff0c;会严重损害认知功能&#xff0c;导致记忆力减退和其他行为改变。它是全球第七大死因&#xff0c;有数百万人受到影响。早期准确检测 AD 对于改善患者预后和减缓疾病进展至关重要。机器学习…

Ubuntu添加桌面快捷方式

以idea为例 一. 背景 在ubuntu中&#xff0c;很多时候是自己解压的文件并没有桌面快捷方式&#xff0c;需要自己找到对应的目录的执行文件手动打开&#xff0c;很麻烦 而只需要在 /usr/share/applications 中创建自定义的desktop文件就能自动复制到桌面 二. 添加方法 创建desk…

pycharm社区版虚拟环境如何配置、如何验证配置成功

1、无配置直接新建按照以下步骤&#xff1a; 新建——自定义环境——类型确定为虚拟 2、以前设置过的只需要将虚拟环境配置上就行了 选择文件——设置——对应文件下的解释器——选择带.ven的解释器 如何检查安装成功&#xff1f; 看终端开头是否显示.venv

【有啥问啥】DeepSeek 技术原理详解

DeepSeek 技术原理详解 DeepSeek 是一款具有突破性技术的大型语言模型&#xff0c;其背后的技术原理涵盖了多个方面&#xff0c;以下是对其主要技术原理的详细介绍&#xff1a; 架构创新 多头潜在注意力机制&#xff08;MLA&#xff09; 传送门链接: DeepSeek V3中的Multi-…

Java通过ollama平台接入DeepSeek

1、配置适配jdk8的依赖 <dependency><groupId>io.github.lnyo-cly</groupId><artifactId>ai4j-spring-boot-stater</artifactId><version>0.7.0</version> </dependency>2、配置bootstrap.yml ai:ollama:api-host: http://loc…

【Ai】使用AnythingLLM访问DeepSeek,界面友好,API调用

本文假设已经安装好Ollama 如果还没安装可以看见这个https://blog.csdn.net/wlddhj/article/details/145418880 AnythingLLM是Mintplex Labs推出的一款功能强大的全栈AI应用程序&#xff1a; 功能特点 支持多种LLM和数据库&#xff1a;支持OpenAI、Azure OpenAI、AWS Bedrock…