[논문 리뷰] Prequantales and applications to semistar operations and module systems

Jesse Elliott|arXiv (Cornell University)|2011. 01. 12.

Rings, Modules, and Algebras참고 문헌 24인용 수 10

한 줄 요약

이 논문은 이상 이론의 비가환성 및 비결합성을 추상화할 수 있는 일반화된 대수적 프레임워크인 prequantales를 제안한다. 이는 별 연산, 준별 연산, 모듈러 시스템을 통합한다. Precoherent prequantales와 곱셈 반순서집합에 대한 표현 정리가 수립되었으며, 최대 유한형 및 안정적 준별 연산과 같은 핵심 구성이 일반화되었다.

ABSTRACT

We show that a generalization of quantales and prequantales provides a noncommutative and nonassociative abstract ideal theoretic setting for the theories of star operations, semistar operations, semiprime operations, ideal systems, and module systems, and conversely the latter theories motivate new results on quantales and prequantales. Results include representation theorems for precoherent prequantales and multiplicative semilattices; a characterization of the simple prequantales; and a generalization to the setting of precoherent prequantales of the construction of the largest finite type semistar operation and the largest stable semistar operation smaller than a given semistar operation.

연구 동기 및 목표

• 비가환성 및 비결합성을 갖는 이상 이론을 위한 일반화된 대수적 프레임워크를 prequantales를 통해 개발하기 위해.
• 단일 순서 있는 마그마 설정 내에서 별 연산, 준별 연산, 반소수 연산, 이상 체계, 모듈러 시스템 이론을 통합하고 일반화하기 위해.
• 양자량과 곱셈 반순서집합에 알려진 결과를 더 일반적인 구조인 precoherent prequantales와 곱셈 반순서집합으로 확장하기 위해.
• 주어진 준별 연산 아래에서 최대 유한형 및 안정적 준별 연산을 포함한 새로운 준별 연산 구성법을 제공하기 위해.
• 특히 비노에테르 링 설정에서 중요한 비가환 링에서의 정수 폐쇄, 플러스 폐쇄, 타이트 폐쇄와 같은 구체적 대수적 연산에 이 프레임워크를 적용하기 위해.

제안 방법

• prequantales를 도입한다: 임의의 상한에 대해 닫혀 있고 곱셈이 호환되는 순서 있는 마그마로서, 양자량과 곱셈 반순서집합을 일반화한다.
• prequantales의 완화된 형태인 near prequantales와 semiprequantales를 정의하여, 무한하거나 안니히레이터가 없는 구조를 허용한다.
• 순서 있는 마그마에 대한 핵심 및 양자핵심 이론을 적용하여 이상 및 분수 이상에 대한 폐쇄 연산을 구성한다.
• precoherent prequantales에서 핵심을 이용한 일반적 구성법을 통해 주어진 준별 연산 아래에서 최대 안정적 및 유한형 준별 연산을 일반화한다.
• 이 프레임워크를 사용하여 정수 폐쇄, 플러스 폐쇄, 타이트 폐쇄로부터 유도된 준별 연산을 정의하고 분석한다.
• 주어진 이상 $I$를 포함하는 모든 타이트 폐쇄 이상의 교차로 정의된 연산 $*$가 반소수 연산임을 증명하여, 타이트 폐쇄를 비노에테르 링으로 일반화한다.

실험 결과

연구 질문

• RQ1 준별 연산과 이상 체계 이론은 가환성, 결합성, 노에테르성 조건을 초월하여 어떻게 일반화될 수 있는가?
• RQ2 Precoherent prequantales와 곱셈 반순서집합의 구조적 성질은 무엇이며, 어떻게 표현될 수 있는가?
• RQ3 주어진 준별 연산 아래에서 최대 유한형 및 안정적 준별 연산을 구성하는 방법은 양자량 외의 설정으로 일반화될 수 있는가?
• RQ4 정수 폐쇄, 플러스 폐쇄, 타이트 폐쇄와 같은 폐쇄 연산들은 prequantales 프레임워크를 통해 어떻게 통합되고 일반화될 수 있는가?
• RQ5 이 프레임워크를 통해 타이트 폐쇄는 소수 특성을 갖는 비노에테르 가환 링으로 의미적으로 확장될 수 있는가?

주요 결과

• Precoherent prequantales에 대한 표현 정리가 수립되었으며, 이는 특정 곱셈 반순서집합의 이상들과 동형임을 보여준다.
• 곱셈 반순서집합은 precoherent prequantales의 특수한 경우로 간주되며, 만족 닫힌 부분집합을 통한 표현이 가능하다.
• 간단한 prequantales는 완전한 순서집합 중에서 유일한 비영 원소를 갖는 것들로 완전히 특징지어진다.
• 주어진 준별 연산 아래에서 최대 유한형 준별 연산과 최대 안정적 준별 연산을 구성하는 방법이 precoherent prequantales로 일반화되었다.
• 임의의 소수 특성을 갖는 가환 링 $R$에 대해, $I$를 포함하는 모든 타이트 폐쇄 이상의 교차로 정의된 연산 $*$는 $\text{I}(R)$ 위에서 반소수 연산임을 보였다.
• 노에테르 링의 경우 $*$는 고전적 타이트 폐쇄 연산과 일치하며, 비노에테르 설정에서는 $I^* \neq I^T$일 수 있으며, 이는 $D = k[X, XY, XY^p, \tilde{ }]$에서 예제 14.2로 확인되었다.