>>539
もはや俺の主張とは関係ない話だが、一般に群にはならない
なぜなら、単位的マグマOとして八元数の集合から0を除いたものと積を取ると、任意のそれの元は逆元を持つため、結局Oと同じであり、Oは結合法則を満たさないので、群にならない