群同构
| 同构 | |
|---|---|
| 术语名称 | 同构 |
| 英语名称 | isomorphism |
| 别名 | 同构映射 |
定义
对群 [math]\displaystyle{ G, G' }[/math] 及同态 [math]\displaystyle{ \varphi: G\to G' }[/math] ，若 [math]\displaystyle{ \varphi }[/math] 为双射，称为从群 [math]\displaystyle{ G }[/math] 到群 [math]\displaystyle{ G' }[/math] 一个同构映射，简称同构(isomorphism)。
| 群同构 | |
|---|---|
| 关系名称 | 群同构 |
| 关系符号 | [math]\displaystyle{ \cong }[/math] |
| Latex | \cong
|
| 关系对象 | 群 |
| 关系元数 | 2 |
| 类型 | 等价关系 |
对群 [math]\displaystyle{ G, G' }[/math] ，若存在一个从群 [math]\displaystyle{ G }[/math] 到群 [math]\displaystyle{ G' }[/math] 的同构，称群 [math]\displaystyle{ G }[/math] 和群 [math]\displaystyle{ G' }[/math] 同构(are isomorphic)，或称群 [math]\displaystyle{ G }[/math] 同构于(is isomorphic to)群 [math]\displaystyle{ G' }[/math] ，记作 [math]\displaystyle{ G \cong G' }[/math] 。
定理
恒等映射总是一个群到自身的同构（自同构），同构的复合仍然是同构，逆也仍然是同构。这使得群同构关系是一个自反、传递、对称的等价关系。