子群

用整数、非零实数与置换理解群公理，证明子群判别法，并分清有限情形与一般情形。