← all areas

Namespace IsAlgClosed 6 theorems

• Existence of a K-rational place of K' over algebraically closed K IsAlgClosed.exists_valuationSubring_ringHom_retraction 1 below · cited by 1 · depth 11
• Translating a transcendental element by an automorphism IsAlgClosed.exists_algEquiv_apply_eq_add_algebraMap_of_transcendental 0 below · cited by 1 · depth 14
• Existence of K-rational places with prescribed units IsAlgClosed.exists_valuationSubring_ringHom_retraction_forall_valuation_eq_one 1 below · cited by 3 · depth 14
• Units in an algebraically closed field are n-th powers IsAlgClosed.exists_units_pow_eq 0 below · cited by 2 · depth 15
• Elements outside F are moved by some F-automorphism of E IsAlgClosed.exists_algEquiv_apply_ne_of_notMem_range 0 below · cited by 4 · depth 17
• Compatible system of primitive ℓⁿ-th roots of unity IsAlgClosed.exists_isPrimitiveRoot_pow_and_pow_succ_eq 0 below · cited by 2 · depth 37