Adjoining a universal inner inverse to a ring element

George M. Bergman

Let $R$ be an associative unital algebra over a field $k,$ let $p$ be an element of $R,$ and let $R^{\prime }=R⟨q\mid pqp=p⟩.$ We obtain normal forms for elements of $R^{\prime },$ and…