| Primitive element of a finite field | 00QSK85Y2X | concept | 12E20 |
| Transcendental element | 00SW8B91E7 | definition | 12F20 |
| Irreducible polynomial | 00X2A9G9W3 | definition | 12E05 |
| Ordered field | 010JCV9J4E | definition | 12J15 |
| Uniqueness of finite fields of a given order | 010PKCQPXP | statement | 12E20 |
| Existence of splitting fields | 01441KDGBY | statement | 12F05 |
| The complex numbers cannot be ordered | 01CJRJKDAA | statement | 12J15 |
| Uniqueness of the algebraic closure | 01VQ7C4FTB | statement | 12F05 |
| Eisenstein's criterion | 02BPKD7TMD | statement | 12E05 |
| Intermediate field | 02NBKVQFRQ | definition | 12F05 |
| Splitting field | 02NZZ1J0FH | definition | 12F05 |
| Algebraically closed field | 02SJG1HC32 | definition | 12F05 |
| Irreducible polynomial | 03FKX7Z5DC | concept | 12E05 |
| Separable polynomial | 03J8BS7FMV | definition | 12F10 |
| Field | 04C5ZBG1WT | concept | 12E99 |
| Galois field | 04SGPNT8R9 | object | 12E20 |
| Field generated by adjoining elements | 05NAS7AGMZ | concept | 12F05 |
| Uniqueness of splitting fields | 069A3BC3EP | statement | 12F05 |
| The minimal polynomial divides every polynomial vanishing at the element | 06K7SARZKR | statement | 12F05 |
| i squared is minus one | 07KBQCG9KV | statement | 12D99 |
| Subfield | 07QY5RPFBR | definition | 12F99 |
| Rational root theorem | 0819CQ1V8H | statement | 12E05 |
| Finite field | 08RTDHX1SK | definition | 12E20 |
| Normal extension | 08S0NW8SES | concept | 12F10 |
| Subfields of a finite field | 08YERZDM9X | statement | 12E20 |
| Algebraic extension | 09EYMKMSB9 | definition | 12F05 |
| Ring homomorphisms from a field are injective | 09N7DZ7SDB | statement | 12E99 |
| The rationals form an ordered field | 09RFKMBQ63 | statement | 12J15 |
| Archimedean property | 0A74SX55QP | statement | 12J15 |
| Tower law | 0A7KJ68XHT | statement | 12F05 |
| Complete ordered field | 0A9E6X0S3E | concept | 12J15 |
| K[x]/(f) is a field iff f is irreducible | 0AWMPX35CW | statement | 12E05 |
| Order of the Galois group of a Galois extension equals its degree | 0BDJBH8B4Z | statement | 12F10 |
| Finite extension | 0C1Y04SZ1W | concept | 12F05 |
| Normal extension | 0CBRFQ7DVZ | definition | 12F10 |
| Discriminant of a polynomial | 0CCPN09EMJ | definition | 12E05 |
| A finite field of order q is the splitting field of x^q - x | 0CDAHW576M | statement | 12E20 |
| Frobenius automorphism of a finite field | 0CGCPX8Z70 | concept | 12E20 |
| Finite subgroups of the multiplicative group of a field are cyclic | 0CKGBEJX6B | statement | 12E20 |
| Impossibility of doubling the cube | 0CQ357M0QS | statement | 12F05 |
| Finite extensions are algebraic | 0DFYTNZ6AM | statement | 12F05 |
| Galois extension | 0DS2F7GK05 | definition | 12F10 |
| Division ring | 0EA5BTA0CX | concept | 12E15 |
| Degree of a field extension | 0EAJ2XXADC | concept | 12F05 |
| The multiplicative group of a finite field is cyclic | 0EBZ3G455G | statement | 12E20 |
| Field extension | 0EQWVHF3W5 | concept | 12F05 |
| Imaginary unit | 0ESCX36MMC | object | 12D99 |
| Existence of an algebraic closure | 0ETGBAK2CC | statement | 12F05 |
| Impossibility of trisecting the angle | 0EWXPZCSZ0 | statement | 12F05 |
| The reals form a field | 0FGENPMPJX | statement | 12D99 |
| Constructible number | 0FMN2MN7TM | definition | 12F05 |
| Inverse of a complex number | 0FQRAV5SKH | statement | 12D99 |
| The complex numbers form a field | 0FRSR10DWF | statement | 12D99 |
| Uniqueness of the complete ordered field | 0G8G1TH5WK | statement | 12J15 |
| Subfield | 0GFGHRT2FJ | concept | 12F99 |
| Minimal polynomial of an algebraic element | 0GK1WB9R98 | definition | 12F05 |
| Degree of a field extension | 0GS74FGFEK | definition | 12F05 |
| The order of a finite field is a prime power | 0H5WWC8RZX | statement | 12E20 |
| Algebraic element | 0H628RSGWX | concept | 12F05 |
| Archimedean ordered field | 0HQARMKEV5 | definition | 12J15 |
| Fixed field | 0J1E5ZRZRM | concept | 12F10 |
| Fundamental theorem of algebra | 0JP0W07Y9A | statement | 12D10 |
| Split polynomial | 0JVSNJCN68 | concept | 12F05 |
| Galois group of a polynomial | 0JZY3R908H | definition | 12F10 |
| A polynomial over a field has at most as many roots as its degree | 0KJVQV3E0F | statement | 12E05 |
| Fixed field | 0KMJ6919WS | definition | 12F10 |
| Reduction modulo p test for irreducibility | 0KWWEXW0RN | statement | 12E05 |
| Splitting field | 0KXQKX9P63 | concept | 12F05 |
| Quadratic formula | 0KYZXYDGQZ | statement | 12D10 |
| The only ideals of a field are zero and the whole field | 0M6G75E95E | statement | 12E99 |
| Adjoining a root of a polynomial | 0M893X7YY7 | definition | 12F05 |
| Vieta's formulas | 0M8EWQJ1YV | statement | 12D10 |
| Field generated by adjoining elements | 0MA5B744K3 | definition | 12F05 |
| Algebraic closure | 0MCXX29HWY | definition | 12F05 |
| Separable extension | 0N019F6RE9 | definition | 12F10 |
| The rationals form a field | 0N2WPCC00T | statement | 12E99 |
| Degree of a simple extension is the degree of the minimal polynomial | 0N5QW9K7MH | statement | 12F05 |
| Simple extension | 0N681SSTHC | concept | 12F05 |
| The minimal polynomial is irreducible | 0NFEG48RDR | statement | 12F05 |
| Algebraic element | 0NPW1DWECM | definition | 12F05 |
| Transcendental element | 0NQMZ89X4A | concept | 12F20 |
| Finite extension | 0NRYPM9Y27 | definition | 12F05 |
| Adjoining a root of a polynomial | 0NXWQK2Y56 | concept | 12F05 |
| Ordered field | 0P3VCBDEE2 | concept | 12J15 |
| Simple extension | 0P6SBR7YM2 | definition | 12F05 |
| Algebraically closed field | 0PF6TM8TWT | concept | 12F05 |
| The constructible numbers form a field closed under square roots | 0PN9WMRWT7 | statement | 12F05 |
| Algebraic extension | 0PTBM7K0R2 | concept | 12F05 |
| Galois group of a polynomial | 0Q5NA8Y362 | concept | 12F10 |
| Field | 0QA8CHH8MG | definition | 12E99 |
| The Galois group has order at most the degree | 0QM98DNWVW | statement | 12F10 |
| Galois extension | 0QMZAQ6QQ4 | concept | 12F10 |
| Constructible number | 0QNFRBJF4Q | concept | 12F05 |
| The reals form an ordered field | 0QSPNASE50 | statement | 12J15 |
| Every element of a finite field of order q satisfies x^q = x | 0QWR8WTZEW | statement | 12E20 |
| Wedderburn's little theorem | 0RRNVX1VKA | statement | 12E15 |
| Separable polynomial | 0RZ89QWTSJ | concept | 12F10 |
| Split polynomial | 0SHMC00RJV | definition | 12F05 |
| Differentiation as a linear map | 0SS770NS8B | example | 15A04, 12E10 |
| The degree of a constructible number is a power of two | 0SSSM1D475 | statement | 12F05 |
| Primitive element theorem | 0SVX98HYV1 | statement | 12F10 |
| Fundamental theorem of Galois theory | 0T1Q8D0FW8 | statement | 12F10 |
| Existence of finite fields of every prime power order | 0T8M3YC5RG | statement | 12E20 |
| Prime subfield | 0TNS65QB87 | concept | 12E99 |
| An algebraic extension of an algebraic extension is algebraic | 0TPWS0K1BC | statement | 12F05 |
| Every polynomial has a root in some extension field | 0VG02M1FEZ | statement | 12F05 |
| Polynomials of degree two or three are irreducible iff they have no roots | 0VNE161QCK | statement | 12E05 |
| Frobenius automorphism of a finite field | 0VP4TBVJ19 | definition | 12E20 |
| Prime subfield | 0VPFBAY7MW | definition | 12E99 |
| Discriminant of a polynomial | 0VVK64Q4JK | concept | 12E05 |
| Minimal polynomial (field theory) | 0VX9EP2GS8 | concept | 12F05 |
| Separable extension | 0WCX7NB4N7 | concept | 12F10 |
| Field extension | 0WQ1A8SHTZ | definition | 12F05 |
| Division ring | 0WZXK05ME7 | definition | 12E15 |
| Algebraic closure | 0X6AB5P3G1 | concept | 12F05 |
| Impossibility of squaring the circle | 0X7CVDE3BG | statement | 12F05 |
| Archimedean ordered field | 0XH79S06J3 | concept | 12J15 |
| Galois group | 0XTY86BZKY | concept | 12F10 |
| Galois group | 0XVR72M51M | definition | 12F10 |
| Gauss–Wantzel theorem | 0Y34JMJNE9 | statement | 12F05 |
| Primitive element of a finite field | 0YAA9CJQXF | definition | 12E20 |
| Existence of nth roots of complex numbers | 0YM6P6C206 | statement | 12D99 |
| Intermediate field | 0Z409N8RDG | concept | 12F05 |
| K(a) is isomorphic to K[x] modulo the minimal polynomial | 0ZN39QDTP9 | statement | 12F05 |
| Finite field | 0ZXZ82FTX2 | concept | 12E20 |