若群[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]中每个元素的逆元就是其自身，则[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]是一个交换群.
举一反三
- 证明：若群 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 中每一个元素都适合方程 [tex=2.214x1.214]jX6m6TY3vI6QWjhU0nwLtg==[/tex], 则 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 是交换群。
- 设群 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的每个元素 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]都满足 [tex=2.143x1.214]V+7/hfR5UbG151kRF33SMw==[/tex],则 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 是交换群。
- 设 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 是交换群，那么 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 的商群仍是交换群。
- 若群 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 的每一个元都适合方程 [tex=2.5x1.429]qS4Sd6aZmlUQ2tlbvI3G6g==[/tex] 那么 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 是交换群.
- 证明: 若 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 为非交换群，则 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 中至少含有 6 个元素，从而说明 [tex=1.0x1.214]vIC1ui1s5j6wm/e+z3rn5A==[/tex] 是含有元素个数最少的不可交换群。