Free nearrings

수학이 단순히 종이 위의 숫자가 아니라, 사물들이 어떻게 결합하고, 쌓이고, 상호작용하는지를 지배하는 규칙에 관한 것이라고 상상해 보십시오. 이것이 바로 군(group)과 환(ring) 같은 구조를 연구하는 추상대수학의 영역입니다. "군"을 특정 구성원들의 집합과 그들이 결합하는 방식에 대한 단 하나의 규칙(예: 숫자를 더하는 것)을 가진 클럽이라고 생각해 보십시오. "환"은 덧셈과 곱셈이라는 두 가지 규칙을 가진 더 복잡한 클럽입니다. 하지만 만약 우리가 규칙을 아주 조금만 느슨하게 만든다면 어떨까요? 만약 곱셈이 오른쪽에서 올 때만 잘 작동하고, 왼쪽은 무시한다면 어떨까요? 그것이 바로 기묘하고 약간은 반항적인 "니어링(nearring)"의 세계입니다.

니어링은 환의 야생적인 사촌과 같습니다. 표준적인 환에서는 곱셈이 양쪽 모두에서 덧셈에 대해 완벽하게 분배됩니다($a(b+c) = ab + ac$및$(a+b)c = ac + bc$와 같이). 하지만 니어링에서는 오른쪽에서만 작동하도록 요구합니다:$(a+b)c = ac + bc$. 왼쪽은요? 왼쪽은 마음대로 할 수 있습니다. 이러한 유연성 덕분에 니어링은 컴퓨터 과학이나 기하학처럼 순서와 방향이 중요한 실제 시스템을 모델링하는 데 매우 유용합니다. 하지만 너무나 유연하기 때문에, 밑바닥부터 구축하기가 매우 까다롭기로 유명합니다. 수학자들은 종종 다음과 같은 질문을 던집니다. "내가 백지 상태에서 몇 가지 기본적인 재료를 가지고 시작한다면, 내가 만들 수 있는 가장 일반적이고 규칙을 준수하는 니어링은 무엇인가?" 이것이 바로 "자유 니어링(free nearring)"을 찾는 여정입니다.

스테판 벨드스만(Stefan Veldsman)의 이 논문은 바로 그 질문을 다룹니다. 저자는 단순한 기호의 집합으로부터 "자유 니어링"을 구축하는 상세하고 단계적인 레시피를 제공하며, 기존의 두 니어링을 새로운 결합된 하나로 합치는 방법(이를 "자유 곱(free product)"이라 부름) 또한 제시합니다. 이전의 연구들은 매우 특수하고 성질이 고분한 유형의 니어링(영(zero)이 예쁘게 행동하는 경우)에 대해서만 이 퍼즐을 풀었지만, 벨드스만은 이 구축법이 영이 완벽하게 행동하지 않는 무질서하고 예측 불가능한 니어링에서도 작동함을 증명합니다. 이 논문은 이것이 가능하다는 것을 제안할 뿐만 아니라, 이러한 구조들이 정확히 기술된 대로 구축될 수 있다는 엄밀한 수학적 증명을 제공하여, 이 복잡한 대수 체계를 연구하는 수학자들에게 사용 가능한 도구 상자를 확장합니다.

수학의 레고 세트: 자유 니어링 구축하기

당신이 레고 브릭 한 상자를 가진 마스터 빌더라고 상상해 보십시오. 당신은 가장 유연하고 궁극적인 성을 만들고 싶지만, 매우 구체적인 규칙이 하나 있습니다: 탑의 오른쪽에 새로운 조각을 끼울 때마다 전체 구조는 안정적으로 유지되어야 합니다. 하지만 왼쪽에 조각을 끼우면 탑이 흔들리거나 기울거나 이상한 행동을 할 수도 있습니다. 이것이 니어링의 세계입니다.

이 논문에서 저자인 스테판 벨드스만은 설계자 역할을 합니다. 그는 우리에게 "자유 니어링"을 만드는 방법을 보여주고자 합니다. 수학에서 "자유로운(free)" 구조란 궁극의 빈 캔버스와 같습니다. 그것은 당신이 특정 시작 재료(예: 집합 $X$)를 사용하여 만들 수 있는 가장 기본적이고 꾸밈없는 버전의 수학적 대상입니다. 만약 당신이 니어링을 만들고 싶다면, 먼저 이 "자유로운" 버전을 만드는 법을 알아야 합니다. 왜냐하면 다른 모든 니어링은 단지 그것의 단순화된 복사본이기 때문입니다.

재료: "좌측 영(Left Zero)"을 가진 반군(Semigroup)

니어링을 만들기 전에 우리는 토대를 마련해야 합니다. 벨드스만은 좌측 영을 가진 반군이라는 것으로 시작합니다.

• 반군(Semigroup): 사람들이 공을 전달하는 줄을 상상해 보십시오. 규칙은 간단합니다: 만약 A가 B에게 공을 전달하고, B가 C에게 전달한다면, 이는 A가 직접 C에게 전달하는 것과 같습니다. 그것은 단지 일련의 작용(chain of actions)입니다.
• 좌측 영(Left Zero): 이제, 이 줄에 "영(Zero)"이라고 불리는 특별한 사람이 있다고 상상해 보십시오. 영에 대한 규칙은 엄격합니다: 만약 영이 누구에게든 공을 전달하면, 공은 사라집니다(또는 영으로 남습니다). 하지만 누군가가 영에게 공을 전달하면, 영은 그것을 유지하고 변함없이 다시 돌려줍니다. 이것이 "좌측 영"인 이유는 마법이 상호작용의 왼쪽에서 일어나기 때문입니다.

벨드스만은 이러한 "단어" 또는 기호의 사슬(예: $x_1x_2x_3$)의 특정 집합을 구축하고 이 특별한 영 원소를 추가합니다. 이것이 니어링이 구축될 원재료인 "R"을 형성합니다.

구축 과정: 그룹의 탑

니어링을 만드는 것은 단 한 단계로 끝나지 않습니다. 그것은 마치 마천루를 층별로 쌓아 올리는 것과 같습니다. 저자는 **귀납법(induction)**이라는 방법을 사용하는데, 이는 첫 번째 층을 만들고, 그 층을 사용하여 두 번째 층을 만들고, 이런 식으로 계속해서 쌓아 올리는 것을 의미합니다.

1. 지표층 ($B_0$): 그는 원재료(반군 $R$)를 가져와 **자유 가법 군(free additive group)**으로 바꿉니다. 이것은 당신의 모든 레고 브릭을 가져와서 그것들을 더하거나 빼는 것(마치 "음수" 브릭을 갖는 것처럼)을 허용하는 것이라고 생각하십시오. 이것은 당신이 기본적인 규칙을 따르는 한 어떤 순서로든 요소를 결합할 수 있는 거대하고 유연한 군을 생성합니다.
2. 다음 층들 ($B_1, B_2, \dots$): 여기서 니어링의 마법이 일어납니다. 저자는 새로운 복잡성의 층을 도입합니다. 그는 현재의 층을 가져와 새로운 "형식적 곱(formal products)"(새로운 종류의 브릭을 기존 구조에 붙이는 것이라고 상상하십시오)과 결합합니다.
   • 그는 $D_n$이라고 불리는 새로운 요소들의 집합을 만드는데, 이것들은 본질적으로 기존 요소들에 새로운 "자유" 요소들을 곱한 것입니다.
   • 그런 다음 그는 이전 층을 새로운 요소들과 "자유 곱(free producting)"함으로써 다음 층($B_n$)을 구축합니다. 수학적으로 "자유 곱"이란 두 개의 별개 군을 하나의 지점에서 접착하여 거대하고 가지가 뻗어 나가는 나무를 만드는 것과 같습니다.
   • 그는 이 과정을 무한히 반복합니다. 최종적인 "자유 니어링"은 이 모든 층들의 합집합, 즉 무한한 복잡성을 가진 거대한 구조물입니다.

게임의 규칙: 분배법칙과 결합법칙

탑이 완성되면, 벨드스만은 이것이 실제로 니어링으로서 작동하는지 증명해야 합니다. 그는 두 가지 핵심 규칙을 점검합니다.

• 우측 분배법칙(Right Distributivity): 이것은 니어링의 황금률입니다. 만약 당신이 합 $(a + b)$를 가지고 있고, 그것을 오른쪽에 $c$를 곱한다면, 반드시 $ac + bc$와 같아야 한다는 것입니다. 벨드스만은 그가 (매 단계마다 규칙을 존중하며) 층별로 탑을 쌓았기 때문에 이 규칙이 완벽하게 성립함을 보여줍니다. 구조 자체가 오른쪽에서의 곱셈이 항상 덧셈과 잘 어울리도록 설계되었습니다.
• 결합법칙(Associativity): 이 규칙은 $(ab)c$가$a(bc)$와 같아야 함을 의미합니다. 이것은 연산의 순서를 어떻게 그룹화하느냐가 중요하지 않다는 규칙입니다. 벨드스만은 요소들이 탑의 어느 "층"에 살고 있든 상관없이 곱셈이 일관되게 작동함을 보여줌으로써 이를 증명합니다.

두 니어링의 "자유 곱"

이 논문은 두 번째 과제도 다룹니다: 만약 당신에게 $A$와 $B$라는 두 개의 기존 니어링이 있고, 이들을 원래의 정체성을 잃지 않으면서 하나의 거대한 니어링으로 합치고 싶다면 어떻게 될까요? 이것을 **자유 곱(free product 또는 coproduct)**이라고 합니다.

벨드스만은 유사한 "탑 쌓기" 전략을 사용합니다. 그는 $A$와 $B$의 "곱셈" 부분들을 가져와 새로운 반군 $R$로 병합합니다. 그런 다음 동일한 무한 구축 과정을 실행합니다. 그 결과물은 $A$와 $B$를 각각의 하위 부분으로 포함하는 새로운 니어링입니다. 만약 $A$에 규칙이 있거나 $B$에 규칙이 있다면, 그 규칙은 새로운 거대 구조 안에서도 그대로 유지됩니다. 추가되는 유일한 새로운 규칙은 그들이 하나의 단일한 니어링으로서 함께 작동하는 데 필요한 최소한의 것들뿐입니다.

이것이 왜 중요한가

"누가 이런 추상적인 탑을 만드는 데 관심을 가질까?"라고 의문을 가질 수도 있습니다. 답은 유연성에 있습니다. 니어링은 방향이 중요한 것들, 예를 들어 컴퓨터 과학의 함수나 기하학의 변환 등을 모델링하는 데 사용됩니다. "자유로운" 형태의 정교한 청사진을 가짐으로써, 수학자들은 다음을 수행할 수 있습니다:

1. 이론 검증: 그들은 새로운 수학적 아이디어가 가장 극단적인 조건에서도 견딜 수 있는지 확인하기 위해 "스트레스 테스트"로서 자유 니어링을 사용할 수 있습니다.
2. 복잡성 이해: 이는 니어링이 될 수 있는 근본적인 한계가 무엇인지 이해하는 데 도움을 줍니다.
3. 일반화: 이 논문은 중요한데, 그 이유는 주요한 제한 사항을 제거했기 때문입니다. 이전의 연구들은 오직 "영-대칭(zero-symmetric)" 니어링(즉, $a \times 0 = 0$인 경우)에서만 작동했습니다. 벨드스만은 $a \times 0$이 $0$이 아닌 경우에도 이 구축법이 작동함을 보여줌으로써, 훨씬 더 넓은 범위의 수학적 모델로 가는 문을 열었습니다.

요약하자면, 스테판 벨드스만은 우리에게 니어링 우주의 마스터 키를 건네주었습니다. 그는 단순히 이 구조를 어떻게 만드는지 추측한 것이 아니라, 이러한 구조들이 존재하며, 구축될 수 있고, 우리가 기대하는 규칙을 따른다는 엄밀한 단계적 증명을 제공했습니다. 이것은 마치 브릭이 어떻게 쌓이든 상관없이 어떤 지진에도 견딜 수 있는 레고 성을 만드는 정확한 설명서를 마침내 찾아낸 것과 같습니다.