>>543
>>527にはっきり書いたけど演算は結合法則を満たすと前提してます
八元数は全然見当違い

結合法則を満たすなら群になる?Yes or NO?