Unteralgebra/Definition

Unteralgebra

Es sei ${}A$ eine ${}R$-Algebra mit definierendem

Ringhomomorphismus

$\varphi \colon R\longrightarrow A$

und sei ${}B\subseteq A$ ein Unterring, mit der durch ${}\varphi$ induzierten Algebrastruktur (Insbesondere ist also ${}\varphi (R)\subseteq B$). Dann heißt ${}B$ eine Unteralgebra von ${}A$ .