Structura (Z,+,⋅) este inel comutativ cu element unitate, dar NU este corp, deoarece:
- înmulțirea nu este asociativă pe Z
- nu orice element nenul are invers față de înmulțire în Z
- adunarea nu este comutativă pe Z
- Z nu are element neutru la adunare
Adunarea și înmulțirea pe Z au toate proprietățile de inel comutativ unitar. Însă, de exemplu, 2∈Z nu are invers multiplicativ în Z (ar fi 21∈/Z), deci nu orice element nenul e inversabil.Z nu este corpStructura (Zp,+,⋅) este corp exact atunci când p este:
- număr par
- pătrat perfect
- număr compus
- număr prim
Zn este corp doar dacă orice element nenul e inversabil, adică prim cu n; asta se întâmplă pentru toate clasele nenule exact când n nu are divizori proprii, adică atunci când n=p este prim.p este primNumărul elementelor inversabile ale inelului (Z12,+,⋅) este:
- 6
- 3
- 11
- 4
Elementul a^ este inversabil în Z12 exact atunci când gcd(a,12)=1.Verificăm a∈{1,2,…,11}: gcd(1,12)=1, gcd(5,12)=1, gcd(7,12)=1, gcd(11,12)=1; toate celelalte (2,3,4,6,8,9,10) au un factor comun cu 12=22⋅3.Elementele inversabile sunt {1^,5^,7^,11^}, deci numărul lor este:φ(12)=12(1−21)(1−31)=12⋅21⋅32=4Verificare prin enumerare directă: {1,5,7,11} — exact 4 elemente.Pentru care dintre următoarele valori ale lui n, inelul (Zn,+,⋅) este corp?
- n=6
- n=4
- n=9
- n=11
Inelul (Zn,+,⋅) este corp dacă și numai dacă n este prim — doar atunci fiecare clasă nenulă a^ are gcd(a,n)=1, deci este inversabilă.Dintre valorile date, 4=22, 6=2⋅3, 9=32 sunt numere compuse, deci Z4, Z6, Z9 au divizori ai lui zero (de exemplu 2^⋅2^=0^ în Z4) și nu sunt corpuri.Singura valoare primă este n=11.Verificare: în Z11 fiecare din elementele 1^,…,10^ este inversabil (numărul elementelor inversabile este φ(11)=10, adică toate cele 10 elemente nenule), deci Z11 este corp.Un inel este o mulțime nevidă cu două operații + și ⋅ astfel încât:
- (R,+) este un grup; (R,⋅) este un grup
- (R,+) este un monoid; ⋅ este comutativă
- (R,+) este un grup; ⋅ este asociativă
- (R,+) este un grup abelian; ⋅ este asociativă; ⋅ este distributivă față de +
Un inel: grup abelian față de +, ⋅ asociativă și distributivitate lui ⋅ față de +. (Unele definiții cer și existența elementului neutru multiplicativ.)