Noi dovedim mai întâi că idealul
a unui inel semisimplu semisimplu. lăsa , atunci Este idealul stâng al inelului . Observăm asta , altfel , care este Este un ideal nilpotent stâng și de Corolarul 1 . Din același motiv . dar . Astfel, idealul stâng în conține elemente quasiregulare, prin urmare, în virtutea semisimplicității - o contradicție cu faptul că .ideal
de Teorema 3 constă din elemente stânga-quasiregulare, adică pentru orice există astfel încât . deoarece și , . Prin urmare, stânga-cvasi-regulat în , de unde .
În schimb, din moment ce
Este un ideal bidirecțional, apoi proiecția canonică este un homomorfism inelar. Imaginea idealului , Este un ideal în . De la faptul că este semisimplată (conform părții 1 din Teorema 7) rezultă că semisimply. atunci , care este .
Teorema 7. Regula
, ciclu asociativ radicalul său Jacobson , este un radical (în sensul lui Kurosh). care este îndeplinită:
pentru orice homomorfism al inelelor asociative
includerea
1. Egalitatea
rezultă din Propoziția 2, dacă le punem .
2. Proiecția canonică
la fiecare ideal maxim stânga obișnuit asociază un ideal maxim stâng , ca . ideal De asemenea, este regulat, din moment ce relația conduce . Prin Teoremă 2, radicalul Jacobson este intersecția tuturor idealurilor stângi maxime regulate în : , dar apoi - intersecția unor idealuri maxime stângi regulate ale inelului , și, prin urmare, conține radicalul Jacobson al acestui inel. de unde .
3. Putem presupune asta
Este un epimorfism. lăsa - intersecția idealurilor maxime stângi regulate în . Imaginea inversă Este idealul maxim maxim obișnuit. În acest fel , ceea ce înseamnă, .
Exemplul 1.
. Într-adevăr, în ringul de întregi fiecare ideal este regulat. Toate idealurile maximale au forma , unde Este un număr prime. prin urmare, .
Uite, de asemenea
literatură
Andrunakievich VA Ryabukhin Yu.M. "Radicalii algebrelor și teoria structurală", Nauka, 1979.
I. Herstein. "Inele non-comutative", Mir, 1972.
1) a părăsit radicalul Jacobson
6) vezi partea 1 a dovezii teoremei 2
7) drept Jacobson radical