# Difference between revisions of "Group isomorphism"

### From Online Dictionary of Crystallography

m |
BrianMcMahon (talk | contribs) m (Style edits to align with printed edition) |
||

Line 1: | Line 1: | ||

− | <Font color="blue">Isomorphisme | + | <Font color="blue">Isomorphisme de groupes</font> (''Fr''). <Font color="red">Gruppenisomorphismus</font> (''Ge''). <Font color="black">Isomorfismo fra gruppi </font> (''It''). <Font color="purple">同形</font> (''Ja''). |

A '''group isomorphism''' is a special type of [[group homomorphism]]. It is a mapping between two groups that sets up a one-to-one correspondence between the elements of the groups in a way that respects the respective group operations. If there exists an isomorphism between two groups, then the groups are called '''isomorphic'''. Isomorphic groups have the same properties and the same structure of their multiplication table. | A '''group isomorphism''' is a special type of [[group homomorphism]]. It is a mapping between two groups that sets up a one-to-one correspondence between the elements of the groups in a way that respects the respective group operations. If there exists an isomorphism between two groups, then the groups are called '''isomorphic'''. Isomorphic groups have the same properties and the same structure of their multiplication table. | ||

− | Let (''G'', *) and (''H'', #) be two groups, where | + | Let (''G'', *) and (''H'', #) be two groups, where '*' and '#' are the [[binary operation]]s in ''G'' and ''H'', respectively. A ''group isomorphism'' from (''G'', *) to (''H'', #) is a [[Mapping|bijection]] from ''G'' to ''H'', ''i.e''. a bijective mapping ''f'' : ''G'' → ''H'' such that for all ''u'' and ''v'' in ''G'' one has |

<div align="center"> | <div align="center"> | ||

Line 13: | Line 13: | ||

<div align="center"> | <div align="center"> | ||

− | (''G'', *) <math>\cong</math> (''H'', #) | + | (''G'', *) <math>\cong</math> (''H'', #). |

</div> | </div> | ||

## Revision as of 12:32, 15 May 2017

Isomorphisme de groupes (*Fr*). Gruppenisomorphismus (*Ge*). Isomorfismo fra gruppi (*It*). 同形 (*Ja*).

A **group isomorphism** is a special type of group homomorphism. It is a mapping between two groups that sets up a one-to-one correspondence between the elements of the groups in a way that respects the respective group operations. If there exists an isomorphism between two groups, then the groups are called **isomorphic**. Isomorphic groups have the same properties and the same structure of their multiplication table.

Let (*G*, *) and (*H*, #) be two groups, where '*' and '#' are the binary operations in *G* and *H*, respectively. A *group isomorphism* from (*G*, *) to (*H*, #) is a bijection from *G* to *H*, *i.e*. a bijective mapping *f* : *G* → *H* such that for all *u* and *v* in *G* one has

*f* (*u* * *v*) = *f* (*u*) # *f* (*v*).

Two groups (*G*, *) and (*H*, #) are isomorphic if an isomorphism between them exists. This is written:

(*G*, *) [math]\cong[/math] (*H*, #).

If *H* = *G* and the binary operations # and * coincide, the bijection is an automorphism.