Факторалгебра: различия между версиями

Пусть <math>\mathrm{A}</math> — [[Алгебра над кольцом|алгебра]] над [[Поле (алгебра)|полем]] <math>\mathrm{K}</math> и <math>\mathrm{J}</math> — ''двусторонний'' [[Идеалдвусторонний (алгебра)идеал|''двусторонний идеал'']] в <math>\mathrm{A}</math>. Предположим дополнительно, что идеал <math>\mathrm{J}</math> является [[Векторное подпространство|векторным подпространством]] в <math>\mathrm{A}</math>, то есть ''выдерживает'' умножение на элементы поля <math>\mathrm{K}</math> :<math>ka \in \mathrm{J}, \ \, \forall k \in \mathrm{K}, \ \forall a \in \mathrm{J}</math>.