こういうときはフツー存在してナンボだから、簡単な剰余系を例に挙げるべきでは?