\begin{definition}[Definition:K-Algebra]
Let $k$ be a field.
A '''$k$-algebra''' is a unital associative commutative algebra over $k$.
Category:Definitions/Commutative Algebra
Category:Definitions/Algebras
\end{definition}