群的本质子群和多余子群