四元数環
↑ (Peirce 1982, p. 14)補題
↑ (Milies & Sehgal 2002) 2章、exercise 17
↑ Voight 2022, p. 210.