Extension field as a unital associative algebra

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