Commutative augmented algebras with two vanishing homology modules (Q1804658): Difference between revisions

The author proves: Let \(A\) be a ring and \(B\) a Noetherian augmented \(A\)- algebra with augmentation ideal \(I\). If \(\text{Tor}^B_i (A,A) = 0 = \text{Tor}^B_j (A,A)\) for some positive even integer \(i\) and some positive odd integer \(j\), then \(I\) is locally generated by a regular sequence.