[논문 리뷰] On the Equational Artinian Algebras

P. Modabberi, M. Shahryari|arXiv (Cornell University)|2015. 05. 30.

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

한 줄 요약

이 논문은 원자 공식에 대한 레이디컬 위상수학을 도입하여 등식적 Noetherian 대수와 등식적 Artinian 대수 사이의 이중성을 확립한다. 등급이 내림차순 조건을 만족하는 닫힌 집합에 대해 이 위상수학이 성립함을 증명함으로써, 대수가 등식적 Artinian임과 동시에 이 위상수학이 내림차순 조건을 만족함을 동시에 증명한다. 그래프 이론의 König의 보조정리(lemma)를 이용하여, 등식적 Artinian 대수의 초구체화(ultrapower) 역시 등식적 Artinian임을 보이며, 특히 군 이론 분야에서 새로운 예를 제공한다.

ABSTRACT

Equational Artinian algebras were introduced in our previous work: {\em Equational conditions in universal algebraic geometry, to appear in Algebra and Logic, 2015}. In this note, we define the notion of {\em radical topology with respect to an algebra $A$} and using the well-known König lemma in graph theory, we show that the algebra $A$ is equational Artinian iff this topology is noetherian. This completes the analogy between equational noetherian and equational Artinian algebras.

연구 동기 및 목표

• 등식적 Noetherian 대수와 등식적 Artinian 대수 사이의 이중성을 완성하기 위해 레이디컬 위상수학을 도입한다.
• 이전 연구에서 해결되지 않은 등식적 Artinian 대수의 특징화에서 발생하는 비대칭성을 해결한다.
• 등식적 Artinian 대수가 초구체화에 대해 보존됨을 증명하여, 특히 군 이론에서 새로운 예를 생성한다.
• 일반 대수기하학에서 등식적 성질의 위상수학적 특징화를 통합한다.

제안 방법

• 대수 A의 언어에서 원자 공식의 집합에 대해 레이디컬 위상수학을 정의하며, 닫힌 집합은 점에서 값이 0이 되는 공식들의 교집합이 된다.
• 이 레이디컬 위상수학에서의 닫힌 집합이 레이디컬 아이디얼과 대응되며, 이 위상수학이 Noetherian이 되는 것과 대수가 등식적 Artinian임이 동치임을 보인다.
• 그래프 이론의 König의 보조정리를 적용하여, 유한 차수를 가진 모든 무한 트리는 반드시 무한 경로를 가짐을 증명함으로써, 닫힌 집합의 내림차순 체인이 끝나는 것을 보인다.
• 기초적 동치성과 Łoś의 정리를 이용하여, 등식적 Artinian 대수의 초구체화가 등식적 Artinian 성질을 그대로 이어받음을 증명한다.
• 초구체화의 레이디컬 위상수학이 원래 대수의 그것과 정확히 일치함을 보이며, 체인 조건이 유지됨을 보장한다.
• 위상수학적 특징화를 이용하여, 등식적 Artinian 대수가 부분대수, 좌표대수, 완전 잔여 A-대수, 모든 유사동치 대수, 극한대수, 그리고 A의 보편 이론에서 완전한 원자 유형에 의해 정의된 유한 생성 대수에 대해 닫혀 있음을 증명한다.

실험 결과

연구 질문

• RQ1 기존의 등식적 Noetherian 대수에 대한 알려진 Zariski 위상수학 특징화와 대칭을 이루는 등식적 Artinian 대수의 위상수학적 특징화는 존재하는가?
• RQ2 레이디컬 위상수학에서 닫힌 집합에 대한 내림차순 조건을 이용하여 등식적 Artinian 대수를 완전히 특징지을 수 있는가?
• RQ3 등식적 Artinian 성질이 이러한 대수의 초구체화로까지 연장되는가?
• RQ4 군과 같은 자연스러운 대수 클래스들 중에서 등식적 Artinian인 것이 있으며, 이러한 대수들을 체계적으로 생성할 수 있는가?
• RQ5 등식적 Artinian 대수에서 레이디컬 위상수학과 대수적 집합의 구조 사이의 관계는 무엇인가?

주요 결과

• 대수 A가 등식적 Artinian임과 동시에 그 원자 공식에 대한 레이디컬 위상수학이 닫힌 집합에 대해 내림차순 조건을 만족함은 동치이다.
• 레이디컬 위상수학은 기존의 Zariski 위상수학과 이중성을 이루며, 등식적 Noetherian과 등식적 Artinian 성질 사이의 대칭성을 완성한다.
• 등식적 Artinian 대수의 모든 초구체화 역시 등식적 Artinian이며, 이는 특히 등식적 Artinian 군의 새로운 예를 제공한다.
• 초구체화의 레이디컬 위상수학은 원래 대수의 그것과 정확히 일치하며, 체인 조건이 유지됨을 보장한다.
• 등식적 Artinian 대수들은 부분대수, 좌표대수, 완전 잔여 A-대수, 모든 유사동치 대수, 극한대수, 그리고 A의 보편 이론에서 완전한 원자 유형에 의해 정의된 유한 생성 대수에 대해 닫혀 있다.
• 등식적 Artinian 대수에서의 모든 대수적 집합은 큰 대수적 집합들의 유한 교집합으로 표현되며, 이러한 큰 대수적 집합은 그 레이디컬 아이디얼이 레이디컬 위상수학에서 기약임을 의미한다.