Skip to main content
Chemistry LibreTexts

Coset

  • Page ID
    17920
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    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 H in G
    Hg = { hg : h ∈ H } is a right coset of H in 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.

    Contributors


    Coset is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Online Dictionary of Crystallography.

    • Was this article helpful?