「群 (代數)」:各本之異
[底本] | [底本] |
刪去的內容 新增的內容
細 →定義 |
無編輯摘要 |
||
第二行:
==定義==
'''群''',集也,合一「[[二元運算|乘法]]」
*甲乙之積乘丙,同乎甲乘乙丙之積(「x o (y o z) = (x o y) o z」),曰[[結合律]]。
*有元素曰「一」(「1」),凡物乘一或物乘以一,皆為己(「1 o x = x o 1 = x」)。
*物必有逆(「x<sup>-1</sup>」),物乘逆或逆乘物,皆同乎一(「x o x<sup>-1</sup> = x<sup>-1</sup> o x = 1」)。
若合乎[[交換律]],即甲乘乙必同乎乙乘甲者,則曰[[交換
==例==
*整數集合
*整數集合其乘法,非群也。蓋若為群,其「一」必為一,而二無逆耳。
*偶數集合其加法,非群也,蓋無「一」耳。
*「負一,零,一」合其加法,非群也,蓋一加一不存耳。
*整數集,取「甲乘乙」為甲加乙加一(「x o y = x + y + 1」),交換群也,其「一」為負一,物之逆為負二減己(「x<sup>-1</sup> = -2 - x」)。
*[[矩陣]]合其乘法,群也。然非交換群耳。
*[[四元數]]合其乘法,群也。然非交換群耳。
== 註 ==
<references/>
[[Category:群論]]
|