Eine Unteralgebra ist zugleich ein Unterring als auch
ein Vektorunterraum. Da die meisten Regeln von der Obermenge
geerbt werden, ist es ausreichend nur genau das zu prüfen, d.h.
Unterring und Untervektorraum.
Liegt die 0 drin? Liegt die 1 drin?
Liegt zu zwei Elementen deren Produkte drin?
Liegt zu zwei Elementen die Summe drin?
Liegt zu jedem Element und jedem Skalar
das skalare Vielfache des Elementes drin?
Vielleicht schaut noch einer drüber, ob
diese Kriterienliste vollständig ist.
Ich verstehe hier unter einem Unterring einen
solchen, der dasselbe 1-Element wie die Algebra hat.