On groups and initial segments in nonstandard models of Peano Arithmetic