In this paper we give a short and simple proof the following theorem of S. Eilenberg and J.C. Moore: the only injective object in the category of groups is the trivial group.
[1] S. Eilenberg and J.C. Moore: “Foundations of relative homological algebra”, Mem. Amer. Math. Soc., Vol. 55, (1965).
[2] G. Higman, B. Newmann and H. Newmann: “Embedding theorem for groups”, J. London Math. Soc., Vol. 24, (1949).
[3] M.S. Voloshina (Nogin): On the holomorph of the discrete group, Thesis (Ph.D.), University of Rochester, 2003, http://arxiv.org/pdf/math.GR/0302120.