[논문 리뷰] Boolean-like algebras of finite dimension

Antonio Bucciarelli, Antonio Ledda외 2명|arXiv (Cornell University)|2018. 06. 18.

Advanced Algebra and Logic참고 문헌 26인용 수 3

한 줄 요약

이 논문은 n-항 if-then-else 연산과 n개의 중심 원소를 통해 부울 대수를 일반화한 유한 차원 부울 유사 대수(nBAs)를 소개한다. 부울 거듭제곱 구성법을 반체 거듭제곱으로 확장하여, 순수한 nBA는 부울 벡터 공간의 n-중심 원소 대수와 동형이며, 하나의 생성자를 가진 nBA의 다양체의 임의의 원소는 그 생성자의 부울 거듭제곱임을 증명한다. 이는 원래의 포스터 정리에 대한 새로운 대수적 증명을 제공한다.

ABSTRACT

We continue the investigation of Boolean-like algebras of dimension n (nBA) having n constants e1,...,en, and an (n+1)-ary operation q (a "generalised if-then-else") that induces a decomposition of the algebra into n factors through the so-called n-central elements. Varieties of nBAs share many remarkable properties with the variety of Boolean algebras and with primal varieties. Exploiting the concept of central element, we extend the notion of Boolean power to that of semiring power and we prove two representation theorems: (i) Any pure nBA is isomorphic to the algebra of n-central elements of a Boolean vector space; (ii) Any member of a variety of nBAs with one generator is isomorphic to a Boolean power of this generator. This gives a new proof of Foster's theorem on primal varieties.

연구 동기 및 목표

• 부울 대수를 n-항 if-then-else 연산과 n개의 중심 원소를 통해 유한 차원 구조로 일반화한다.
• nBA의 다양체의 일반 대수학적 성질을 조사하여, 부울 대수와 원시 다양체와 유사한 핵심 특성을 보인다.
• 반체 거듭제곱으로의 부울 거듭제곱 구성법을 확장하여, 임의의 반체 위에서의 nBA에 대한 표현 정리들을 가능하게 한다.
• nBA의 구조를 이용하여 포스터의 원시 다양체에 대한 정리에 대한 새로운 대수적 증명을 제공한다.

제안 방법

• n개의 상수 e₁,…,eₙ과 (n+1)-항 연산 q를 가진 대수로 nBA를 정의하며, 이는 n개의 중심 원소를 통해 n개의 요소로 분해되도록 한다.
• 반체 R 위에서 대수 E의 반체 거듭제곱 E[R]를 특정 반모듈러의 중심 원소 대수로 정의하며, 이는 부울 거듭제곱을 일반화한다.
• R이 부울 대수일 경우 반체 거듭제곱 E[R]가 고전적 부울 거듭제곱과 동형임을 증명하여 기존 이론과의 일致성을 확립한다.
• 임의의 반체 R에 대해 반체 거듭제곱 E[R]가 R의 보완 가능하고 교환 가능한 원소들의 부울 대수에 의한 E의 부울 거듭제곱과 동형임을 증명한다.
• n-중심 원소의 구조를 이용하여 임의의 순수한 nBA가 n^I에 매립됨을 보이고, 따라서 부울 벡터 공간의 n-중심 원소 대수와 동형임을 증명한다.
• 표현 정리를 적용하여, 하나의 생성자를 가진 nBA의 다양체의 임의의 원소가 그 생성자의 부울 거듭제곱과 동형임을 증명하며, 이는 포스터 정리에 대한 새로운 증명을 이끌어낸다.

실험 결과

연구 질문

• RQ1 n-중심 원소를 활용하여 부울 거듭제곱 구성법을 부울 대수에서 임의의 반체로 일반화할 수 있는가?
• RQ2 nBA의 다양체는 부울 대수와 원시 다양체와 공유하는 어떤 구조적 성질을 갖는가?
• RQ3 모든 순수한 nBA는 부울 벡터 공간의 n-중심 원소 대수로 표현될 수 있는가?
• RQ4 생성자가 하나인 nBA의 다양체의 임의의 원소는 그 생성자의 부울 거듭제곱과 동형인가?
• RQ5 확장된 반체 거듭제곱 구성법은 원시 다양체에 대한 포스터 정리에 대한 새로운 증명을 제공하는가?

주요 결과

• 모든 순수한 nBA는 부울 벡터 공간의 n-중심 원소 대수와 동형이며, 이는 순수한 nBA에 대한 표현 정리이다.
• 생성자가 하나인 nBA의 다양체의 임의의 원소는 그 생성자의 부울 거듭제곱과 동형이며, 이는 고전적 부울 거듭제곱 프레임워크를 확장한다.
• 반체 거듭제곱 구성법은 부울 거듭제곱을 임의의 반체로 일반화하며, 반체 거듭제곱 E[R]는 R의 보완 가능하고 교환 가능한 원소들의 부울 대수에 의한 E의 부울 거듭제곱과 동형이다.
• 반체 R이 부울 대수일 경우 반체 거듭제곱 구성법은 고전적 부울 거듭제곱을 회복하며, 이는 일관성을 검증한다.
• 순수한 nBA의 다양체는 원시적이다. 즉, n-원소 대수 위의 모든 유한항 함수들이 항으로 정의 가능하다. 이는 2원소 부울 대수의 원시성의 일반화이다.
• 이 결과들은 원시 다양체에 대한 포스터 정리에 대한 새로운 증명을 제공하며, 원시 대수로 생성된 다양체에 속하는 임의의 대수는 그 생성자의 부울 거듭제곱과 동형임을 보여준다.