Градуированная алгебра: различия между версиями

[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
Addbot (обсуждение | вклад)
м 8 интервики-ссылок перенесено на Викиданные, d:q1541303
м rq, уточнение
Строка 1:
{{Нет преамбулы}}
== Определение ==
Пусть ''A'' — [[алгебра над кольцом]] ''k'', ''G'' — [[полугруппа]].
 
Строка 14 ⟶ 16 :
* На любой алгебре ''A'' можно ввести ''тривиальную'' градуировку любой полугруппой ''G'' с единицей ''e'', полагая <math>A_e=A</math>, поэтому такие «бедные» градуировки рассматривать не имеет смысла.
 
* Над полем <math>\mathbb{C}</math> любая алгебра ''A'' градуируется группой ''G'' [[характерыгруппа группыхарактеров|характеров]] [[максимальный тор|максимального тора]] своей группы алгебраических автоморфизмов:
: <math>G=(T(Aut_{k-alg}(A)))^\vee:\quad A_g=\{a\in A|\phi (a)=g(\phi)a,</math> для всякого <math>\phi\in T(Aut_{k-alg}(A))\}</math>
: Эта градуировка, в вышеопределённом смысле, — «самая богатая» из всех абелевых градуировок алгебры ''A'', поскольку на любой ''G''—градуированной алгебре ''A'' группа характеров ''G'' действует автоморфизмами, по той же формуле.
Строка 27 ⟶ 29 :
* ''C. Nastasescu, F. Van Oystaeyen'' Graded Ring Theory, — North-Holland, Amsterdam,1982
 
{{rq|empty|style|refless|isbn|topic=math}}
{{algebra-stub}}
 
[[Категория:Алгебры над кольцами]]