Нільпотентний ідеал

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

Нільпотентний ідеал — односторонній або двосторонній ідеал I кільця або напівгрупи з нулем А такий, що для деякого натурального k виконується Ik = {0}, тобто добуток будь-яких k елементів ідеалу I рівний нулю.

Приклади[ред.ред. код]

Властивості[ред.ред. код]

Будь-який елемент нільпотентного ідеалу є нільпотентним. Будь-який нільпотентний ідеал є одночасно нільідеалом і міститься в радикалі Джекобсона кільця. У правих (лівих, двосторонніх) кільцях Артіна радикал Джекобсона є нільпотентним, і поняття нільпотентного ідеалу і нільідеалу збігаються. Остання властивість справедлива і для правих (лівих, двосторонніх) кілець Нетер (теорема Левицького).

Всі нільпотентні ідеали комутативного кільця містяться в нільрадикалі, який в загальному випадку може бути не нільпотентним, а лише нільідеалом. Простим прикладом є пряма сума кілець \Z / p^n \Z по всім натуральним n. У комутативному кільці будь-який нільпотентний елемент а міститься в деякому нільпотентному ідеалі, наприклад, в головному ідеалі, породженому а. У некомутативному кільці можуть існувати нільпотентні елементи, що не містяться в жодному нільпотентному ідеалі (і навіть нільідеалі). Наприклад, в повному кільці матриць над полем є нільпотентні елементи, зокрема матриці, у яких ненульові елементи стоять тільки над головною діагоналлю але це кільце є простим і, отже, не має ненульових нільпотентних ідеалів.

В скінченновимірній алгебрі Лі G існує максимальний нільпотентний ідеал, елементи якого x \in G, такі що ендоморфізм y \to [x, y] для y \in G є нільпотентним.

Література[ред.ред. код]

  • Бурбаки Н., Группы и алгебры Ли. Алгебры Ли, свободные алгебры Ли и группы Ли, пер. с франц., М., 1976.
  • Джекобсон Н., Строение колец, пер. с англ., М., 1961;
  • Ленг С. (1968). Алгебра. Москва: Мир. с. 564. 
  • Фейс К., Алгебра: кольца, модули и категории, пер. с англ., т. 1, М., 1977;
  • Херстейн И., Некоммутативные кольца, пер. с англ., М., 1972;