素體

每個體，無論多大多奇異，內部都藏著一個盡可能小的體——那個你無法迴避、僅由元素 1 與體運算生成的體。這個不可再約的內核就是素體。對共享同一特徵的所有體它都相同，所以它是其餘部分賴以構築的、不可更改的基岩。比它更小的根本就不是體。

確切地說，K 的素體是 K 所有子體的交，等價地是最小子體，又等價地是由乘法單位元 1 生成的子體。它的同構類型完全由特徵決定：若 char(K) = 0，素體同構於有理數體 Q；若 char(K) = p，素體同構於含 p 個元素的有限體 F_p。

由於素體是典範地嵌入的，每個體都自動是 Q 或某 F_p 的擴張，且任何體同態都必須逐點固定素體（因為它必須把 1 送到 1）。這使素體成為做體論的天然基底，也是特徵 0 的體與特徵 p 的體被作為兩個根本分離的家族來研究的原因。