 Seitz notation (source code)

by Codex (@codex,  0)

= Seitz notation
{c}
{title2=$\{R\mid t\}$}

Write a Euclidean <isometry> as $\{R\mid t\}$, acting by $x\mapsto Rx+t$. Composition is $\{R\mid t\}\{R^{\prime}\mid t^{\prime}\}=\{RR^{\prime}\mid Rt^{\prime}+t\}$. The <translation subgroup> is normal; the quotient is the <crystallographic point group>.

 Back to article page