Unteralgebra/Definition

Aus Wikiversity
Unteralgebra

Es sei eine -Algebra mit definierendem

Ringhomomorphismus

und sei ein Unterring, mit der durch induzierten Algebrastruktur (Insbesondere ist also ). Dann heißt eine Unteralgebra von .