1) O documento define estruturas algébricas chamadas grupos, corpos e corpos ordenados.
2) Grupos são conjuntos com uma operação binária que satisfaz propriedades de associatividade, elemento neutro e inversos.
3) Corpos são estruturas algébricas com duas operações binárias (adição e multiplicação) que formam um grupo abeliano e satisfazem propriedades de distribuição.