Talk:Division Algebra has No Zero Divisors
Jump to navigation
Jump to search
Algebra must be finite dimensional over the field
If the algebra has no zero divisors and is fd over the field, then it is a division algebra.
To prove this equivalence, we need the algebra $A$ to be finite dimensional. In this case, the left and right multiplications by an arbitrary non zero element $t$ $L_t,R_t:A\to A$ have zero kernel since there are no zero divisors. By applying the first isomorphism theorem (here we require $A$ is finite dimensional) $Im(R_t)=Im(L_t) =A$. The preimages of this functions give us the elements we want.