thumb|upright=1.5| a unei porțiuni din de ideale ale numerelor întregi Nodurile violet și verzi sunt ideale semiprime, cele violet sunt ideale prime, iar cele violet și albastre sunt ideale primare. În inelele semiprime și idealele semiprime sunt generalizări ale inelelor prime și ale idealelor prime. În algebra comutativă inelele semiprime sunt aceleași cu inelele reduse, iar idealele semiprime sunt numite și ideale radicale.

De exemplu, în inelul numerelor întregi, idealele semiprime sunt idealul nul, împreună cu acele ideale de forma unde este un număr liber de pătrate. Deci este un ideal semiprim al numerelor întregi (deoarece , fără factori primi repetați), dar nu este (deoarece , cu un factor prim repetat).

Clasa inelelor semiprime cuprinde inelele semiprimitive, inelele prime și inelele reduse.

Cele mai multe definiții și afirmații din acest articol apar în lucrările lui Lam.Lam, 1999Lam, 2001

Definiții Pentru un inel comutativ , un ideal propriu este un ideal semiprim dacă îndeplinește oricare dintre următoarele condiții echivalente: Dacă este în pentru un număr întreg pozitiv și elementul din , atunci este în . Dacă este în dar nu și în , toate puterile întregi pozitive ale lui nu sunt în .

Ultima condiție, complementul să fie „închis pentru puteri”, este analogă cu faptul că complementele idealelor prime sunt închise pentru înmulțire.

Ca și în cazul idealelor prime, acest lucru este extins la anumite inele necomutative. Următoarele condiții sunt definiții echivalente pentru un ideal semiprim într-un inel : Pentru orice ideal din , dacă pentru un număr natural , atunci . Pentru orice ideal drept din , dacă pentru un număr natural , atunci . Pentru orice ideal stâng din , dacă pentru un număr natural , atunci . Pentru orice din , dacă , atunci este în .

Din nou, există un analog necomutativ al idealelor prime ca complemente ale m-sistemelor. O submulțime nevidă a unui inel se numește n-sistem dacă pentru orice din există un în astfel încât este în . Cu această noțiune, un punct echivalent suplimentar poate fi adăugat la lista de mai sus: este un n-sistem.

Inelul se numește inel semiprim dacă idealul nul este un ideal semiprim. În cazul comutativ, aceasta este echivalent cu faptul că este un inel redus, deoarece nu are elemente nilpotente nenule. În cazul necomutativ, inelul pur și simplu nu are ideale nilpotente drepte nenule. Deci, în timp ce un inel redus este întotdeauna semiprim, reciproca nu este adevărată. (Inelul complet al matricelor peste un corp este semiprim cu elemente nilpotente nenule.)

Proprietăți generale ale idealelor semiprime Pentru început, este evident că idealele prime sunt semiprime și că pentru inelele comutative un ideal primar semiprim este prim.

În timp ce intersecția idealelor prime nu este de obicei primă, ea este un ideal semiprim. Se poate arăta că și reciproca este adevărată, că fiecare ideal semiprim este intersecția unei familii de idealei prime.

Pentru orice ideal dintr-un inel se pot forma următoarele mulțimi:

Mulțimea este definiția radicalului lui și este în mod evident un ideal semiprim care îl conține pe și de fapt este cel mai mic ideal semiprim care îl conține pe . Includerea de mai sus este uneori corectă în cazul general, dar pentru inelele comutative devine o egalitate.

Cu această definiție, un ideal este semiprim dacă și numai dacă . În acest moment este evident și că orice ideal semiprim este de fapt intersecția unei familii de ideale prime. Mai mult, aceasta arată că intersecția oricăror două ideale semiprime este și ea semiprimă.

Prin definiție, este semiprim dacă și numai dacă , adică intersecția tuturor idealelor prime este vidă. Acest ideal este notat cu și numit și nilradicalul inferior al unui inel Baer, radicalul Baer-Mccoy, sau radicalul prim al lui .

Note

Bibliografie

Legături externe

PlanetMath article on semiprime ideals

Categorie:Teoria inelelor Categorie:Ideale