Определение поля и подполя, изоморфизмы полей

Расширим понятие кольца: введём обратный элемент [math](F, *, +)[/math] - получим поле

1. абелева по [math]+[/math]
2. [math]*[/math], [math]F\setminus\{0\}[/math] - абелева по [math]*[/math]
3. дистрибутивна

Примеры:

• Поля: [math]\mathbb{R}, \mathbb{C}, \mathbb{Q}, \mathbb{Z}_n^*[/math]
• [math]\mathbb{Q}(\sqrt{d})=\{a+b\sqrt{d}\mid a,b \in \mathbb{Q}\}[/math]