*(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.