환환 이론 메인라인 (이상, 몫 구조, 확장)