Unteralgebra/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Unteralgebra

Sei eine -Algebra mit definierendem

Ringhomomorphismus

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