← all areas

Namespace ValuationRing 3 theorems

• Residue points of finite flat algebras over valuation rings lift ValuationRing.exists_algHom_lift_residue_of_finite_flat 0 below · cited by 3 · depth 12
• Bounded torsion of finite modules over a valuation ring ValuationRing.exists_ne_zero_forall_smul_eq_zero_of_module_finite 0 below · cited by 2 · depth 13
• Tame action on a rank-one F_q-vector space scheme, e=1 ValuationRing.exists_algHom_apply_eq_pow_digitSum_mul_of_forall_pow_eq_mul 0 below · cited by 1 · depth 19