[논문 리뷰] Doing Algebra over an Associative Algebra

Nathan BeDell|arXiv (Cornell University)|2017. 08. 03.

Advanced Topics in Algebra참고 문헌 5인용 수 3

한 줄 요약

이 논문은 실수 ℝ 위의 유한차원 단위항등원을 가진 결합대수에서 인수분해, 약수, 영약수와 같은 초등 대수적 성질을 고등학교 대수학 수준의 접근 방식으로 탐구한다. 다항식 기반에서 유도된 순서론적 구조인 닐 포스셋(_nil poset_)을 도입하여, 영원소를 가진 대수에서 암시적 원소와 영약수를 체계적으로 분석함으로써, 비체(non-field) 대수로의 미적분학과 미분방정식의 확장을 위한 기초 도구를 제공한다.

ABSTRACT

A finite-dimensional unital and associative algebra over $\mathbb{R}$, or what we shall call simply "an algebra" in this paper for short, generalities the construction by which we derive the complex numbers by "adjoining an element $i$" to $\mathbb{R}$ and imposing the relation $i^2 = -1$. In this paper, we examine some of the elementary algebraic properties of such algebras, how they break-down when compared to standard grade-school algebra, and discuss how such properties are relevant to other areas of our research regarding algebras, such as the $\mathcal{A}$-calculus and the theory of $\mathcal{A}$-ODEs.

연구 동기 및 목표

• 유한차원 단위항등원을 가진 결합대수에서 고등학교 대수학의 전통적 원리인 인수분해와 약수 등이 어떻게 작용하는지 조사하기 위해.
• 영약수와 영거듭제곱 원소의 존재로 인해 고전적 대수적 성질이 어떻게 붕괴되는지 식별하고 특성화하기 위해.
• 학부생 및 초보 연구자들이 활용할 수 있는, 비체 환경에서의 대수적 구조를 이해하기 위한 접근성 있고 초보자 우량한 프레임워크를 개발하기 위해.
• 암시적 원소와 영대수의 구조적 성질을 분석하기 위한 도구로 닐 포스셋을 도입하고 체계화하기 위해.
• 먼저 대수의 기초 대수적 행동을 이해함으로써, 대수로의 미적분학과 미분방정식의 확장을 위한 기초를 다지기 위해.

제안 방법

• 대수의 유한차원 벡터 공간 구조를 이용하여, 왼쪽 곱셈 사상에 의해 대수 원소의 행렬 표현(정규 표현)을 정의하고 계산한다.
• 기저에 의존하는 행렬 표현 $ M_{\beta}(\theta) $ 를 적용하여 대수적 연산을 모델링하고, 대수적 구조의 동형을 유지한다.
• 기저 원소들이 다른 기저 원소의 스칼라 배수로 곱해지는 기초를 가진 곱셈 기반(multiplicative basis)의 개념을 도입하여 체계적인 분석을 가능하게 한다.
• 기저 원소들 위에 부분순서집합으로서의 닐 포스셋 $ \newcommand{\nilposet}{\text{NilPoset}} \nilposet(\beta) $ 를 정의한다. 여기서 $ v_i \preceq v_j $ 는 어떤 $ v_k $ 와 $ c \in \mathbb{R} $ 에 대해 $ v_i \star v_k = c v_j $ 를 만족할 때 성립한다.
• 닐 포스셋의 하세 다이어그램을 사용하여, 영원소를 생성하는 경로를 그림으로 추적하며, 예를 들어 $ \epsilon^n \gamma^m $ 와 같은 원소를 계산함으로써 기저 원소의 암시적 원소를 계산한다.
• 암시적 원소 아이디얼 분석에 닐 포스셋을 적용하여, 다이어그램으로부터 $ \mathrm{Ann}(\epsilon\gamma) = \mathrm{span}\{\epsilon^2, \gamma^2, \epsilon\gamma\} $ 와 같은 결과를 읽어낸다.

실험 결과

연구 질문

• RQ1 영약수와 영거듭제곱 원소가 존재하는 결합대수에서 고전적 대수적 성질인 약수성과 유일 인수분해가 어떻게 실패하는가?
• RQ2 유한차원 단위항등원을 가진 영대수에서 닐 포스셋이 기저 원소의 암시적 원소를 특성화하는 데 어떤 구조적 역할을 하는가?
• RQ3 임의의 포스셋은 어떤 유한차원 단위항등원을 가진 영대수의 닐 포스셋으로서 실현될 수 있는가?
• RQ4 닐 포스셋의 순서론적 성질—예를 들어 래티스, 모듈라, 분배적 성질—은 기저 대수의 대수적 성질과 어떻게 관련되어 있는가?
• RQ5 주어진 닐 포스셋을 지지하기 위해 필요한 최소한의 대수적 구조는 무엇이며, 이는 어떤 제약 조건을 초래하는가?

주요 결과

• 곱셈 기반을 통해 왼쪽 곱셈에서 유도된 커버링 관계를 통해 정의된 닐 포스셋 $ \nilposet(\mathcal{A}) $ 는 다항식 기반의 영대수에서 기저 원소의 암시적 원소를 결정하는 데 시각적이고 계산 가능한 방법을 제공한다.
• 대수 $ \Gamma_3 \otimes \Gamma_3 $ 에서 하세 다이어그램은 $ \mathrm{Ann}(\epsilon\gamma) = \mathrm{span}\{\epsilon^2, \gamma^2, \epsilon\gamma\} $ 를 보여주며, 이는 $ \epsilon\gamma $ 에서 0으로 가는 경로를 따라 추적함으로써 복원 가능하다.
• 정의된 순서 $ v_i \preceq v_j $ 에 따라 닐 포스셋은 항상 부분순서집합이며, 그 구조는 기저의 곱폐쇄성을 반영한다.
• 모든 닐 포스셋이 래티스는 아니다. 6개의 생성자를 가진 대수를 사용한 반례에서, $ \epsilon $ 과 $ \gamma $ 는 두 개의 서로 다른 최소 상계 $ \zeta $ 와 $ \xi $ 를 가지며, 이는 유일한 최소 상계가 존재하지 않음을 보여준다.
• 하세 다이어그램에서의 경로 추적 방법을 통해, $ n $ 이 왼쪽 단계 수, $ m $ 이 오른쪽 단계 수를 세는 방식으로 암시적 단항식 $ \epsilon^n \gamma^m $ 을 생성할 수 있다.
• 닐 포스셋 구축 방법은 임의의 단위항등원을 가진 영대수에 대해 적용 가능하며, 기초 기반을 가진 모든 대수에 대해 체계적이고 시각적인 방법을 제공하여 추상적 아이디얼 이론 분석의 대안이 된다.