To give a brief rundown here, the key reasons for associative finite division by zero algebras to be incompatible with a lot of field looking axioms is the following:
1. a0+a0=a0 (All zero terms are idempotent)
2. a+a0=a(1+0)=a0 or 0 (zero term domination behaviour to its coefficient a)
3. If q0=1, then all z0 are unque. In finite structure, the action of z on 0 is a bijection hence a permutation
4. Every division by zero algebra has the elements 0,1,q. That's 3 distinct permutation actions and hence they all become additive identitities hence the + structure has a null semigroup of size at…