New partial orders on Rickart *-rings

*기술 요약: Rickart -Ring 상의 새로운 부분 순서

문제 제기
본 논문은 Rickart *-ring의 맥락에서 부분 순서의 구조적 분석을 다룬다. 스타 부분 순서($\ast \preceq$)와 그 일측 변형들(좌측 스타 $\ell\ast \preceq$ 및 우측 스타 $r\ast \preceq$)은 복소 행렬, 유계 선형 연산자, 그리고 *-ring에 대해 문헌상 잘 확립되어 있으나, 본 연구는 새로운 이항 관계를 탐구할 필요성을 식별하였다. 이러한 새로운 관계들은 기존의 스타 순서와 원소의 제곱과 관련된 추가적인 대수적 조건($a^2 = ab$, $a^2 = ba$, 또는 $a^2 = ab = ba$)을 결합하여 형성된다. 주요 목적은 이러한 새로운 순서들을 정의하고, 이들의 근본적인 성질을 확립하며, 특히 정규 Rickart *-ring 및 정규 Baer *-ring에서 이러한 관계들에 의해 유도된 하향 집합(down-sets, 주어진 원소보다 작은 원소들의 집합)의 격자 구조를 조사하는 것이다.

방법론
저자들은 Rickart *-ring 이론과 일반화된 역원 이론에 뿌리를 둔 구조적 접근 방식을 채택한다. 방법론은 다음 단계로 진행된다:

1. 정의 및 검증: 저자들은 $(\ell\Box)$, $(r\Box)$, 또는 $(\Box)$ 조건을 갖는 표준 스타 순서($\ast \preceq, \ell\ast \preceq, r\ast \preceq$)와 교차하여 Rickart *-ring $A$ 상의 9가지 새로운 이항 관계를 정의한다. 저자들은 이 관계들이 부분 순서의 공리(반사성, 반대칭성, 추이성)를 만족함을 엄밀하게 증명한다.
2. 동형 표현: 중심적인 방법론적 도구는 순서 동형 사상(order-isomorphisms)의 구축이다. 저자들은 원소 $b$의 하향 집합 $[0, b]_\alpha = \{a \in A : a \alpha \preceq b\}$를 자기 수반 멱등원(self-adjoint idempotents)의 특정 부분집합 $E_\alpha^b \subseteq E(A)$로 매핑한다. 이 부분집합들은 멱등원에 대한 조건(예: $p \leq r_p(b)$ 및 $b$와 관련된 가환성 또는 특정 곱 관계)에 의해 정의된다.
3. 격자 분석: 정규 Rickart *-ring에서 자기 수반 멱등원의 집합 $E(A)$가 격자를 형성한다는 기지의 사실을 활용하여, 저자들은 구축된 동형 사상을 통해 이 격자 구조를 하향 집합으로 전이시킨다.
4. 특성 규명: 이러한 동형 사상을 사용하여, 저자들은 각 새로운 순서 하에서 주어진 $b$보다 작은 원소 $a$에 대한 명시적인 특성을 도출한다. 또한, 이 하향 집합 내에서 쌍(및 비어있지 않은 부분집합, Baer *-ring의 경우)의 상한(suprema)과 하한(infima)의 존재 및 명시적 공식에 대해 분석한다.

주요 기여

• 새로운 부분 순서의 도입: 본 논문은 $\alpha \in \{r\ast|\ell\Box, r\ast|r\Box, r\ast|\Box, \ell\ast|\ell\Box, \ell\ast|r\Box, \ell\ast|\Box, \ast|\ell\Box, \ast|r\Box, \ast|\Box\}$인 9가지 새로운 부분 순서를 Rickart *-ring 상에 공식적으로 도입하고 검증하였다.
• 기존 순서의 확장: 저자들은 이러한 새로운 순서들이 기존의 개념들을 일반화함을 보여준다. 구체적으로:
  • 코어 가역(core-invertible) 원소로 제한된 $\ell\ast|r\Box \preceq$ 순서는 코어 부분 순서와 일치한다.
  • 듀얼 코어 가역(dual core-invertible) 원소로 제한된 $r\ast|\ell\Box \preceq$ 순서는 듀얼 코어 부분 순서와 일치한다.
  • 그룹 가역(group-invertible) 원소로 제한된 $\ell\ast|\Box \preceq$, $r\ast|\Box \preceq$, 그리고 $\ast|\Box \preceq$ 순서들은 샤프(sharp) 부분 순서 및 일측 샤프 순서와 관련이 있다.
• 순서 동형 사상: 본 논문은 임의의 $b \in A$에 대하여, 하향 집합 $[0, b]_\alpha$가 특정 자기 수산 멱등원들의 부분집합 $E_\alpha^b$와 순서 동형임을 확립한다. 이는 임의의 링 원소의 순서 구조 연구를 더 다루기 쉬운 멱등원의 연구로 환원시킨다.
• 정규 링에서의 격자 구조: $A$가 정규 Rickart *-ring이면, 모든 새로운 순서 $\alpha$에 대하여 하향 집합 $[0, b]_\alpha$가 격자가 됨을 증명한다. 또한, 저자들은 연관된 멱등들의 격자 연산(예: $a_1 \vee a_2 = b(r_p(a_1) \vee r_p(a_2))$)을 사용하여 두 원소 $a_1, a_2 \in [0, b]_\alpha$의 상한과 하한에 대한 명시적인 공식을 제공한다.
• *Baer -Ring으로의 일반화: 상한과 하한의 존재에 관한 결과는, 부분집합이 상계(bounded above)를 갖는다는 조건 하에 비어있지 않은 부분집합에 대하여 정규 Baer *-ring으로 확장된다.

결과

• 원소의 특성 규명: 각 새로운 순서에 대하여, 본 논문은 $a \alpha \preceq b$이기 위한 필요충분조건을 제공한다. 예를 들어, $a r\ast|\ell\Box \preceq b$인 것은 유일한 자기 수산 멱등원 $p$가 존재하여 $a = bp$, $p \leq r_p(b)$, 그리고 $p b_r p = p b_r$ (여기서 $b_r = r_p(b)b$)를 만족하는 것과 같다.
• 격자 성질: 정규 Rickart *-ring에서 하향 집합 $[0, b]_\alpha$가 격자일 뿐만 아니라, 더 약한 순서(예: 표준 스타 순서)인 $[0, b]_\beta$의 부분 격자(sublattice)임을 증명한다.
• 명시적 공식: $b$에 의해 유계된 원소 $a_1, a_2$의 상한과 하한은 기초가 되는 멱등들의 격자 연산을 사용하여 명시적으로 계산된다. 우측(right-sided) 순서의 경우 $r_p(a_i)$를 포함하며, 좌측(left-sided) 순서의 경우 $l_p(a_i)$를 포함한다.
• 구간의 동형성: 특정 순서($\alpha \in \{r\ast|\Box, \ell\ast|\Box, \ast|\Box\}$)에 대하여, 구간 $[a, b]_\alpha$는 하향 집합 $[0, b-a]_\alpha$와 동형임이 밝혀졌다.

의의
본 논문은 특정 가역 원소들의 부분집합으로부터 Rickart *-ring의 전체 원소 집합으로 여러 잘 알려진 부분 순서(코어, 듀얼 코어, 샤프)를 확장하는 통합된 프레임워크를 제공함으로써 그 의의를 갖는다. 하향 집합과 자기 수산 멱등들의 부분집합 사이의 순서 동형 사상을 확립함으로써, 저자들은 이러한 복잡한 대수적 구조의 분석을 단순화한다. 이러한 하향 집합들이 정규 링에서 격자를 형성함을 보여주는 것은 이들의 순서 성질에 대한 강력한 구조적 이해를 제공하며, 이는 향-대수적 조사를 용이하게 한다. 이 결과들을 정규 Baer *-ring의 임의의 유계된 부분집합으로 확장하는 것은 더욱 일반적인 링 이론적 맥락으로 연구의 적용 범위를 넓힌다.