상호 몫 리 군 대수의 구조와 구조적 성질