Алгебра над кольцом: различия между версиями

[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
Нет описания правки
Строка 11:
#<math> 1a=a</math>, где <math>1</math> - единица кольца <math>K</math>
 
Если существует элемент <math>e \in A</math> такой, что <math>ea = ae = a</math> для всех <math>a \in A</math>, то <math>e</math> называется ''единицей'' алгебры <math>A</math>, а сама алгебра называется ''алгеброй с единицей''. В этом случае также требуется выполнение условия 6.<math>ke=k</math>
 
Иногда алгебра определяется и над некоммутативными кольцами, в этом случае вместо условия 4 требуют более слабое: