-monoid

Division algebra

A division algebra is at once a -monoid and a division ring, #m/def/ralg hence for every nonzero there exists some (necessarily unique) such that .

Properties

• Division algebra with only algebraic elements over an algebraically closed field

#state/tidy | #lang/en | #SemBr