K-monoid Division algebra A division algebra is at once a K-monoid and a division ring, falg hence for every nonzero there exists some (necessarily unique) such that . Properties Division algebra with only algebraic elements over an algebraically closed field tidy | en | sembr