In ring T_2(F_9 = F_3[t]/(t^2 + 1)), upper triangular 2x2:
a ◇ b = [1,2;0,1] a + [t + 2,1;0,t + 2] b + [0,0;0,0]
qawbecrdtey · 2026-08-28 08:35:17
In ring T_2(F_9 = F_3[t]/(t^2 + 1)), upper triangular 2x2:
a ◇ b = [1,2;0,1] a + [t + 2,1;0,t + 2] b + [0,0;0,0]
The ring is noncommutative, but the model is not: the subring Z[q] generated by the root has 81 elements and is commutative, and the operation is its action on the ring.
qawbecrdtey · 2026-08-28 08:33:41
In ring T_2(F_9 = F_3[t]/(t^2 + 1)), upper triangular 2x2:
a ◇ b = [1,2;0,1] a + [t + 2,1;0,t + 2] b + [0,0;0,0]
The ring is noncommutative, but the model is not: the subring Z[q] generated by the root has 81 elements and is commutative, and the operation is its action on the ring (RingAffine.isCommModuleAffineMagma_of_magma677).
qawbecrdtey · 2026-08-28 08:38:01
qawbecrdtey · 2026-08-28 08:35:17
qawbecrdtey · 2026-08-28 08:33:41