대수 구조에서의 모듈러 산술 적용