Tag Archives: weak dimension

Weak dimension one rings are axiomatizable

Let $R$ be a ring. In the previous post on pure exact sequences, we called an exact sequence $0\to A\to B\to C\to 0$ of left $R$-modules pure if its image under any functor $X\otimes -$ is an exact sequence of abelian groups for any right $R$-module $X$. Here is yet another characterization of purity: Theorem. […]

Flat Modules and Finitely Generated Submodules

Let $R$ be a ring and $M$ and $R$-module. If every finitely generated submodule of $M$ is flat, then so is $M$, because direct limits commute with the $\mathrm{Tor}$-functor. What about the converse? If $M$ is flat, are all its finitely generated submodules flat too? Not necessarily! In fact, here's a roundabout argument without an […]

Gaussian Rings and Flat Dimension

Let $R$ be any commutative ring. The content of a polynomial $f\in R[x]$ is by definition the two-sided ideal in $R$ generated by the coefficients of $f$. If $f,g\in R[x]$, then $c(fg)\subseteq c(f)c(g)$, because each coefficient of $fg$ is a linear combination of elements of $c(f)c(g)$. Sometimes, however, this inclusion is strict. For example, if […]

Weak Dimension At Most One Iff Every Ideal Is Flat

The flat dimension of an $R$-module $M$ is the infimum over lengths of flat resolutions of $M$, and the weak dimension (or $\mathrm{Tor}$-dimension) of $R$ is the supremum over all possible flat dimensions of modules. Let's use $\mathrm{w.dim}(R)$ to denote the weak dimension of $R$. As with the global dimension, the weak dimension of $R$ […]

Local Rings of Weak Dimension Zero are Division

Let $R$ be a ring and $M$ be an $R$-module. The flat dimension of $M$ is the infimum over all lengths of flat resolutions of $M$. Usually, the flat dimension of $M$ is denoted by $\mathrm{fd}_R(M)$. For example, $\mathrm{fd}_{\mathbb{Z}}(\mathbb{Q}) = 0$. Since $\mathbb{Q}$ has projective dimension $1$, the flat dimension and projective dimension of a […]