sottocòrpo

sm. [sotto-+corpo]. In algebra, si dice che un sottoinsieme F di un corpo K è un sottocorpo di K, se F costituisce un corpo rispetto alle operazioni definite in tutto K. Unione e intersezione di quanti si vogliano sottocorpi di K danno ancora un sottocorpo di K; l'intersezione di tutti i sottocorpi di K si chiama il sottocorpo fondamentale di K; tale sottocorpo può essere il campo razionale (caso della caratteristica O), o un campo di Galois con p elementi, p primo.