이성수체에서의 연산 규칙과 성질