Priemdeelveld
Een priemdeellichaam (Nederlands) of priemdeelveld (Belgisch) is het kleinste deelveld van een gegeven lichaam (Ned) / veld (Be) .
Het kleinste deelveld van is de doorsnede van alle deelvelden van .
Men kan aantonen dat het volgende geldt voor een willekeurig veld :
- Als karakteristiek 0 heeft, dan is het priemdeelveld van isomorf met .
- Als eindig is met dan is , met een priemgetal en is het priemdeellichaam / -veld van isomorf met .
- Hetzelfde geldt voor oneindige lichamen / velden met karakteristiek . Het lichaam / veld van alle rationale functies over heeft een karakteristiek die een priemgetal is.
De priemdeelring is onder de ringen met een priemdeellichaam / priemdeelveld te vergelijken.