Коммутант: различия между версиями

[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
→‎Коммутант алгебры: уточнение ссылки
Строка 19:
 
== Коммутант алгебры ==
Пусть <math>A</math> — некоторая алгебра. Её ''коммутантом'' называется двусторонний [[Идеалдвусторонний (алгебра)|идеал]], порождённый коммутаторами её элементов. Это наименьший идеал, фактор по которому коммутативен.
: <math>[A,A] = \langle [a,b] \vert a,b\in A \rangle</math>
Здесь <math>[a,b]=ab-ba</math> — коммутатор элементов <math>a</math>,<math>b</math>, <math>\langle ~ \rangle</math> — идеал, порождённый данным множеством.