as you mentioned we have if and only if

now since we have and hence for all thus, since is a free ring, every

in the RHS of (1) must be equal to some in the LHS of (1). this means has to be a normal subgroup of

conversely, if is a normal subgroup of then and hence (1) holds.