군들의 자동형성의 성질