The algebra of one-sided inverses of a polynomial algebra

We study in detail the %Shrek algebra ${\text{mS}}_n$ in the title which is an algebra obtained from a polynomial algebra $P_n$ in $n$ variables by adding commuting, {\em left} (but not two-sided) inverses of the canonical generators of $P_n$. The algebra ${\text{mS}}_n$ is non-commutative and neither left nor right Noetherian but the set of its ideals satisfies the a.c.c., and the ideals {\em commute}. It is proved that the classical Krull dimension of ${\text{mS}}_n$ is $2n$; but the weak and the global dimensions of ${\text{mS}}_n$ are $n$. The prime and maximal spectra of ${\text{mS}}_n$ are found, and the simple ${\text{mS}}_n$-modules are classified. It is proved that the algebra ${\text{mS}}_n$ is central, prime, and {\em catenary}. The set ${\text{mI}}_n$ of idempotent ideals of ${\text{mS}}_n$ is found explicitly. The set ${\text{mI}}_n$ is a finite distributive lattice and the number of elements in the set ${\text{mI}}_n$ is equal to the {\em Dedekind} number ${\text{gd}}_n$.