Skip to main content
11 of 11
deleted 693 characters in body
ABIM
  • 5.4k
  • 3
  • 19
  • 41

Global dimension of a subalgebra with all units

(All rings here are always assumed to be unital and associative).


Setup

Let $R$ be a ring, and $A$ and $B$ be $R$-algebras, with $A$ a commutative subalgebra of $B$ satisfying:

  1. If $u$ is a unit in $B$, then $u$ is in $A$.
  2. If $\mathfrak{F}_A$ and $\mathfrak{F}_B$ are the smallest free algebras admitting canonical projection (R-algebra) morphisms $\pi_A:\mathfrak{F}_A \rightarrow A$ and $\pi_B: \mathfrak{F}_B \rightarrow B$ respectivly; then, $\mathfrak{F}_A$ must be a subalgebra of $\mathfrak{F}_B$.

Question:

Can anything be deduced about the global dimension $D(B)$ of $B$, with respect to $D(A)$?


Hypothesis & Some Test Results:

I'm strongly inclined to believe, that in such a situation $D(R)\geq D(A)$, for example this hold for the Weyl algebra $A_n(k)$ and $k[x_1,..,x_n]$.
For $R[x_1,..,x_n]$ and $Z(R)[x_1,...,x_n]$...

Moreover, any "counter example" where $A$ is a subring of $B$ and $D(A)\not\leq D(B)$ is generated from an example where $A$ does not contain some unit of $B$, for example any $\mathbb{Z}$-algebra as relating to any $\mathbb{R}$-algebra. Or assumes $A$ to be a subalgebra of $B$ with "more relations" which is not possible by the assumptions $1$ and $2$, respectively.

ABIM
  • 5.4k
  • 3
  • 19
  • 41