I have one problem with ideals. Which properties of ideal will cause that the factor ring is comutative or ring with 1?
so is commutative iff contains all additive commutators. for to have 1, there must exist such that for all
or equivalently and you can't put this condition in a more familiar form!