On a generalization of a Prüfer-Kaplansky-Procházka theorem
Let be a free module over a noetherian ring. For , let be the ideal generated by coefficients of . For an element with , if , there exists such that .This is a generalization of a lemma on the division of forms due to de Rham (Comment. Math. Helv., 28 (1954)) and has some applications to the study of singularities.
In this paper, we will present several necessary and sufficient conditions on a commutative ring such that the algebraic and geometric local cohomologies are equivalent.
Motivated by the paper by H. Herrlich, E. Tachtsis (2017) we investigate in ZFC the following compactness question: for which uncountable cardinals , an arbitrary nonempty system of homogeneous -linear equations is nontrivially solvable in provided that each of its subsystems of cardinality less than is nontrivially solvable in ?