±1、+i
±1、±j。
±1、±k。
|Q : A|=2より、Aは極大部分集合である。ハミルトン群。
xを不変にする集合を中心。
正規部分群である。
可換群である⇔n>3ならば中心が単位元である。