Galois-1_back.svg Edited: Sat 21 Oct 2023

Galois-1_front.svg Edited: Sat 21 Oct 2023

Galois-2_back.svg Edited: Thu 30 May 2024

Galois-2_front.svg Edited: Thu 30 May 2024

Galois-Fpn-over-Fp-is-Galois-thm_back.svg Edited: Thu 30 May 2024

Galois-Fpn-over-Fp-is-Galois-thm_front.svg Edited: Thu 30 May 2024

Galois-Fpn-unique-subfield-order-pm-coro_back.svg Edited: Tue 07 Nov 2023

Galois-Fpn-unique-subfield-order-pm-coro_front.svg Edited: Tue 07 Nov 2023

Galois-Frobenius-homomorphism-prop_back.svg Edited: Thu 26 Oct 2023

Galois-Frobenius-homomorphism-prop_front.svg Edited: Thu 26 Oct 2023

Galois-HomK-bound-lemma_back.svg Edited: Thu 26 Oct 2023

Galois-HomK-bound-lemma_front.svg Edited: Thu 26 Oct 2023

Galois-HomK-notation_back.svg Edited: Thu 26 Oct 2023

Galois-HomK-notation_front.svg Edited: Thu 26 Oct 2023

Galois-K-hom-defn_back.svg Edited: Thu 19 Oct 2023

Galois-K-hom-defn_front.svg Edited: Thu 19 Oct 2023

Galois-Kautomorph-notation_back.svg Edited: Mon 30 Oct 2023

Galois-Kautomorph-notation_front.svg Edited: Mon 30 Oct 2023

Galois-Kummer-thm_back.svg Edited: Thu 30 May 2024

Galois-Kummer-thm_front.svg Edited: Thu 30 May 2024

Galois-Xn-a-irred-iff-coro_back.svg Edited: Sat 18 Nov 2023

Galois-Xn-a-irred-iff-coro_front.svg Edited: Sat 18 Nov 2023

Galois-algebraic-closure-defn_back.svg Edited: Thu 19 Oct 2023

Galois-algebraic-closure-defn_front.svg Edited: Thu 19 Oct 2023

Galois-algebraic-closure-existence-thm_back.svg Edited: Thu 23 Nov 2023

Galois-algebraic-closure-existence-thm_front.svg Edited: Thu 23 Nov 2023

Galois-algebraic-closure-in-C-or-finite_back.svg Edited: Thu 19 Oct 2023

Galois-algebraic-closure-in-C-or-finite_front.svg Edited: Thu 19 Oct 2023

Galois-algebraic-defn_back.svg Edited: Thu 19 Oct 2023

Galois-algebraic-defn_front.svg Edited: Thu 19 Oct 2023

Galois-algebraic-element-and-min-poly-defn_back.svg Edited: Thu 19 Oct 2023

Galois-algebraic-element-and-min-poly-defn_front.svg Edited: Thu 19 Oct 2023

Galois-algebraic-iff-finite-dim-lemma_back.svg Edited: Thu 19 Oct 2023

Galois-algebraic-iff-finite-dim-lemma_front.svg Edited: Thu 19 Oct 2023

Galois-algebraic-is-subfield-coro_back.svg Edited: Thu 19 Oct 2023

Galois-algebraic-is-subfield-coro_front.svg Edited: Thu 19 Oct 2023

Galois-algebraic-tower-prop_back.svg Edited: Thu 19 Oct 2023

Galois-algebraic-tower-prop_front.svg Edited: Thu 19 Oct 2023

Galois-algebraically-closed-defn_back.svg Edited: Thu 19 Oct 2023

Galois-algebraically-closed-defn_front.svg Edited: Thu 19 Oct 2023

Galois-algebraically-closed-extension-lemma_back.svg Edited: Thu 19 Oct 2023

Galois-algebraically-closed-extension-lemma_front.svg Edited: Thu 19 Oct 2023

Galois-algebraically-closed-tfae-lemma_back.svg Edited: Thu 19 Oct 2023

Galois-algebraically-closed-tfae-lemma_front.svg Edited: Thu 19 Oct 2023

Galois-any-finite-field-extension-galois-coro_back.svg Edited: Tue 07 Nov 2023

Galois-any-finite-field-extension-galois-coro_front.svg Edited: Tue 07 Nov 2023

Galois-artins-thm-on-invts_back.svg Edited: Thu 30 May 2024

Galois-artins-thm-on-invts_front.svg Edited: Thu 30 May 2024

Galois-aut-fixed-points-defn_back.svg Edited: Mon 30 Oct 2023

Galois-aut-fixed-points-defn_front.svg Edited: Mon 30 Oct 2023

Galois-automorphism-defn_back.svg Edited: Tue 21 Nov 2023

Galois-automorphism-defn_front.svg Edited: Tue 21 Nov 2023

Galois-bracket-extension-defn_back.svg Edited: Thu 19 Oct 2023

Galois-bracket-extension-defn_front.svg Edited: Thu 19 Oct 2023

Galois-characteristic-defn_back.svg Edited: Thu 19 Oct 2023

Galois-characteristic-defn_front.svg Edited: Thu 19 Oct 2023

Galois-classification-of-finite-galois-extensions-thm_back.svg Edited: Tue 31 Oct 2023

Galois-classification-of-finite-galois-extensions-thm_front.svg Edited: Tue 31 Oct 2023

Galois-compass-construction-is-constructible-field_back.svg Edited: Thu 19 Oct 2023

Galois-compass-construction-is-constructible-field_front.svg Edited: Thu 19 Oct 2023

Galois-composite-subfield-defn_back.svg Edited: Fri 03 Nov 2023

Galois-composite-subfield-defn_front.svg Edited: Fri 03 Nov 2023

Galois-composite-subfield-galois-thm_back.svg Edited: Tue 21 Nov 2023

Galois-composite-subfield-galois-thm_front.svg Edited: Tue 21 Nov 2023

Galois-constructible-field-defn_back.svg Edited: Thu 19 Oct 2023

Galois-constructible-field-defn_front.svg Edited: Thu 19 Oct 2023

Galois-cubic-disc-formula_back.svg Edited: Thu 09 Nov 2023

Galois-cubic-disc-formula_front.svg Edited: Thu 09 Nov 2023

Galois-cyclic-multiplicative-group-proposition_back.svg Edited: Tue 24 Oct 2023

Galois-cyclic-multiplicative-group-proposition_front.svg Edited: Tue 24 Oct 2023

Galois-cyclotoic-ex-hom-thm_back.svg Edited: Thu 16 Nov 2023

Galois-cyclotoic-ex-hom-thm_front.svg Edited: Thu 16 Nov 2023

Galois-cyclotomic-irred-over-Q_back.svg Edited: Thu 16 Nov 2023

Galois-cyclotomic-irred-over-Q_front.svg Edited: Thu 16 Nov 2023

Galois-cyclotomic-poly-defn_back.svg Edited: Thu 16 Nov 2023

Galois-cyclotomic-poly-defn_front.svg Edited: Thu 16 Nov 2023

Galois-elementary-symmetric-functions-defn_back.svg Edited: Sat 21 Oct 2023

Galois-elementary-symmetric-functions-defn_front.svg Edited: Sat 21 Oct 2023

Galois-existence-of-splitting-fields_back.svg Edited: Thu 19 Oct 2023

Galois-existence-of-splitting-fields_front.svg Edited: Thu 19 Oct 2023

Galois-extension-degree-defn_back.svg Edited: Thu 19 Oct 2023

Galois-extension-degree-defn_front.svg Edited: Thu 19 Oct 2023

Galois-f-adj-roots-of-gal-conjs-is-gal_back.svg Edited: Tue 21 Nov 2023

Galois-f-adj-roots-of-gal-conjs-is-gal_front.svg Edited: Tue 21 Nov 2023

Galois-f-irred-iff-gal-transitive_back.svg Edited: Thu 16 Nov 2023

Galois-f-irred-iff-gal-transitive_front.svg Edited: Thu 16 Nov 2023

Galois-f-soluble-if-gal-soluble_back.svg Edited: Tue 21 Nov 2023

Galois-f-soluble-if-gal-soluble_front.svg Edited: Tue 21 Nov 2023

Galois-field-defn_back.svg Edited: Thu 19 Oct 2023

Galois-field-defn_front.svg Edited: Thu 19 Oct 2023

Galois-field-extension-defn_back.svg Edited: Fri 20 Oct 2023

Galois-field-extension-defn_front.svg Edited: Fri 20 Oct 2023

Galois-finite-automorphisms-bound_back.svg Edited: Mon 30 Oct 2023

Galois-finite-automorphisms-bound_front.svg Edited: Mon 30 Oct 2023

Galois-finite-field-existence-characterisation-thm_back.svg Edited: Tue 07 Nov 2023

Galois-finite-field-existence-characterisation-thm_front.svg Edited: Tue 07 Nov 2023

Galois-finite-field-sizes-proposition_back.svg Edited: Tue 07 Nov 2023

Galois-finite-field-sizes-proposition_front.svg Edited: Tue 07 Nov 2023

Galois-finite-sep-ex-trace-norm-thm_back.svg Edited: Tue 14 Nov 2023

Galois-finite-sep-ex-trace-norm-thm_front.svg Edited: Tue 14 Nov 2023

Galois-fixed-field-disc-lemma_back.svg Edited: Thu 30 May 2024

Galois-fixed-field-disc-lemma_front.svg Edited: Thu 30 May 2024

Galois-formal-deriv-defn_back.svg Edited: Tue 24 Oct 2023

Galois-formal-deriv-defn_front.svg Edited: Tue 24 Oct 2023

Galois-ft-of-galois-theory_back.svg Edited: Tue 31 Oct 2023

Galois-ft-of-galois-theory_front.svg Edited: Tue 31 Oct 2023

Galois-galois-closure-existence-thm_back.svg Edited: Fri 03 Nov 2023

Galois-galois-closure-existence-thm_front.svg Edited: Fri 03 Nov 2023

Galois-galois-extension-defn_back.svg Edited: Mon 30 Oct 2023

Galois-galois-extension-defn_front.svg Edited: Mon 30 Oct 2023

Galois-galois-group-defn_back.svg Edited: Thu 09 Nov 2023

Galois-galois-group-defn_front.svg Edited: Thu 09 Nov 2023

Galois-gauss-n-gon-ruler-compass-thm_back.svg Edited: Sat 18 Nov 2023

Galois-gauss-n-gon-ruler-compass-thm_front.svg Edited: Sat 18 Nov 2023

Galois-gcd-same-in-extension-lemma_back.svg Edited: Mon 30 Oct 2023

Galois-gcd-same-in-extension-lemma_front.svg Edited: Mon 30 Oct 2023

Galois-irred-factor-of-symm-prod-lemma_back.svg Edited: Tue 14 Nov 2023

Galois-irred-factor-of-symm-prod-lemma_front.svg Edited: Tue 14 Nov 2023

Galois-irred-implies-separable_back.svg Edited: Thu 26 Oct 2023

Galois-irred-implies-separable_front.svg Edited: Thu 26 Oct 2023

Galois-kembedding-into-alg-closure_back.svg Edited: Wed 13 Dec 2023

Galois-kembedding-into-alg-closure_front.svg Edited: Wed 13 Dec 2023

Galois-kummer-extension-defn_back.svg Edited: Sat 18 Nov 2023

Galois-kummer-extension-defn_front.svg Edited: Sat 18 Nov 2023

Galois-kummer-gal-is-cyclic_back.svg Edited: Tue 21 Nov 2023

Galois-kummer-gal-is-cyclic_front.svg Edited: Tue 21 Nov 2023

Galois-lexicographic-ordering-defn_back.svg Edited: Sat 21 Oct 2023

Galois-lexicographic-ordering-defn_front.svg Edited: Sat 21 Oct 2023

Galois-min-poly-norm-trace-lemma_back.svg Edited: Thu 25 Jan 2024

Galois-min-poly-norm-trace-lemma_front.svg Edited: Thu 25 Jan 2024

Galois-mult-n-notation_back.svg Edited: Sat 18 Nov 2023

Galois-mult-n-notation_front.svg Edited: Sat 18 Nov 2023

Galois-normal-extension-defn_back.svg Edited: Sat 21 Oct 2023

Galois-normal-extension-defn_front.svg Edited: Sat 21 Oct 2023

Galois-order-of-Fp-cyclotomic_back.svg Edited: Thu 16 Nov 2023

Galois-order-of-Fp-cyclotomic_front.svg Edited: Thu 16 Nov 2023

Galois-poly-gal-gp-Sn-or-An-not-sol_back.svg Edited: Tue 21 Nov 2023

Galois-poly-gal-gp-Sn-or-An-not-sol_front.svg Edited: Tue 21 Nov 2023

Galois-poly-irred-factors-galois-group-structure-lemma_back.svg Edited: Tue 14 Nov 2023

Galois-poly-irred-factors-galois-group-structure-lemma_front.svg Edited: Tue 14 Nov 2023

Galois-polynomial-has-at-most-deg-roots-lemma_back.svg Edited: Thu 19 Oct 2023

Galois-polynomial-has-at-most-deg-roots-lemma_front.svg Edited: Thu 19 Oct 2023

Galois-primitive-el-thm_back.svg Edited: Tue 24 Oct 2023

Galois-primitive-el-thm_front.svg Edited: Tue 24 Oct 2023

Galois-proof-of-f-sol-iff-gal-sol_back.svg Edited: Tue 21 Nov 2023

Galois-proof-of-f-sol-iff-gal-sol_front.svg Edited: Tue 21 Nov 2023

Galois-reduction-mod-p-factors-lemma_back.svg Edited: Tue 14 Nov 2023

Galois-reduction-mod-p-factors-lemma_front.svg Edited: Tue 14 Nov 2023

Galois-reduction-mod-p-thm_back.svg Edited: Thu 23 Nov 2023

Galois-reduction-mod-p-thm_front.svg Edited: Thu 23 Nov 2023

Galois-ruler-compass-construction_back.svg Edited: Thu 19 Oct 2023

Galois-ruler-compass-construction_front.svg Edited: Thu 19 Oct 2023

Galois-separable-ex-el-defn_back.svg Edited: Tue 24 Oct 2023

Galois-separable-ex-el-defn_front.svg Edited: Tue 24 Oct 2023

Galois-separable-iff-lemma_back.svg Edited: Thu 30 May 2024

Galois-separable-iff-lemma_front.svg Edited: Thu 30 May 2024

Galois-separable-poly-defn_back.svg Edited: Tue 24 Oct 2023

Galois-separable-poly-defn_front.svg Edited: Tue 24 Oct 2023

Galois-sigma-embedding_back.svg Edited: Thu 26 Oct 2023

Galois-sigma-embedding_front.svg Edited: Thu 26 Oct 2023

Galois-simple-extension-automorphisms-bound_back.svg Edited: Thu 19 Oct 2023

Galois-simple-extension-automorphisms-bound_front.svg Edited: Thu 19 Oct 2023

Galois-simple-extension-defn_back.svg Edited: Thu 19 Oct 2023

Galois-simple-extension-defn_front.svg Edited: Thu 19 Oct 2023

Galois-simple-root-if-fd-lemma_back.svg Edited: Tue 07 Nov 2023

Galois-simple-root-if-fd-lemma_front.svg Edited: Tue 07 Nov 2023

Galois-soluble-by-radicals_back.svg Edited: Tue 21 Nov 2023

Galois-soluble-by-radicals_front.svg Edited: Tue 21 Nov 2023

Galois-soluble-group_back.svg Edited: Tue 21 Nov 2023

Galois-soluble-group_front.svg Edited: Tue 21 Nov 2023

Galois-splitting-field-defn_back.svg Edited: Thu 19 Oct 2023

Galois-splitting-field-defn_front.svg Edited: Thu 19 Oct 2023

Galois-splitting-fields-are-normal-thm_back.svg Edited: Tue 24 Oct 2023

Galois-splitting-fields-are-normal-thm_front.svg Edited: Tue 24 Oct 2023

Galois-symm-func-thm-proof_back.svg Edited: Sat 21 Oct 2023

Galois-symm-func-thm-proof_front.svg Edited: Sat 21 Oct 2023

Galois-symm-func-thm_back.svg Edited: Sat 21 Oct 2023

Galois-symm-func-thm_front.svg Edited: Sat 21 Oct 2023

Galois-symmetric-polynomial-defn_back.svg Edited: Sat 21 Oct 2023

Galois-symmetric-polynomial-defn_front.svg Edited: Sat 21 Oct 2023

Galois-thm-75_back.svg Edited: Sat 04 Nov 2023

Galois-thm-75_front.svg Edited: Sat 04 Nov 2023

Galois-tower-law-thm_back.svg Edited: Thu 19 Oct 2023

Galois-tower-law-thm_front.svg Edited: Thu 19 Oct 2023

Galois-trace-and-norm-defn_back.svg Edited: Sat 04 Nov 2023

Galois-trace-and-norm-defn_front.svg Edited: Sat 04 Nov 2023

Galois-trace-norm-properties-lemma_back.svg Edited: Thu 30 May 2024

Galois-trace-norm-properties-lemma_front.svg Edited: Thu 30 May 2024

Galois-transcendental-defn_back.svg Edited: Thu 19 Oct 2023

Galois-transcendental-defn_front.svg Edited: Thu 19 Oct 2023

Galois-transitivity-of-trace-and-norm-thm_back.svg Edited: Sun 21 Jan 2024

Galois-transitivity-of-trace-and-norm-thm_front.svg Edited: Sun 21 Jan 2024

Galois-triple-field-ex-trace-norm-calculation-lemma_back.svg Edited: Sun 21 Jan 2024

Galois-triple-field-ex-trace-norm-calculation-lemma_front.svg Edited: Sun 21 Jan 2024

Galois-uniqueness-of-alg-closure_back.svg Edited: Wed 13 Dec 2023

Galois-uniqueness-of-alg-closure_front.svg Edited: Wed 13 Dec 2023

Galois-uniqueness-of-splitting-fields_back.svg Edited: Sat 21 Oct 2023

Galois-uniqueness-of-splitting-fields_front.svg Edited: Sat 21 Oct 2023