<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\((R,\mathfrak {m}_R)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>R</mi> <mo>,</mo> <msub> <mi mathvariant="fraktur">m</mi> <mi>R</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be a commutative noetherian local ring. Assuming that <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathfrak {m}_R=I\oplus J\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="fraktur">m</mi> <mi>R</mi> </msub> <mo>=</mo> <mi>I</mi> <mo>⊕</mo> <mi>J</mi> </mrow> </math></EquationSource> </InlineEquation> is a direct sum decomposition, where <i>I</i> and <i>J</i> are non-zero ideals of <i>R</i>, we describe the structure of the Tor algebra of <i>R</i> in terms of the Tor algebras of the rings <i>R</i>/<i>I</i> and <i>R</i>/<i>J</i>.</p>
Tor algebra of local rings with decomposable maximal ideal
Let \((R,\mathfrak {m}_R)\) be a commutative noetherian local ring. Assuming that \(\mathfrak {m}_R=I\oplus J\) is a direct sum decomposition, where I and J are non-zero ideals of R, we describe the structure of the Tor algebra of R in terms of the Tor algebras of the rings R/I and R/J.