{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Example\n\nLet $n \\ge 1$, let $\\varepsilon \\in \\set{1, -1}$, and let $\\mathrm{Cl}$ be the real [[Clifford algebra|A38B1QFK20]] of $\\R^n$ with the relations $v^2 = \\varepsilon \\abs{v}^2$ for $v \\in \\R^n$.\nLet $\\alpha$ be the automorphism of $\\mathrm{Cl}$ with $\\alpha(v) = -v$ for $v \\in \\R^n$.\nThe *pin group* is the set of all products $u_1 u_2 \\cdots u_k$ in $\\mathrm{Cl}$ of unit vectors $u_i \\in \\R^n$, with any number $k \\ge 0$ of factors.\nIt is a group under the Clifford product, since $u_i^{-1} = \\varepsilon u_i$.\n\nFor $x$ in the pin group and $v \\in \\R^n$, set $\\rho(x)(v) = \\alpha(x) v x^{-1}$.\nCheck for one unit vector $u$: $uv = -vu$ when $v \\perp u$, so $\\rho(u)(v) = -u v u^{-1}$ equals $v$ for $v \\perp u$ and $-u$ for $v = u$.\nSo $\\rho(u)$ is the reflection of $\\R^n$ in the hyperplane $u^\\perp$.\nSince every element of the [[orthogonal group|0TKYAEJ8N7]] $O(n)$ is a product of reflections, $\\rho$ is a surjective homomorphism onto $O(n)$, and its kernel is $\\set{1, -1}$.\n\n## Remarks\n\nThe two signs $\\varepsilon = 1$ and $\\varepsilon = -1$ give two groups, written $\\mathrm{Pin}^+(n)$ and $\\mathrm{Pin}^-(n)$, which are not isomorphic in general.\nFor $n = 1$, with unit vectors $\\pm e_1$, one sign gives $\\set{\\pm 1, \\pm e_1}$ with $e_1^2 = 1$, a Klein four-group, and the other gives the same set with $e_1^2 = -1$, a cyclic group of order $4$.\nIn both cases the products of an even number of unit vectors form the [[spin group|JJSXXJQGEH]] $\\mathrm{Spin}(n)$, a subgroup of index $2$.\nFor $n \\ge 2$ the pin groups are compact Lie groups with two connected components, and they are double covers of $O(n)$.\n\n## Explanations\n\n### L1 human\n\nThe pin group is to the full orthogonal group what the spin group is to the rotation group.\nIt doubles the group of all rotations and reflections, so that every such map corresponds to two elements that differ by a sign.\nA single unit vector of the Clifford algebra stands for the reflection in the plane perpendicular to it.\nBecause a reflection can be lifted with either sign convention, there are two different pin groups.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "instance_of": [
      "9TFC6ADC1C"
    ],
    "kind": "example",
    "msc": [
      "22E15",
      "15A66",
      "22C05"
    ],
    "name": "Pin group",
    "same_as": {
      "wikidata": "Q7194770",
      "wikipedia": "Pin group"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Pin_group"
      }
    ],
    "tag": "V2QQKNHVEB",
    "uses": [
      "A38B1QFK20",
      "0TKYAEJ8N7",
      "JJSXXJQGEH"
    ]
  },
  "kind": "example",
  "link": "https://tamnd.github.io/math2/node/V2QQKNHVEB/",
  "links": [
    {
      "field": "instance_of",
      "target": "9TFC6ADC1C"
    },
    {
      "field": "uses",
      "target": "A38B1QFK20"
    },
    {
      "field": "uses",
      "target": "0TKYAEJ8N7"
    },
    {
      "field": "uses",
      "target": "JJSXXJQGEH"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/V2QQKNHVEB.md",
  "msc": [
    "22E15",
    "15A66",
    "22C05"
  ],
  "name": "Pin group",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/V2Q/V2QQKNHVEB.md",
  "status": null,
  "tag": "V2QQKNHVEB",
  "uri": "m2://V2QQKNHVEB",
  "url": "https://tamnd.github.io/math2/wiki/pin-group/",
  "writing": {
    "tag": "V2QQKNHVEB",
    "kind": "example",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}