Korpus (matemaatika)

Olgu "K" mingi hulk, mis sisaldab vähemalt kaks elementi. Olgu "K"-s määratud ka kaks arvutustehet, mida tähistatakse kas või pluss- ja korrutusmärgiga (+ ja ·). See tähendab, et "+" seab igale kahele "K" elemendile "x" ja "y" vastavusse ühe kindla "K" elemendi, mida nimetatakse "x" ja "y" summaks ning tähistatakse "x+y"-ga; samuti seab "·" neile kahele elemendile vastavusse ühe "K" elemendi, mida nimetatakse "x" ja "y" korrutiseks ning tähistatakse "x·y"-ga (või lihtsamalt "xy"-ga).
Selline hulk "K" oma kahe arvutustehtega on korpus ehk kommutatiivne korpus, kui sellel on kõik järgmised omadused:
Ehkki nimetused (liitmine, korrutamine, summa, korrutis) tekitavad kujutluse, et korpuses mängitakse arvudega, ei ole asi vältimatult nii: elementideks võivad olla muudki objektid peale arvude. Nulliga (0) tähistatud element ei pruugi olla arv null, vaid see on lihtsalt nullelement, st liitmise neutraalne element. Samuti ei ole ühega (1) tähistatud mitte arv üks, vaid ühikelement, korrutamise neutraalne element.
Tõsi küll, just need üheksa omadust on reaalarvudel. Niisiis moodustavad reaalarvud korpuse (reaalarvude korpuse).
See, et kõik korpused ei koosne arvudest, nähtub järgmisest näitest. Siin on elementideks ainult kaks sõna, "paaris" ja "paaritu". Elementide hulk "K" on niisiis väga väike: {"paaris, paaritu"}. Kas sõnadega saab sooritada tehteid? Saab küll, kui lepitakse kokku näiteks järgmised tulemid:
"paaris"+"paaris" = "paaris",   "paaris"·"paaris" = "paaris"
"paaritu"+"paaritu" = "paaris",   "paaritu"·"paaritu" = "paaritu"
"paaris"+"paaritu" = "paaritu",   "paaris"·"paaritu" = "paaris"
"paaritu"+"paaris" = "paaritu",   "paaritu"·"paaris" = "paaris"
Kõik võimalikud arvutused saavad sooritatud, ja tulemused ei tundu sugugi olevat rumalad!
Pandagu eriti tähele, et "paaris"+"x = x", olgu "x" kumb tahes, ja  "paaritu"·"x = x", olgu "x" kumb tahes. Seega vastab "paaris" 2. punkti "nullelemendile" 0 ja "paaritu" 7. punkti "ühikelemendile" 1.
Hulgas "K" = {"paaris", "paaritu"} = {0, 1} on võimalik tõestada ka kõikide teiste punktide kehtivust. Järelikult on tegemist korpusega. See korpus kuulub lõplike korpuste ehk Galois' korpuste sekka. Pange muide tähele, et selles korpuses 1+1 = 0; seal pole olemas mingit "kahte"!
Korpused on korpuseteooria põhiline uurimisobjekt.
Korpuste tuntud näited on ratsionaalarvude korpus, reaalarvude korpus, kompleksarvude korpus ja jäägiklassiringid mod "p", kus "p" on algarv.
Formaalsed definitsioonid.
Korpus on algebraline struktuur hulgal formula_1, mis moodustab liitmise formula_2 suhtes hulgal formula_1 kommutatiivse rühma neutraalse elemendiga formula_4 ning mille formula_4-ist erinevad elemendid hulgast formula_6 moodustavad korrutamise suhtes kommutatiivse rühma, kusjuures korrutamine on liitmise suhtes distributiivne.
Täpsemalt, hulka formula_1 koos sellel defineeritud algebraliste tehete liitmise formula_2 ja korrutamisega formula_9 (formula_10, st formula_11) nimetatakse korpuseks formula_12, kui on täidetud järgmised aksioomid:
Aksioomid 1–4 vastavad kommutatiivse rühma definitsioonile hulga formula_1 elementide liitmise formula_2 suhtes, aksioomid 5–8 vastavad kommutatiivse rühma definitsioonile hulga formula_24 elementide korrutamise formula_9 suhtes ja аksioom 9 seob liitmise ja korrutamise distributiivsusseadusega.
Aksioomid 1–7 ja 9 on ühikelemendiga assotsiatiivse kommutatiivse ringi definitsioon.
Kui korrutamise kommutatiivsuse aksioom välja jätta, saame kaldkorpuse definitsiooni.
Seoses teiste (ajalooliselt hiljem vaatluse alla võetud) struktuuridega saab korpust defineerida kui assotsiatiivset kommutatiivset ringi, mis on kaldkorpus. Struktuuride hierarhia on järgmine:
 Ühikelemendiga assotsiatiivsed kommutatiivsed ringid ⊃ Integriteetkonnad ⊃ Faktoriaalringid ⊃ Peaideaaliringid ⊃ Eukleidilised ringid ⊃ Korpused.
Seotud definitsioonid.
Korpuse alamkorpus on korpuse alamhulk, mis on põhikorpuse tehete ahendite suhtes korpus. Põhikorpus on oma alamkorpuse laiend.
Korpuste homomorfism on niisugune kujutus formula_26 ühest korpusest teise, et formula_27, formula_28 ja formula_29. Ükski pööratav element ei saa kujutuda nullelemendiks, sest formula_30, järelikult iga homomorfismi tuum koosneb nullelemendist, seega korpuste homomorfism on sisestus.
Korpuse karakteristik on sama mis ringi karakteristik, nimelt vähim niisugune positiivne täisarv formula_31, et ühikelemendi formula_31-kordne summa iseendaga on nullelement: 
 formula_33 Kui niisugust arvu ei ole, siis korpuse karakteristikuks loetakse 0.
Galois' korpused on korpused, millel on lõplik arv elemente. Need on nime saanud Évariste Galois' järgi, kes neid esimesena uuris.
Ajalugu.
Korpuse mõiste raames töötas implitsiitselt Évariste Galois 1830. aastal (sellest sai alguse Galois' teooria). Kasutades korpuse algebralise laiendi ideed, leidis ta selle piisava ja tarviliku tingimuse, et ühe muutuja võrrand oleks radikaalides lahenduv. Hiljem näidati Galois' teooria abil, et võimatu on lahendada selliseid klassikalisi ülesandeid nagu ringi kvadratuur, nurga trisektsioon ja kuubi duplikatsioon.
Korpuse mõiste eksplitsiitne kasutuselevõtmine omistatakse Richard Dedekindile, kes nimetas seda algul ratsionaalseks väljaks (korpuseks hakati seda nimetama 1871. aastal).
Et korpuse mõiste on üldalgebra mõistete seas tavalistele arvudele kõige lähem, kasutatakse lineaaralgebras korpust kui struktuuri, mis universaliseerib skalaari mõister, ja lineaaralgebra põhistruktuur vektorruum defineeritakse konstruktsioonina üle mis tahes korpuse.
Korpuseteooria on suuresti ka algebralise geomeetria ja algebralise arvuteooria aluseks.