群的定义中要求有 单位元 和 逆元 ，当群的运算为加法时，单位元也叫零元。它们被要求存在主要基于以下原因：
构建良好的代数结构
满足数学研究和实际应用的需求理论研究方面：在群论以及相关的数学分支（如代数几何、代数数论、组合数学等）中，很多重要的结论和性质依赖于单位元和逆元的存在。例如拉格朗日定理揭示了群的阶与其子群的阶之间的关系，该定理的证明和应用就基于群的完整定义（包括单位元和逆元等条件 ）；在研究群的同态、同构关系时，单位元和逆元的性质是判断和分析的关键因素，它们帮助数学家们对不同的群进行分类和比较，深入理解群的结构和本质 。实际应用方面：在密码学中，很多加密算法和协议的设计依赖于群的性质。例如基于离散对数问题的密码体制，就是利用了有限域乘法群及其子群的性质，其中元素的逆元在密钥交换和加密解密过程中起着重要作用，保障信息的安全性和准确性；在物理学中，群论用于描述物理系统的对称性，单位元和逆元的存在使得对物理系统的对称操作构成一个完整的群结构，有助于分析物理系统的守恒律和基本性质，如在量子力学中，对称性和守恒律与群论密切相关，群的结构为研究微观世界的规律提供了有力工具 。保证运算的规律性和可解性运算规律：单位元和逆元的存在，与群的封闭性、结合律共同保证了群运算遵循一定的规律。封闭性确保运算结果在群内，结合律规定了运算顺序的灵活性，单位元提供了运算的基准，逆元则完善了运算的可逆性，使得群运算具有系统性和规律性，便于进行理论推导和实际计算。
如果一个集合及其运算原本满足群定义中的其他条件，却没有单位元，会出现以下情况：
无法构成群结构：群的定义要求满足封闭性、结合律、存在单位元以及每个元素都有逆元。没有单位元，就直接违背了群的定义，不能称其为群 。例如，全体正实数在减法运算下，不满足封闭性；全体正整数在乘法运算下，没有单位元（0 不在该集合中 ），都无法构成群。运算性质缺失：逆元失去意义：逆元的定义依赖于单位元，即对于元素 a ，若存在元素 b 使得 ab = ba = e（e 为单位元），则 b 是 a 的逆元。没有单位元，就无法准确地定义逆元，也无法保证每个元素都能通过与某个元素运算回到 “初始状态”，群运算的可逆性也就不存在了。比如在非零实数集上，如果不定义乘法单位元 1，那么讨论实数的倒数（乘法逆元）就没有意义。例如：
以下几个例子展示了在特定集合和运算下，群中没有逆元的情况：
