群論への第一歩集合、写像から準同型定理まで