# Difference between revisions of "Coset"

### From Online Dictionary of Crystallography

m (two languages added) |
BrianMcMahon (talk | contribs) (Tidied translations and added German and Spanish (U. Mueller)) |
||

Line 1: | Line 1: | ||

− | <font color="orange">مجموعة مشاركة</font> (''Ar'') | + | <font color="orange">مجموعة مشاركة</font> (''Ar''). <font color="blue">Co-ensemble</font> (''Fr''). <font color="red">Nebenklasse, Restklasse</font> (''Ge''). <font color="black">Classe laterale</font> (''It''). <font color="purple">剰余類</font> (''Ja''). <font color="green">Clase lateral, clase adjunta</font> (''Sp''). |

==Definition== | ==Definition== |

## Latest revision as of 17:20, 9 November 2017

مجموعة مشاركة (*Ar*). Co-ensemble (*Fr*). Nebenklasse, Restklasse (*Ge*). Classe laterale (*It*). 剰余類 (*Ja*). Clase lateral, clase adjunta (*Sp*).

## Definition

If *G* is a group, *H* a subgroup of *G*, and *g* an element of *G*, then

*gH*= {*gh*:*h*∈*H*} is a**left coset of**in*H**G*,*Hg*= {*hg*:*h*∈*H*} is a**right coset of**in*H**G*.

The decomposition of a group into cosets is unique. Left coset and right cosets however in general do not coincide, unless *H* is a normal subgroup of *G*.

Any two left cosets are either identical or disjoint: the left cosets form a partition of *G*, because every element of *G* belongs to one and only one left coset. In particular the identity is only in one coset, and that coset is *H* itself; this is also the only coset that is a subgroup. The same holds for right cosets.

All left cosets and all right cosets have the same order (number of elements, or cardinality), equal to the order of *H*, because *H* is itself a coset. Furthermore, the number of left cosets is equal to the number of right cosets and is known as the **index** of *H* in *G*, written as [*G* : *H*] and given by Lagrange's theorem:

- |
*G*|/|*H*| = [*G*:*H*].

Cosets are also sometimes called *associate complexes*.

## Example

The coset decomposition of the twin lattice point group with respect to the point group of the individual gives the different possible twin laws. Each element in a coset is a possible twin operation.