Dejar ser un anillo arbitrario. Ahora, asumimos que no sabemos si tiene la identidad multiplicativa o no.
Yo sé eso no tiene divisores de cero si y solo si se cumple la ley de cancelación. Entonces, supongamos no tiene divisores de cero. Considere para un elemento distinto de cero , para algunos . Ahora, quiero solicitar la ley de cancelación , pero, si es así, tenemos , dónde es la identidad multiplicativa de .
Creo que es falso porque no sabemos si el anillo tiene la unidad.
Por lo tanto, me pregunto cuándo se aplica la ley de cancelación.
Si y no tiene divisores de cero, entonces para cualquier
actualización mantiene también desde .
De no puedes concluir que porque la ley de cancelación dice implica . Entonces, para usar la ley de cancelación en , tu tienes que escribir como producto .
La ley de cancelación se cumple además de un anillo, pero en la ley de cancelación de multiplicación se cumple si y solo si existe el inverso multiplicativo de ese elemento que desea cancelar de ambos lados
marca bennet