모듈러 산술의 동형 이론 기초와 응용