Sea "A" el conjunto de cuaterniones de la forma "a + bi + cj + dk" donde "a", "b", "c" y "d" son, o todos enteros o todos racionales con numerador impar y denominador 2.