Es sei K ⊆ L {\displaystyle {}K\subseteq L} eine Körpererweiterung und A {\displaystyle {}A} eine K {\displaystyle {}K} -Algebra.