sottocampo
sottocampo di un → campo K, è un campo F che sia contenuto in K, in modo che le operazioni definite in F coincidano con la restrizione di quelle definite in K. Da un punto di vista più astratto, sottocampo di K è un qualsiasi campo F dotato di un omomorfismo di campi iniettivo φ: K → F.