Extension field as a unital associative algebra

Let be a field and be a Subfield. Then is a commutative -monoid over . #m/thm/falg In fact, an extension field of is precisely a commutative unital associative division algebra over .

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