← all areas

Namespace AlgEquiv 5 theorems

• An involution of an algebraically closed field inverts roots of unity AlgEquiv.apply_eq_inv_of_pow_eq_one 0 below · cited by 2 · depth 9
• Kernel of restriction to a finite normal subextension is open AlgEquiv.isOpen_ker_restrictNormalHom 0 below · cited by 1 · depth 9
• Prime-degree extensions with a non-trivial automorphism are cyclic Galois AlgEquiv.isGalois_and_orderOf_eq_finrank_of_finrank_prime_of_ne_one 0 below · cited by 17 · depth 20
• Extending κ-automorphisms to a separable constant-field extension AlgEquiv.exists_extend_of_forall_isAlgebraic_mem_range_of_adjoin_range_eq_top 0 below · cited by 1 · depth 29
• Determinant of σ - c on a cyclic extension AlgEquiv.algebraMap_det_toLinearMap_sub_smul_id_eq_of_orderOf_eq_finrank 0 below · cited by 4 · depth 35