Zum Inhalt springen

K-Algebra/Direkter Summand/Beispiel

Aus Wikiversity

Es sei ein Körper und eine von verschiedene -Algebra. Dann ist ein direkter Summand von . Dies beruht darauf, dass man die zu einer -Basis von ergänzen kann. Mit dem von den anderen Basiselementen erzeugten -Untervektorraum    ist dann  .  Im Allgemeinen muss es aber keinen -Algebrahomomorphismus geben. Bei einer (nichttrivialen) Körpererweiterung    gibt es keinen Ringhomomorphismus von nach .