Following on from the question Does quotient commute with localization?, I'm interested in doing the same sort of thing but over non-commutative rings. Is there a non-commutative analogue of the exact sequences result used in that question? References (commutative or non-commutative) would be appreciated.
Assume we've replaced the multiplicative set with a denominator set. Do concerns about zero-divisors need to play any part in the proof, or does it all work regardless? (In practice I'm only interested in denominator sets generated by finitely many normal regular elements that remain regular in the quotient, but I'd like to start as general as possible and then specialize later.)