The imbedding of a ring as an ideal in another ring