inel comutativ în care orice element nenul este inversabil From Wikipedia, the free encyclopedia
În matematică un corp comutativ[1] (uneori numit, simplu, corp) este o structură algebrică fundamentală din algebra abstractă. Este o mulțime împreună cu două operații binare, care fac posibile adunări, scăderi, înmulțiri și împărțiri. Mai exact, un corp comutativ este un inel comutativ în care mulțimea elementelor nenule este un grup comutativ pentru înmulțire.
Definiția unui corp diferă la diverși autori, comutativitatea înmulțirii nefiind întotdeauna impusă. Fie corpurile comutative sunt considerate cazuri particulare de corpuri (în cazul în care comutativitatea nu este impusă), fie denumirea de corp comutativ este un pleonasm, și desemnează pur și simplu un corp (în cazul în care este). (V. și corp)
Exemple elementare de corpuri comutative sunt corpul numerelor raționale, notat (sau Q), corpul numerelor reale, notat (sau R), corpul numerelor complexe, notat (sau C) și corpul din clasele de congruență modulo p unde p este un număr prim, notat și (sau Fp).
Teoria corpurilor comutative este cadrul istoric al teoriei lui Galois, o metodă de studiu care se aplică în special corpurilor comutative și extinderilor de corpuri în raport cu teoria grupurilor, dar se extinde și la alte domenii, de exemplu studiul ecuațiilor diferențiale (teoria lui Galois diferențială(d)), sau acoperiri(d).
Un corp comutativ este o mulțime K împreună cu două legi interne notate în general cu + și ×, care îndeplinesc următoarele condiții:[1]
Atunci se vorbește despre corpul comutativ (K, +, ×).
Exemple de corpuri comutative:
Un subcorp al unui corp comutativ K este o parte L din K, stabilă pentru + și ×, astfel încât L prevăzută cu legile induse este un corp.
Fie 1K unitatea corpului K. Dacă există un număr natural nenul n astfel încât
se numește caracteristică a corpului K cel mai mic număr întreg pozitiv nenul care satisface această proprietate. Dacă nu există un întreg nenul care să verifice această proprietate, se spune că corpul K are caracteristica zero.
De exemplu, corpul are caracteristica zero, în timp ce corpul are caracteristica p. Dacă este diferită de zero, caracteristica unui corp este în mod necesar un număr prim. Dacă nu ar fi așa, o factorizare a acestui număr ar oferi divizori nenuli ai lui zero, dar un corp este un domeniu de integritate.
Se spune despre un corp că este prim dacă nu are niciun subcorp în afară de el însuși. Un corp prim infinit este izomorf cu corpul al numerelor raționale. Un corp finit prim este izomorf cu corpul pentru un anumit număr prim p.[2] În general, orice corp K conține un corp prim, care este cel mai mic dintre subcorpurile sale și care se numește corpul prim al lui K[2] sau subcorpul prim al lui K. Subcorpul prim al lui K îl conține în mod necesar pe 1K, prin urmare și pe multiplii săi întregi ℤ•1K. Dacă caracteristica este zero, este un corp izomorf cu (corpul fracțiilor din ); dacă caracteristica este un număr prim p, este un corp izomorf cu și de obicei se identifică acest subcorp prim fie cu , fie cu .
Acestea sunt corpuri al căror număr de elemente este finit. Mica teoremă a lui Wedderburn arată că acestea sunt în mod necesar comutative. De asemenea, se poate demonstra că numărul de elemente ale unui astfel de corp este întotdeauna o putere a unui număr prim. De fapt, este posibil să se enumere toate corpurile finite, până la izomorfism.
× | 0 | 1 |
0 | 0 | 0 |
1 | 0 | 1 |
+ | 0 | 1 |
0 | 0 | 1 |
1 | 1 | 0 |
Cel mai mic corp finit este cel al mărimilor booleene, dintre care aici se prezintă tabela de adunare (corespunzătoare lui sau exclusiv) și tabela de înmulțire (corespunzătoare funcției și).
Cele mai elementare exemple de corpuri finite sunt corpurile de congruențe modulo un număr prim ca în cazul de mai sus, dar există un număr infinit de altele: până la izomorfism, câte unul pentru fiecare putere a unui număr prim.
Ansamblul nu este un corp deoarece majoritatea elementelor nenule ale lui nu sunt inversabile: de exemplu, nu există un întreg n astfel încât 2n = 1, prin urmare, 2 nu este inversabil.
Un inel comutativ este o mulțime A care, la fel ca , este prevăzută cu două legi + și × care verifică următoarele axiome:
Un inel comutativ A este un domeniu de integritate dacă:
Orice corp comutativ este un domeniu de integritate, iar orice domeniu de integritate finit este un corp comutativ. Următoarea teoremă tratează cazul inelelor infinite:
Exemplu: este corpul fracțiilor lui
Un inel comutativ A este un corp dacă și numai dacă este simplu, adică nu este un inel nul și nu are ideale netriviale.[3][4]
Pornind de la corpul , este firesc interesul pentru , mulțimea tuplurilor de numere reale. Se cere dotarea cu o adunare și o înmulțire cu un număr real. Structura astfel definită (o adunare internă care oferă întregului o structură de grup și o înmulțire externă având proprietăți de distributivitate și asociativitate) se numește spațiu vectorial pe . Definiția unui spațiu vectorial pe orice corp comutativ K se obține firesc.
Studiul inelelor de polinoame(d) cu coeficienți într-un corp comutativ și căutarea rădăcinilor lor au dezvoltat considerabil noțiunea de corp. Dacă este un polinom de gradul n peste un corp comutativ K, ecuația este o ecuație algebrică în K. Dacă, în plus, este un polinom ireductibil, se spune că ecuația este ireductibilă. Când n ≥ 2, găsirea soluțiilor unei astfel de ecuații necesită plasarea într-un corp mai mare decât K, o extindere a corpului.
De exemplu, ecuația este ireductibilă în dar are rădăcini în sau, mai exact, în Ecuația nu are soluții în dar are în sau, mai exact, în
Corpul de descompunere(d) al lui este cel mai mic corp care îl conține pe K precum și toate rădăcinile lui .
Studiul corpurilor de descompunere ale unui polinom și al grupului de permutări al rădăcinilor sale formează teoria lui Galois.
Fie un corp comutativ.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.