Unteralgebra/Definition

Unteralgebra

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

Ringhomomorphismus

$\phi :R⟶A$

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