[논문 리뷰] N-Algebraic Structures and S-N-Algebraic Structures

W. B. Vasantha Kandasamy, Florentín Smarandache|ArXiv.org|2006. 02. 26.

Mathematics and Applications참고 문헌 21인용 수 24

한 줄 요약

이 논문은 기존 대수학의 일반화를 위해 N-군, N-반군, N-루프, N-군오이드와 같은 새로운 대수적 구조를 도입하며, 고전 대수학을 확장하기 위해 200개 이상의 새로운 정의를 제안한다. 일반화된 n-항 연산과 N항 조합에 대한 대수적 닫힘을 통해 유한 오토마타, 코드 이론, 색칠 문제 등에의 적용을 위한 기초 프레임워크를 수립한다.

ABSTRACT

For the first time, we have introduced the concept of N-groups, N-semigroups, N-loops, and N-groupoids. We also define a mixed N-algebraic structure. The main aim of this book is to attract young mathematicians to this interesting field. It contains more than 200 new definitions. These concepts find applications in fields like finite automaton, coloring problems and coding theory.

연구 동기 및 목표

• n-항 연산과 구조를 도입함으로써 고전 대수적 시스템을 형식화하고 일반화하는 것.
• 결합법칙이 성립하지 않거나 항등원이 없는 n-항 연산을 포함하는 대수적 시스템의 범위를 확장하는 것.
• 유한 오토마타, 코드 이론, 조합 문제 등에 응용하기 위한 새로운 대수적 기초를 제공하는 것.
• 젊은 수학자들이 일반화된 대수적 시스템을 탐구하는 데 관심을 갖도록 자극하는 것.
• 다양한 유형의 N-시스템을 조합한 혼합 N-대수적 구조를 정의하고 분석하는 것.

제안 방법

• n ≥ 2인 n-항 연산을 사용하여 N-대수적 구조를 제안하며, 이는 이항 연산의 일반화이다.
• N-군을 정의한다: 항등원과 역원 원소가 N항 조합 하에서 닫혀 있는 집합.
• N-반군을 정의한다: 결합법칙이 성립하는 n-항 연산에 대해 닫혀 있는 집합.
• N-루프를 정의한다: 항등원과 양방향 나눗셈 성질이 n-항 연산 하에서 성립하는 N-군오이드.
• N-군오이드를 정의한다: 추가 공리 없이 단일 n-항 연산을 갖춘 집합.
• 다양한 유형의 N-시스템(예: N-군 + N-반군)을 조합하여 혼합 N-대수적 구조를 구성한다.

실험 결과

연구 질문

• RQ1 기존의 군과 반군 같은 고전 대수적 시스템은 n > 2인 n-항 연산으로 어떻게 일반화될 수 있는가?
• RQ2 n-항 연산을 갖는 집합이 N-군 또는 N-루프가 되기 위한 필수 및 충분한 조건은 무엇인가?
• RQ3 다른 유형의 N-시스템 조합에 대해 혼합 N-대수적 구조는 어떻게 행동하는가?
• RQ4 코드 이론과 오토마타에의 응용을 지원하는 N-대수적 시스템의 구조적 성질은 무엇인가?
• RQ5 n-항 연산으로부터 새로운 대수적 불변량 또는 분류 체계를 유도할 수 있는가?

주요 결과

• 논문은 N-군, N-반군, N-루프, N-군오이드를 포함한 200개 이상의 새로운 대수적 정의를 성공적으로 도입하였다.
• N-대수적 시스템이 이항 연산으로 일반화된 고전 대수적 시스템을 일반화함을 입증하였다.
• 혼합 N-대수적 구조의 구성이 가능하여 다수의 N-시스템 성질을 갖는 하이브리드 시스템을 가능하게 하였다.
• 논문은 n-항 닫힘과 연산 규칙을 통해 N-대수적 시스템이 유한 오토마타와 색칠 문제를 모델링할 수 있음을 보였다.
• 통제된 n-항 연산 닫힘을 갖는 대수적 구조를 도입함으로써 코드 이론에 기초 도구를 제공하였다.
• 이 작업는 2005년 아리조나 소재 Hexis에서 출간한 전문서로, arXiv 프린트(arXiv:math/0602591)로도 제공되며, 총 209페이지에 걸쳐 광범위한 정의를 포함하고 있다.