Grupul unităților unui inel: pe scurt
Lecția face parte din suplimentul pentru Bacalaureat M1, cel care urmează programa sesiunilor 2027–2029. Un element al unui inel este inversabil dacă există cu ; inversul este unic și se notează , iar mulțimea tuturor elementelor inversabile se notează , iar elementele ei se numesc unitățile inelului. Mulțimea nu e niciodată vidă, pentru că , și nu conține niciodată pe într-un inel nenul.
Teorema lecției: este grup, numit grupul unităților inelului. Demonstrația are patru mișcări: parte stabilă (cu , ordinea răsturnată), asociativitate moștenită, ca element neutru, inversul unui inversabil este inversabil. Dacă inelul e comutativ, grupul e comutativ. Exemplele de reținut: , , , și , ultimul obținut cu norma . Un element inversabil nu este niciodată divizor al lui zero — reciproca e falsă în inele infinite ( în ), dar în cele două categorii acoperă toate clasele nenule. Pentru legile deghizate și , elementul nul este , unitatea este , iar e inversabil exact când e inversabil în inelul de plecare.
Exerciții din această mini-lecție
Grupul unităților inelului este:
- a)
- b)
- c)
- d)
Vezi răspunsul
Răspuns corect: c)
O matrice pătratică este inversabilă dacă și numai dacă determinantul ei este nenul, deci , grupul liniar general. Mulțimea matricelor cu determinantul este doar un subgrup al lui, iar egalitatea cu e falsă: există matrice nenule cu determinantul nul, deci neinversabile.
Câte elemente are grupul unităților inelului întregilor lui Gauss, ?
- a)
- b)
- c)
- d) o infinitate
Vezi răspunsul
Răspuns corect: b)
Folosim norma , care este multiplicativă. Dacă , atunci cu , deci , adică . Singurele soluții întregi sunt și , deci — patru elemente, grup ciclic generat de .
Într-un inel , pentru avem:
- a)
- b) poate să nu fie inversabil
- c)
- d)
Vezi răspunsul
Răspuns corect: d)
Verificarea este directă: , și analog în cealaltă ordine. Ordinea se răstoarnă, exact ca la inversa unui produs de matrice; scrierea este corectă doar în inele comutative. Produsul a două unități este întotdeauna unitate — chiar aceasta e partea stabilă din demonstrația teoremei.
