Gorputz (matematika)

Aljebra abstraktuan  gorputza da  multzoak gutxienez bi elementu izanda,  multzorako  (gehiketa) eragiketak elkartze eta trukatze propietatea eta elementu alderantzizko eta neutroaren existentzia betetzen dituen, eta  (biderketa edo produktua)eragiketak elkartze eta banatze propietateak, elementu neutroaren existentzia eta multzoko elementuentzako, gehiketarekiko elementu neutroa izan ezik, elementu alderantzizkoaren existentzia betetzen dituen egitura aljebraikoa.

Definizioa 
gorputza da baldin:

  multzoa gutxienez bi elementu ditu.
 eragiketa -ko elementuentzako elkartze propietatea betetzen du, hau da: 
 Propietate trukakorra betetzen du, hau da: 
 Existitzen da non . eragiketarekiko elementu neutroa moduan denotatuko dugu.
 -ko edozein elementurako existitzen da elementu alderantzizkoa gehiketarekiko (simetrikoa), hau da: 
 eragiketa -ko elementuentzako elkartze propietatea betetzen du, hau da: 
 eragiketa banatze propietatea betetzen du, hau da: 
 Existitzen da non . eragiketarekiko elementu neutri moduan denotatuko dugu.
 elementuentzako alderantzizkoa existitzen da biderketarekiko, hau da: 

Propietate guzti hauek betetzen dituen multzoa eta eragiketak gorputz bat eratzen dute.

Gorputzak definitzeko era sinpleagoa existitzen da:

gorputza da baldin:

 eraztun ez tribiala da.
 Existitzen da non . eragiketarekiko elementu neutri moduan denotatuko dugu.
 elementuentzako alderantzizkoa existitzen da biderketarekiko, hau da:

Definizio alternatiboak 
Sintetikoki, P eraztun bati gorputza deitzen zaio, ez baldin badago zerotik bakarrik, eta bertan zatiketa posible da kasu guztietan (zero bidezko zatiketa izan ezik), eta hori unibokoki determinatzen da, hau da, P motako edozein elementurentzat, zeinetatik n zerotik desberdina baita, P-n elementu bat q, eta bakarra, nq = m berdintasuna betetzen duena. Q elementuari m eta n elementuen zatidura esaten zaio, eta q = m/n 

F gorputza a elementu bakoitzerako integritate-domeinu bat da. Berdintasuna egiaztatzen duen «alderantzizko» a-1 :

H eremua 1 unitatea duen eraztun kommutatiboa da. 0, non elementu bakoitza. 0 alderantzizkoa da. H* = U (H) taldea, alderantzizko biderkatzailea duten elementu guztiez osatua, eremuaren talde biderkatzailea deitzen da.

Eremu hori (bat) abeltzain bi eremuren hibridoa da, bata gehigarria eta bestea biderkatzailea, banaketa-legeak lotuak, eta nahikoa da aurkezpen bat, biderketak propietate kommutatiboa duelako. CD-1 produktua notazio zatikatuan idazten da c/d gisa. c/d frakzioa   denean bakarrik dago zehaztuta eta dt = c ekuazioaren soluzio bakarra da.

Adibideak

Arrazionalak eta aljebraikoak 
Zenbaki arrazionalak zenbaki osoetarako isomorfo multzo bat duen zenbaki-gorputz bat da, notazioz, ,  bezala ere izendatzen dena. 

Zenbaki arrazional oro zatiki multzo baten bidez adieraz daiteke, baina arrazionalen multzoa ez da zatikien multzoarekin identifikatu behar (1/2 eta 2/4 zenbaki erreal bera adierazten duten bi zati ezberdin baitira). Arrazionalak definitzeko, zatiki guztien gaineko baliokidetasun-erlazio bat hartu behar da kontuan:

a/b eta c/d zatien arteko baliokidetasun-erlazioa erlazionatuta dago ad = bc bada, hau da:

Baldintza horietan, arrazionalen multzoa zatikien multzoa zatitzen den baliokidetasun-moten multzoa da. 

Zenbaki arrazionalek ez dute osatzen gorputz aljebraikoki itxi bat, gorputzen teoriaren teorema garrantzitsu batek erakusten du gorputz aljebraikoki itxi baten existentzia, lehenengoa barne hartzen duena (isomorfo multzo bat soilik). Arrazionalak aljebraikoki itxiak ez direnez, haien itxitura aljebraikoa existitzen da eta eraiki daiteke, eta multzo horri zenbaki aljebraikoen gorputza deitzen zaio, honako hau froga daiteke:

Zenbaki konplexuek zenbaki aljebraikoen gorputza eta zenbaki errealak dituzte. Hala ere, errealek ez dituzte algebraikoak, adibidez,  . 

Gainera, zenbaki arrazionalak eta zenbaki aljebraikoak zenbakizko multzoak direla froga daiteke, errealak eta konplexuak ez diren bitartean:

Zenbaki erreal eta konplexuak 
Zenbaki errealek ,, ohiko eragiketekin, gorputz bat osatzen dute.

Zenbaki hipererrealek zenbaki errealak gehi zenbaki infinitesimal eta infinituak dituen gorputza osatzen dute. Zenbaki surrealek errealak dituen gorputz bat osatzen dute, salbu eta klase propio bat badira, ez multzo bat.

Zenbaki errealek hainbat azpigune interesgarri dituzte: zenbaki erreal aljebraikoak, zenbaki konputagarriak eta zenbaki definigarriak.

Zenbaki konplexuak honelako adierazpena dute:

non  alegiazko unitatea den (zenbaki ez erreala) eta hau betetzen du, 

Zenbaki errealak gehitzea eta biderkatzea honela definitzen da, gorputzeko axioma guztiak, -rako bete daitezen.

Funtzioen gorputzak 
K gorputz jakin baterako, X aldagaian funtzio arrazionalen K(X) multzoa, K-n koefizienteak dituena, gorputz bat da; K-n koefizienteak dituzten polinomioen zatiduren multzoa da.

K gorputza bada, eta p (X) polinomio murriztezina bada F [X] polinomio-eraztun batean, orduan F [X]/< p (X) > zatidura K. subgorputz isomorfo bat duen gorputza da. Adibidez,  gorputza da (izatez, isomorfoa da zenbaki konplexuen gorputzera).

Azpigorputzak 
Izan bitez E eta K bi gorputz, E dute K-ren azpimultzo bat (hau da, 0 eta 1 dituen K-ren azpimultzo bat, K-ren + eta * eragiketen azpian itxia eta bere eragiketak murrizketaren bidez definituak dituena). Izan bedi x K-ren elementu bat, E-rena ez dena. Orduan, E(x) da K-ren azpimultzorik txikiena, E eta a x dituena. Adibidez, Q(i) C zenbaki konplexuen azpimultzoa da, a+bi formako zenbaki guztiak dituena, non a eta b zenbaki arrazionalak baitira.

Adibide konkretu batzuk: 
 Eraztun ez tribiala da, baina ez da gorputza ez delako existitzen zenbaki gehienen alderantzizkorik, adibidez 2 zenbakiaren alderantzizkoa 1/2 da, eta azken zenbaki hau ez da existitzen multzo barruan.

 Eraztun ez tribiala da.

-ren elementu neutroa biderkaketarekiko existitzen da:  zenbakia, non 

-ren edozein elementua  izan ezik (gehiketarekiko elementu neutroa) alderantzizkoa du: 

Beraz,   gorputza da.

Adibidez, gorputzak:

Ikus, gainera 
 Gorputzen teoria

Kanpo estekak 

Aljebra abstraktua
Gorputzen teoria
Gorputz teoria