Nilpotentti ihanteellinen

Nilpotentti ideaali on ideaali renkaasta , jolle on olemassa luonnollinen luku , jollainen [1] ( on additiivinen alaryhmä , jonka muodostaa ideaalielementtien kaikkien tulojen joukko , eli idea on nilpotentti silloin ja vain jos on olemassa luonnollinen luku , jonka ideaalin minkä tahansa alkion tulo on 0. Nilpotentin ideaalin käsite on eniten kiinnostava ei- kommutatiivisten renkaiden tapauksessa .

Jäännösrenkaassa modulo , jossa  on jokin alkuluku, kaikki muut ideaalit paitsi itse rengas ovat nilpotentteja . Ylempien kolmiomatriisien renkaassa jonkin kentän yläpuolella matriisit, joissa on nollia päädiagonaalissa, muodostavat nilpotentin ihanteen.

Mikä tahansa nilpotentin ihanteen elementti on nilpotentti . Kommutatiivisessa renkaassa mikä tahansa nilpotentti elementti sisältyy johonkin nilpotenttiin ideaaliin, esimerkiksi tämän elementin muodostamaan pääideaaliin. Ei-kommutatiivinen rengas voi sisältää nilpotentteja elementtejä, jotka eivät sisälly mihinkään nilpotenttiin ideaaliin (tai jopa nollaideaaliin).

Äärillisulotteisessa Lie-algebrassa on olemassa maksimaalinen nilpotentti ideaali, joka koostuu elementeistä , joiden endomorfismi on nilpotentti.

Yhteys nolla-ideaalien kanssa

Jokainen nilpotentti ideaali on nolla-ideaali , päinvastoin ei yleensä pidä paikkaansa, mutta joissakin luokissa nämä käsitteet ovat samat. Nollaideaali ei välttämättä ole nilpotentti useista syistä: Ensinnäkin eksponentilla ei välttämättä ole globaalia ylärajaa nollaideaalin eri elementtien asettamiseen nollaan, ja toiseksi jokainen elementti, koska se on nilpotentti, ei välttämättä anna nollatulo kerrottaessa eri alkioita [1] .

Oikeassa Artinian renkaassa mikä tahansa nollaideaali on nilpotentti [2] . Tämän vahvistaa seuraava havainto: mikä tahansa nollaideaali sisältyy renkaan Jacobson-radikaaliin , ja se tosiasia, että Jacobson-radikaali on nilpotentti ideaali (Artinin olettamuksesta johtuen), edellyttää vaadittua väitettä. Itse asiassa tämä väite voidaan yleistää oikeisiin Noetherian renkaisiin , tämä tulos tunnetaan Levitskyn lauseena [3] .

Muistiinpanot

  1. 1 2 Isaacs, 1993 , s. 194.
  2. Isaacs, 1993 , s. 195 Seuraus 14.3.
  3. Herstein, 1968 , s. 37 Lause 1.4.5.

Kirjallisuus