Name
The name was introduced in (Atiyah, Bott & Shapiro 1964, page 3, line 17), where they state "This joke is due to J-P. Serre". It is a back-formation from Spin: "Pin is to O(n) as Spin is to SO(n)", hence dropping the "S" from "Spin" yields "Pin".
Read more about this topic: Pin Group
Famous quotes containing the word name:
“Name any name and then remember everybody you ever knew who bore than name. Are they all alike. I think so.”
—Gertrude Stein (1874–1946)
“What is it? a learned man
Could give it a clumsy name.
Let him name it who can,
The beauty would be the same.”
—Alfred Tennyson (1809–1892)