[논문 리뷰] Quantales and their modules: projective objects, ideals, and congruences

Ciro Russo|arXiv (Cornell University)|2017. 06. 01.

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

한 줄 요약

이 논문은 $Q^{X\times X}$ 내의 곱셈적 아이디포텐트 원소를 사용하여 임의의 쿠안탈레에 대한 프로젝티브 모듈을 특성화하고, quantales에 대한 $K_0$ 군 구성을 도입하며, 포화된 원소를 통한 동치관계와 아이디얼 사이의 대응을 수립하여, 쿠안탈레와 그 모듈러에 대한 동치관계가 하단 원소의 동치류로부터 아이디얼 이론적 및 뉴클레우스 기반 구성에 의하여 완전히 복원될 수 있음을 보여준다.

ABSTRACT

In this paper we characterize the projective modules over an arbitrary quantale, and then we apply such a characterization in order to define the K_0 group of a quantale. Then we study congruences of quantales and quantale modules by means of their ideals and of saturated elements w.r.t. a binary relation.

연구 동기 및 목표

• 자기 모듈러의 고전 이론을 $Q^{X\times X}$ 내의 대수적 구조를 사용하여 쿠안탈레로 확장함으로써 프로젝티브 모듈을 특성화하는 것.
• 문헌 [8]의 반체 구조 일반화를 통해 쿠안탈레의 $K_0$ 군을 정의함으로써 그 적용 범위를 넓히는 것.
• 쿠안탈레와 그 모듈러에 대한 동치관계가 하단 원소의 동치류로부터 재구성될 수 있는지 조사하는 것.
• 포화된 원소와 쿼지폐쇄 뉴클레우스를 통한 쿠안탈레 및 쿠안탈레 모듈러에 대한 아이디얼과 동치관계 사이의 일대일 대응을 수립하는 것.
• 이중관계에 의해 유도된 쿠안티크 뉴클레우스를 사용한 쿠안탈레 몫의 일반적 프레임워크를 제공함으로써, 단위원 또는 가환성 조건을 초월한 적용 가능성을 확보하는 것.

제안 방법

• 자기 모듈러의 자유 모듈의 내부함수를 쿠안탈레 원소로 표현하기 위해 $Q^{X\times X}$와 $\operatorname{End}_Q(Q^X)$ 사이의 쿠안탈레 동형을 사용한다.
• 프로젝티브 모듈을 $Q^{X\times X}$ 내의 곱셈적 아이디포텐트 원소로 특성화함으로써, 이전의 내부함수 표현 결과를 일반화한다.
• 쿠안탈레 $Q$ 위에 이중관계 $R$ 에 대한 $R$-포화된 원소의 집합을 사용하여 쿠안티크 뉴클레우스 $\rho_R$ 를 정의한다.
• 쿼지폐쇄 뉴클레우스 $\rho_R$ 의 상을 통해 쿠안탈레 $Q$ 의 몫을 구성하고, $Q/\ker\rho_R \cong Q_R$ 를 보여준다.
• 동치관계 $\theta$ 에서 $\bot$ 의 동치류가 아이디얼 $i$ 와 대응되며, $R = \{ (\bot, i) \}$ 일 때 $Q_R \cong Q/\theta$ 임을 보여준다.
• 잔여화 및 격자 이론적 성질(예: $a \leq s/b \Leftrightarrow ab \leq s$)을 사용하여 $\rho_R$ 가 $\rho_R(ab) \geq \rho_R(a)\rho_R(b)$ 를 만족하는 쿼지폐쇄 뉴클레우스임을 증명한다.

실험 결과

연구 질문

• RQ1 임의의 쿠안탈레에 대한 프로젝티브 모듈은 $Q^{X\times X}$ 내의 내부함수 구조를 사용하여 대수적으로 특성화될 수 있는가?
• RQ2 쿠안탈레의 $K_0$ 군은 어떻게 정의되며, 쿠안탈레 모듈러 이론의 맥락에서 그 의미는 무엇인가?
• RQ3 쿠안탈레와 그 모듈러에 대한 동치관계는 하단 원소의 동치류로부터 어느 정도까지 재구성될 수 있는가?
• RQ4 쿠안탈레 및 쿠안탈레 모듈러에 있어서 아이디얼과 동치관계 사이의 정확한 관계는 무엇인가?
• RQ5 이중관계로부터 유도된 쿼지폐쇄 뉴클레우스를 사용하여 쿠안탈레의 동치관계 모듈을 기술할 수 있는가?

주요 결과

• 쿠안탈레 $Q$ 에 대한 프로젝티브 모듈은 $Q^{X\times X}$ 내의 곱셈적 아이디포텐트 원소의 존재를 통해 특성화되며, [19]의 내부함수 표현 결과를 일반화한다.
• 쿠안탈레의 $K_0$ 군은 [8]의 반체 기반 구성의 일반화를 통해 구성될 수 있으며, 이는 그 적용 범위를 쿠안탈레로 확장한다.
• 쿠안탈레와 그 모듈러에 대한 동치관계는 하단 원소의 동치류에 의해 완전히 결정되며, 이는 아이디얼과 대응된다.
• 관계 $R$ 에 대한 $R$-포화된 원소의 집합은 부분쿠안탈레 $Q_R$ 를 이루며, 쿼지폐쇄 뉴클레우스 $\rho_R$ 는 $\theta$ 가 $R$ 에 의해 생성된 동치관계일 때 $Q/\theta$ 와 동형인 몫을 유도한다.
• 쿠안탈레 $Q$ 의 임의의 아이디얼 $i$ 에 대해 $\{ (\bot, i) \}$-포화된 원소의 집합은 정확히 $[i, \top]$ 이며, 이는 $Q_R \cong Q/\theta$ 를 보여주며, 이때 $\theta$ 는 $[\bot]_\theta = [\bot, i]$ 를 만족하는 최소의 동치관계이다.
• 반단순 적분 쿠안탈레가 정확히 스페이셜 프레임임을, 아이디얼-동치관계 대응과 포화된 원소의 구조를 통해 도출한 결과이다.