동형식 연산의 성질과 응용