Endliche kommutative Algebra/Transitivität/Fakt

Aus Wikiversity

Es sei eine endliche -Algebra und eine endliche -Algebra.

Dann ist eine endliche -Algebra.