Definition 15.61.1. Let $R$ be a ring. Let $A$, $B$ be $R$-algebras. We say $A$ and $B$ are Tor independent over $R$ if $\text{Tor}_ p^ R(A, B) = 0$ for all $p > 0$.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).