Supongamos que $R$ es un anillo sin divisores cero y con identidad $1_R$ no es igual a $0_R$ . Supongamos que $a,b$ están en $R$ y que $ab$ es una unidad. Demostrar que $b$ es una unidad.
Mis pensamientos: Sé que una unidad es básicamente una unidad que (para este ejemplo) significaría $abu = 1_R$ para un número de veces que no es cero $u$ sur $R$ . Estoy realmente atascado después de eso. No veo un camino claro para manipular las variables para demostrar que b es una unidad por sí misma.