Estoy tratando de averiguar por qué un elemento $u$ en algunas anillo es invertible con inverse $z$ si sólo si
- $uzu=u$ $zu^2z=1$
O
- $uzu=u$ $z$ es el único elemento de la reunión de esta condición.
Claramente, tanto en condiciones de seguir si $u$ es una unidad con inverse $z$. Sin embargo, no veo por qué cualquiera de estas condiciones implica que $z=u^{-1}$.
No he sido capaz de hacer cualquier decente progreso en el mío propio, así que ¿alguien tiene consejos o sugerencias sobre dónde ir? Gracias.
Edit: De Qiaochu la sugerencia, $zu$ $uz$ son idempotente. Por lo $(zu)^2=zu$. Pero $zu$ tiene derecho inverso $uz$, lo $(zu)^2(uz)=(zu)(uz)\implies zu=1$. El análogo argumento para $uz$ muestra $uz=1$, lo $z=u^{-1}$.
¿Alguien tiene una idea para la segunda?