Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $R$ be a Noetherian domain (not-necessarily commutative), and let $S$ be a Noetherian subring of $R$. An element $r\in R$ is left $S$-irreducible if, for any $s\in S$ and $r' \in R$ with $sr'=r$, then $s$ is a unit in $S$. These are elements in $R$ which have no non-trivial factors in $S$ on the left.

My question is, when can every element $r\in R$ be uniquely factored as $r=sr_0$ with $s\in S$ and $r_0\in R$ left $S$-irreducible (where uniqueness means up to a unit in $S$). That is, when can every element $r$ have its left $S$-factors pulled out in an essentially unique way?

I am looking for conditions on $R$ and $S$ that imply this. If $R$ contains inverses of non-units in $S$, then these factorizations don't exist, even for $1$. If $R$ is a UFD and non-units in $S$ are non-units in $R$, then these factorizations always exist. If $S$ is a PID, and non-units in $S$ are non-units in $R$, then these factorizations always exist.

This came up while playing with the $n$th Weyl algebra $k[x_1,...x_n,d_1,...d_n]$ and its maximal commutative subalgebra $k[x_1,...x_n]$. This pair has the property in question, but it seems like it should be a consequence of a more general phenomenon.

share|improve this question
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.