Revision #384 → #1228 · back to history
addedFlat module23d70a98ba48
addedFaithfully flat modulee26de73f1c87
addedFlat module (injectivity definition)8d810497fd95
addedRestriction to finitely generated idealsa6e451df0716
addedEquivalent definition via exact functor79ceb1c1b91a
addedEquational characterization of flatnessa44ea4a65ff5
addedCharacterization via homomorphisms factoring through free modulesa8adf44baf83
addedRelations to free, projective, torsion-free390099559028
addedFinitely generated flat iff locally free159e7f2be29b
addedFlat implies torsion-free91c6d703ccfc
addedConverse over PIDs and Dedekind ringse6290855ed7e
addedPrüfer domainfd914c5f200c
addedCharacterization of projective modules0d83789f4278
addedProjective implies flat19d07d9ce0d8
addedFinitely presented flat is projective7ecace024afd
addedFinitely generated flat is projective over Noetherian ringsd797cbd569f3
addedFinitely generated flat is free over local rings44611c4f13b5
addedFinitely generated flat non-projective modulea82f7b9133ff
addedR/I generally not flat1ead0f8b939c
addedTorsion modules over Z not flat7ad4dcaadfa0
addedDirect sum flatness2244c9256b79
addedDirect limit of flat modules is flatb2a5cf79e46b
addedDirect product flat iff coherent ring8f8cd9447128
addedFlat ring homomorphismb668bb2950cd
addedLocalization is flat287a5ac0910b
addedCompletion is flate562c46d2405
addedFlatness is a local property079e1d4b9bdd
addedFlat morphism of schemes8dbf9beeb5d9
addedFlat extension and primitive polynomial58d70811d76a
addedFaithfully flat algebra808d3ef86e69
addedEquivalent conditions for faithful flatness95a9610be8f2
addedFlat local homomorphism is faithfully flatfff39ec3bad2
addedSubmersive property8a0ffd5a0d32
addedFree implies faithfully flat914af3d4fc8d
addedPolynomial ring is faithfully flat9a37bcf5323f
addedMonic polynomial inclusion is faithfully flat76db14e708b7
addedDirect product of localizations faithfully flat115b033a2f4b
addedDirect sum of localizations at all primes7e54d202579f
addedAmitsur complex exactness6a02c2ff82ee
addedTheorem of transition characterization1f1895d9f302
addedFlatness via vanishing Tor8acef8c471a8
addedVanishing of first Tor sufficesdcb1459b3caf
addedFlatness in short exact sequences9262ba53591f
addedFlat resolutionaa3b6f19ed27
addedFlat dimension83e0db6704f6
addedModule with vanishing Tor is flate50ac4671de9
addedFlat cover836ed770f5c0
addedFlat cover conjecture resolvedcb7adafa855f
addedFree modules are flat constructively602740dc6c87