Изменения

# <tex>a \in K \Rightarrow -a \in K </tex>

# <tex>a \in K \Rightarrow a^{-1} \in K </tex>

Поле называется простым, если оно не содержит тривиальных подполей.

<tex>\mathbb{Q} \subset \mathbb{Q}(x)</tex> - подполе <tex>\Rightarrow \mathbb{Q}(x)</tex> - не простое поле.