Section 3. Isomorphic Binary Structures

Binary Algebraic Structure (이항 대수적 구조) - 집합 S에서 정의된 이항 연산 *를 로 나타내도록 정의하고, 이를 binary algebraic structure라 한다. Isomorphism (동형 사상) - , 가 binary algebraic structure일 때, isomorphism of S with S'는 모든 x, y ∈ S에 대해 ф(x * y) = ф(x) *' ф(y) (homomorphism property)를 만족하는 one to one 함수 ф이다. - isomorphism이 존재한다면, S와 S'는 isomorphic(동형) binary structure이고, S ≅ S' 로 표현한다.

이때 *와 *'는 생략한다. Isomorphic은 Equivalence Relation이다. - 모든 binary structure의 집합을 Ω라 두고, S, S' ∈ Ω 이라 둔다.

이때 isomorphism ф...