← all areas

Namespace Subfield 2 theorems

• Degree of composita: [C ι'(E'):C ι(E)]≤[E':E] Subfield.relfinrank_closure_le_finrank_of_comp 0 below · cited by 2 · depth 22
• Finiteness of the integral closure one field up Subfield.exists_finset_subset_forall_eq_sum_mul_of_isIntegral_of_span 0 below · cited by 1 · depth 23