결합 법칙

집합 S 위에 정의된 이항 연산 *이 결합법칙을 만족한다는 것은, S의 임의의 세 원소 x, y, z에 대해 다음 등식이 항상 성립함을 의미한다.

(x * y) * z = x * (y * z)

이 정의는 연산이 세 번 적용되는 경우를 다루지만, 수학적 귀납법을 통해 임의의 유한한 횟수로 연산이 반복되는 경우로 자연스럽게 확장된다. 즉, 결합법칙이 성립하는 연산에 대해서는 유한한 개수의 피연산자에 대한 연산을 수행할 때, 괄호를 어떻게 배치하더라도 그 결과가 동일하다. 이 성질은 연산의 순서를 지정하는 괄호를 생략하고 x * y * z와 같이 표기하는 것을 가능하게 한다.

보다 일반적으로, n개의 원소 a₁, a₂, ..., aₙ에 대한 연산 결과는 어떤 순서로 부분 연산을 수행하든 동일한 값을 가진다. 예를 들어, 네 개의 원소에 대해 다음 다섯 가지 계산 방법은 모두 동일한 결과를 낳는다.

((a₁ * a₂) * a₃) * a₄

(a₁ * (a₂ * a₃)) * a₄

(a₁ * a₂) * (a₃ * a₄)

a₁ * ((a₂ * a₃) * a₄)

a₁ * (a₂ * (a₃ * a₄))

이러한 일반화는 반군과 같은 대수 구조를 정의하는 핵심적인 공리로 작용한다. 결합법칙은 연산의 평가 순서에 대한 제약을 제거함으로써 대수적 표현을 더욱 간결하고 다루기 쉽게 만든다.

집합 S 위에 정의된 이항 연산 ∗이 결합법칙을 만족한다는 것은, 논리 기호를 사용하여 다음과 같이 정확히 표현할 수 있다.

∀ x, y, z ∈ S, ( (x ∗ y) ∗ z = x ∗ (y ∗ z) )

여기서 ∀는 '모든'을 의미하는 전칭 기호이다. 이 표현은 S의 임의의 세 원소 x, y, z에 대해, 연산을 왼쪽에서부터 묶어 계산한 결과((x ∗ y) ∗ z)와 오른쪽에서부터 묶어 계산한 결과(x ∗ (y ∗ z))가 항상 같음을 의미한다.

이 정의는 연산이 세 번 이상 반복될 때로 자연스럽게 확장된다. 결합법칙이 성립하면, 유한한 n개의 원소 a₁, a₂, ..., aₙ에 대한 연산 a₁ ∗ a₂ ∗ ... ∗ aₙ의 값은 괄호를 어떻게 배치하더라도 동일하게 결정된다[2]. 따라서 논리식으로는 임의의 유효한 괄호 배치 P₁, P₂에 대해 그 계산 결과가 같다고 표현할 수 있다. 이 성질 덕분에 복잡한 수식에서 괄호를 생략하고 a₁ ∗ a₂ ∗ ... ∗ aₙ과 같이 간결하게 표기하는 것이 가능해진다.

자연수, 정수, 유리수, 실수, 복소수의 덧셈과 곱셈은 결합법칙을 만족하는 대표적인 연산이다. 예를 들어, 임의의 실수 a, b, c에 대해 (a + b) + c = a + (b + c)와 (a × b) × c = a × (b × c)가 항상 성립한다.

행렬의 곱셈도 결합법칙을 만족한다. 같은 크기의 정사각행렬 A, B, C에 대해 (AB)C = A(BC)가 성립한다. 이 성질은 선형 변환의 합성이 결합법칙을 따르는 것과 밀접한 관련이 있다[5].

집합론에서 합집합과 교집합 연산도 각각 결합법칙을 따른다. 임의의 집합 A, B, C에 대해 (A ∪ B) ∪ C = A ∪ (B ∪ C)와 (A ∩ B) ∩ C = A ∩ (B ∩ C)가 성립한다. 논리학에서 논리합(OR), 논리곱(AND), 배타적 논리합(XOR)과 같은 진릿값 연산도 결합법칙을 만족한다.

함수의 합성 연산도 결합법칙을 만족한다. 세 함수 f, g, h가 합성이 가능할 때, (f ∘ g) ∘ h = f ∘ (g ∘ h)가 성립한다. 이는 연산의 순서를 묶는 방식에 관계없이 결과가 동일함을 의미한다.

실수의 뺄셈은 결합법칙이 성립하지 않는 대표적인 예이다. 예를 들어, (8 - 7) - 3의 값은 -2이지만, 8 - (7 - 3)의 값은 4이다. 두 결과가 다르므로, 뺄셈 연산은 결합법칙을 따르지 않는다.

실수의 나눗셈 역시 결합법칙을 만족하지 않는다. (8 ÷ 7) ÷ 3의 값은 약 0.381이지만, 8 ÷ (7 ÷ 3)의 값은 약 3.429이다. 이처럼 연산 순서에 따라 결과가 달라진다.

벡터의 벡터곱(외적)도 결합법칙이 성립하지 않는 연산이다. 일반적으로 세 벡터 a, b, c에 대해 (a × b) × c는 a × (b × c)와 같지 않다. 이 성질은 팔원수의 곱셈에서도 나타난다. 팔원수의 덧셈은 결합법칙을 따르지만, 곱셈은 결합법칙을 만족하지 않는다[6].

반군(semigroup)은 집합과 그 위에 정의된 하나의 이항 연산으로 이루어진 대수 구조이다. 이 연산이 결합 법칙을 만족한다는 것이 반군의 핵심 정의 조건이다. 즉, 임의의 세 원소 a, b, c에 대해 (a * b) * c = a * (b * c)가 성립해야 한다. 결합 법칙은 연산을 반복 적용할 때 괄호를 어떻게 치든 결과가 같음을 보장하므로, 유한한 수의 원소에 대한 연산을 괄호 없이 a * b * c * ... 와 같이 쓸 수 있다.

모노이드(monoid)는 반군에 항등원(identity element)의 존재 조건이 추가된 구조이다. 항등원 e는 집합의 모든 원소 a에 대해 e * a = a * e = a를 만족하는 특별한 원소이다. 모든 모노이드는 결합 법칙을 만족하는 반군이지만, 그 역은 성립하지 않는다. 항등원이 존재하지 않는 반군은 모노이드가 아니다.

이러한 구조는 추상대수학의 기본적인 출발점이 된다. 군(group)은 모노이드에 모든 원소가 역원(inverse element)을 가진다는 조건을 더한 구조이며, 따라서 모든 군은 모노이드이고, 모든 모노이드는 반군이다.

반군과 모노이드는 결합법칙을 만족하는 이항 연산을 기본 연산으로 갖는 대수 구조이다. 군은 모노이드의 특수한 경우로, 모든 원소에 대해 역원이 존재하는 구조이다. 군의 정의에서 연산의 결합법칙은 필수적인 공리로 포함된다.

환은 두 개의 이항 연산(덧셈과 곱셈)을 갖는 대수 구조이다. 환에서 덧셈은 항상 결합법칙을 만족하며, 가환 아벨 군을 이룬다. 곱셈도 결합법칙을 만족해야 하지만, 교환법칙은 필수가 아니다. 예를 들어, 행렬의 집합은 덧셈과 곱셈에 대해 환을 이루며, 행렬 곱셈은 결합법칙은 성립하지만 교환법칙은 일반적으로 성립하지 않는다.

체는 환의 특수한 형태로, 0을 제외한 모든 원소가 곱셈에 대한 역원을 갖는 구조이다. 따라서 체의 덧셈과 곱셈 연산은 모두 결합법칙을 만족한다. 유리수, 실수, 복소수의 집합은 체의 대표적인 예이다. 다음 표는 이 대수 구조들이 결합법칙을 요구하는 방식을 정리한 것이다.

이러한 대수 구조에서 결합법칙은 연산의 순서를 자유롭게 묶을 수 있게 하여, 복잡한 수식의 계산과 이론 전개를 훨씬 단순화하는 기초가 된다.

결합법칙이 성립하는 연산에서는 연산의 순서를 자유롭게 변경할 수 있다. 이는 괄호를 어디에 두든 최종 결과가 동일하다는 것을 의미한다. 예를 들어, 실수의 덧셈에서 (a + b) + c와 a + (b + c)는 항상 같은 값을 낳는다. 이러한 성질 덕분에 세 개 이상의 피연산자가 연속될 때, 연산을 수행하는 순서를 고민하지 않고도 모호함 없이 값을 계산할 수 있다.

이러한 자유도는 수학적 표기와 추론을 크게 단순화한다. 연산이 결합법칙을 만족하면, 긴 수식에서 불필요한 괄호를 생략하고 a + b + c 또는 x * y * z와 같이 간결하게 표기할 수 있다. 이는 반군이나 모노이드와 같은 대수 구조를 다룰 때 특히 유용하다. 연산 순서가 결과에 영향을 미치지 않으므로, 복잡한 수식의 구조에 집중하는 것이 가능해진다.

그러나 모든 연산이 이 성질을 가지는 것은 아니다. 뺄셈이나 나눗셈처럼 결합법칙이 성립하지 않는 연산에서는 연산 순서를 반드시 명시해야 한다. 따라서 결합법칙은 주어진 연산이 갖는 중요한 구조적 특성 중 하나로, 해당 연산을 사용한 계산과 추론의 방식을 규정한다.

결합법칙이 성립하는 연산에서는 연산 순서를 나타내는 괄호를 생략해도 모호함이 발생하지 않는다. 예를 들어, 실수의 덧셈은 결합법칙을 만족하므로 (a + b) + c와 a + (b + c)는 항상 같다. 따라서 이 둘을 구분 없이 a + b + c로 간단히 표기할 수 있다.

이 원리는 연산이 세 번 이상 반복될 때도 확장되어 적용된다. 행렬 곱셈이나 함수 합성과 같이 결합법칙을 만족하는 모든 연산에 대해, 유한한 횟수의 연산을 수행하는 수식에서 괄호를 완전히 생략하고 x₁ * x₂ * ... * xₙ과 같이 써도 그 값이 유일하게 결정된다[8].

이러한 표기법의 간소화는 수학적 표현을 훨씬 간결하고 읽기 쉽게 만든다. 복잡한 다항식이나 긴 연산 체인을 기술할 때 괄호의 부담이 줄어들며, 이는 대수학 전반에서 공통적으로 사용되는 관례의 기초가 된다.

교환법칙은 이항연산이 가질 수 있는 또 다른 기본적인 성질이다. 한 집합 S 위에 정의된 이항연산 *이 모든 원소 a, b ∈ S에 대해 a * b = b * a를 만족할 때, 그 연산은 교환법칙을 만족한다고 한다. 즉, 연산의 두 피연산자의 순서를 바꾸어도 연산 결과가 동일하다.

많은 익숙한 연산들이 교환법칙을 따른다. 실수와 복소수의 덧셈과 곱셈, 집합의 합집합과 교집합, 진릿값의 논리합과 논리곱 등이 대표적인 예시이다. 그러나 모든 연산이 교환법칙을 따르는 것은 아니다. 예를 들어, 실수의 뺄셈과 나눗셈, 행렬 곱셈, 벡터의 외적, 그리고 일반적인 함수 합성은 교환법칙을 만족하지 않는다.

결합법칙과 교환법칙은 서로 독립적인 성질이다. 어떤 연산은 둘 다 만족할 수 있고(예: 실수의 덧셈), 결합법칙만 만족할 수 있으며(예: 행렬 곱셈), 교환법칙만 만족할 수도 있고(드문 경우), 둘 다 만족하지 않을 수도 있다(예: 실수의 뺄셈). 이 두 법칙은 대수 구조를 정의하는 데 핵심적인 역할을 한다.

분배법칙은 두 개의 이항 연산이 서로 어떤 관계를 가지는지를 나타내는 기본적인 법칙이다. 하나의 집합 위에 정의된 두 연산 +(덧셈)와 ·(곱셈)에 대해, · 연산이 + 연산에 대해 분배법칙을 만족한다는 것은 임의의 원소 a, b, c에 대해 다음 두 식이 성립함을 의미한다.

• 좌분배법칙: a · (b + c) = (a · b) + (a · c)

• 우분배법칙: (b + c) · a = (b · a) + (c · a)

만약 두 연산이 교환법칙을 만족한다면, 좌분배법칙과 우분배법칙은 동치가 된다. 가장 친숙한 예는 실수 집합에서의 덧셈과 곱셈이다. 예를 들어, 3 × (4 + 5) = (3 × 4) + (3 × 5)가 성립한다.

분배법칙은 다양한 대수 구조의 핵심 정의 요소로 작용한다. 예를 들어, 환(ring)은 덧셈에 대해 아벨 군을 이루고, 곱셈에 대해 반군을 이루며, 곱셈이 덧셈에 대해 분배법칙을 만족하는 대수 구조이다. 체(field)나 가환환과 같은 더 특수한 구조들도 분배법칙을 기본 전제로 한다.

분배법칙은 수식의 전개와 인수분해를 가능하게 하여 대수적 조작의 근간을 이룬다. 이 법칙이 없었다면 다항식의 곱셈이나 방정식 풀이와 같은 기본적인 대수 연산도 훨씬 복잡해졌을 것이다.