Cтраница 4
Теорема 2.5. Всякая праворядная алгебра сепарабельного типа изоморфна факторалгебре тензорной алгебры Т ( V), где V - право-рядный бимодуль над сепарабельной алгеброй В, по некоторому правильному идеалу. [46]
Так как эти одночлены образуют конечное множество, то факторалгебра U / X конечномерна. [47]
Каждый гомоморфизм h факторалгебры 0 п / Д в факторалгебру / Д индуцируется некоторым поточечным отображением. [48]
Ли; он замкнут относительно перехода к подалгебрам, факторалгебрам и конечным прямым суммам, но не замкнут относительно расширений. [49]