← all areas

Namespace AffineDilatation 9 theorems

• Affine dilatations commute with localisation AffineDilatation.exists_algHom_isLocalization_map 3 below · cited by 2 · depth 31
• Dilatation of a quotient: surjectivity and π-saturated kernel AffineDilatation.exists_algHom_surjective_ker_iff_of_surjective 0 below · cited by 1 · depth 31
• Differentials of an affine dilatation along a coordinate centre AffineDilatation.exists_basis_kaehlerDifferential_of_smooth_of_basis 7 below · cited by 1 · depth 31
• In the dilatation A[I/a], a is regular and I becomes principal AffineDilatation.isSMulRegular_and_map_eq_span_singleton 0 below · cited by 3 · depth 31
• Universal property of the affine dilatation A[I/a] AffineDilatation.nonempty_algHom_and_subsingleton_of_isSMulRegular 0 below · cited by 4 · depth 31
• Affine dilatation of a finitely generated ideal is of finite type AffineDilatation.finiteType_of_fg 0 below · cited by 1 · depth 32
• Elements of the dilatation A[I/a] are the fractions g/aⁿ, g∈ Iⁿ AffineDilatation.mem_subalgebra_iff_exists_mem_pow 0 below · cited by 1 · depth 32
• Dilatation of a polynomial ring along (π, Zⱼ) is polynomial AffineDilatation.nonempty_algEquiv_mvPolynomial_sum 0 below · cited by 1 · depth 32
• Flat base change for affine dilatations AffineDilatation.nonempty_algEquiv_tensorProduct_of_flat_of_map_eq 2 below · cited by 1 · depth 32