群
各种定义
- 代数系统:由非空集合 S 与
k 个一元或二元运算 f1,f2,...,fk 组成的系统,记作 <S,f1,f2,...,fk> <script type="math/tex" id="MathJax-Element-4"> </script>。具有封闭性。 - 满足结合率的代数系统称半群
- 存在单位元 e 的半群称作独异点
- 任意元素存在逆元的半群称作群。
性质
- 封闭性
- 满足结合率
- 存在单位元,且单位元唯一
- 存在逆元,且逆元唯一,且逆元的逆元是本身
- 消去率:两边同乘逆元可证
相关概念
- 若
<G,×> 满足交换律,则称之为交换群。 - 若 <{ e,a,a2,...,ar−1},×> <script type="math/tex" id="MathJax-Element-7"><\{e, a, a^2, ... , a^{r-1} \}, \times></script>构成群,那么称之为循环群,其中 a 是这个群的生成元。
- 若
<G,×> 为群且 H⊂G ,并且 <H,×> <script type="math/tex" id="MathJax-Element-11">< H, \times ></script>构成群,那么称 <H,×> <script type="math/tex" id="MathJax-Element-12"> </script>是 <G,×> <script type="math/tex" id="MathJax-Element-13"> </script>的一个 子群 - 若 <H,×> <script type="math/tex" id="MathJax-Element-14"> </script>是 <G,×> <script type="math/tex" id="MathJax-Element-15"> </script>的一个子群,则 ∀a∈G ,记 Ha={
ha:h∈H},aH={
ah:h∈H}
分别称为 H 的右陪集、左陪集 - 定义元素的阶为
o(a)=min{n∈N:n>0,an=e}
陪集的一些性质
- 设 <H,×> <script type="math/tex" id="MathJax-Element-20"> </script> 是 <G,×> <script type="math/tex" id="MathJax-Element-21"> </script> 的子群, aH 和 bH 是任意两个左陪集。那么 aH=bH 或 aH∩bH=∅
证明:只需证明若 aH∩bH≠∅ ,则 aH=bH 即可。不妨设 f∈aH∩bH 。则有 f=ah0=bh1 ,于是 a=bh1h−10
那么 ∀g∈aH ,有 g=ah3=bh1h−10h3 。根据群的性质有 h1h−10h3∈H 。因此 aH⊆bH ,同理可证 bH⊆aH ,于是得 aH=bH - 设 <H,×> <script type="math/tex" id="MathJax-Element-37"> </script> 是 <G,×> <script type="math/tex" id="MathJax-Element-38"> </script> 的子群,那么 ∀a∈G,|aH|=|H| 。也就是说所有的陪集大小相等,都等于子集大小。
证明: