Geheel element

In de commutatieve algebra wordt een element van een commutatieve ring met eenheid geheel genoemd ten opzichte van een deelring (met eenheid) als dat element een nulpunt is van een monische polynoom met coëfficiënten in de deelring.

De eigenschap 'geheel' generaliseert enerzijds algebraïsche gehele getallen, en anderzijds een algebraïsche uitbreiding van een commutatief lichaam.

Definitie bewerken

Een element $g$ van een commutatieve ring $R$ met eenheidselement heet geheel of integraal over de deelring (met eenheid) $D$ van $R$ als er een polynoom

p(x)=x^{n}+a_{n-1}x^{n-1}+\ldots +a_{1}x+a_{0}

is met coëfficiënten $a_{i}$ in $D$ en de coëfficiënt van de hoogste macht van $x$ gelijk aan 1, waarvan $g$ een nulpunt is, dus

p(g)=0

Voorbeelden bewerken

De algebraïsche gehele getallen zijn precies de complexe getallen die geheel zijn over de ring der gehele getallen.
Als $R$ en $D$ lichamen zijn, vormen de gehele elementen de algebraïsche sluiting van $D$ in $B$ .

Equivalente definities bewerken

De volgende eigenschappen van een element $x$ van $B$ zijn gelijkwaardig met de eis dat $x$ een nulpunt is van een monische polynoom met coëfficiënten in $A$ :

De ring $A[x]$ is een eindig voortgebracht $A$ -moduul;
de ring $A[x]$ is een deel van een deelring $C$ van $B$ die een eindig voortgebracht $A$ -moduul vormt;
er bestaat een getrouw $A[x]$ -moduul $M$ dat, opgevat als $A$ -moduul, eindig voortgebracht is.

Gehele afsluiting bewerken

De gehele afsluiting van $A$ in $B$ is de verzameling elementen van $B$ die geheel zijn over $A$ . Men kan aantonen dat dit een deelring is van $B$ .

De ring $A$ heet geheel gesloten in $B$ als hij gelijk is aan zijn gehele afsluiting in $B$ . De ring $B$ heet geheel gesloten over $A$ als al zijn elementen geheel zijn over $A$ .

Als $A$ een integriteitsgebied is, dan heeft hij een breukenlichaam $A_{0}$ . Een integriteitsgebied heet geheel gesloten (zonder meer) als het geheel gesloten is in zijn breukenlichaam.

Voorbeeld bewerken

De gehele getallen zijn geheel gesloten (een breuk is pas nulpunt van een monische polynoom als ze gelijk is aan een geheel getal).

Algemener is ieder hoofdideaaldomein geheel gesloten.

De algebraïsche gehele getallen zijn geheel gesloten (dat wil zeggen, geheel gesloten in hun quotiëntenlichaam, het lichaam der algebraïsche getallen).

Referenties bewerken

(en) M.F. Atiyah en I.G. MacDonald, "Introduction to Commutative Algebra" (Inleiding tot de commutatieve algebra), Westview Press 1969, ISBN 0-201-40751-5.