On phi-(k,n)-absorbing delta-primary hyperideals

기술적 요약: "ON $\phi$-$(k, n)$-ABSORBING $\delta$-PRIMARY HYPERIDEALS"

문제 제기 및 배경
본 논문은 Krasner $(m, n)$-하이퍼링의 맥락에서 다양한 프라임(prime) 및 프라이머리(primary) 하이퍼아이디얼의 일반화된 개념들을 연구하기 위한 통합된 대수적 프레임워크의 필요성을 다룬다. 기존 문헌에서는 가환 환(commutative rings)에서 $\phi$-2-absorbing primary ideals, 2-absorbing $\delta$-primary ideals, 그리고 이들의 결합 형태인 2-absorbing $\phi$-$\delta$-primary ideals과 같은 뚜렷한 개념들을 확립해 왔다. 하이퍼구조(hyperstructures)의 영역에서는 $n$-ary prime 및 primary hyperideals, $(k, n)$-absorbing hyperideals, weakly $(k, n)$-absorbing hyperideals, 그리고 $\phi$-$(k, n)$-absorbing hyperideals 등이 각각 별개로 연구되어 왔다. 저자들은 이러한 확장 개념들을 통합하는 과정에서의 공백, 즉 흡수 조건에서 특정 원소들을 제외하는 축소 함수(reduction function) $\phi$와 흡수의 대상 집합을 일반화하는 확장 함수(expansion function) $\delta$를 Krasner $(m, n)$-하이퍼링에 적용 가능한 하나의 응집된 정의로 통합하는 과정을 식별하였다.

방법론
저자들은 Krasner $(m, n)$-하이퍼링 이론에 기초한 구조적 대수 접근법을 사용한다. 방법론은 다음과 같다:

1. 정의: $\phi$-$(k, n)$-absorbing $\delta$-primary hyperideal의 개념을 도입한다. 적절한(proper) 하이퍼아이디얼 $I$가 다음과 같을 때 이를 해당 개념으로 정의한다: 임의의 원소들 $t_1, \dots, t_{kn-k+1} \in G$에 대하여, $g(t_{kn-k+1}^1) \in I - \phi(I)$이면, $g(t_{(k-1)n-k+2}^1) \in I$이거나, $(k-1)n-k+2$개의 원소(첫 번째 그룹을 제외한)의 $g$-곱이 $\delta(I)$에 속한다.
2. 일반화: 기존의 정의들을 포괄하기 위해 축소 함수 $\phi: L(G) \to L(G) \cup \{\emptyset\}$와 확장 함수 $\delta: L(G) \to L(G)$를 활용한다. 구체적인 $\phi$의 사례(예: $\phi_\emptyset, \phi_0, \phi_1$)와 $\delta$의 사례(예: $\delta_0, \delta_1, \delta_G$)를 사용하여 새로운 정의가 어떻게 이전의 개념들을 포섭하는지 보여준다.
3. 이론적 분석: 다음과 같은 다양한 연산에 따른 하이퍼아이디얼의 거동에 관한 성질을 증명한다:
   • $(k, n)$-absorbing 및 $\phi$-$(k, n)$-absorbing 하이퍼아이디얼과의 비교.
   • 이러한 하이퍼아이디얼의 라디칼(radical) $r(I)$에 관한 조사.
   • 이러한 하이퍼아이디얼들의 교집합 및 합집합의 분석.
   • "강한(strongly)" $\phi$-$(k, n)$-absorbing $\delta$-primary hyperideal과 $(k, n)$-absorbing $\delta$-primary hyperideal 사이의 관계 조사.
   • 준동형 사상(homomorphisms), 몫 하이퍼링(quotient hyperrings), 그리고 데카르트 곱(Cartesian products) 하에서의 구조적 거동 연구.

주요 기여 및 결과
본 논문은 다음과 같은 주요 결과들을 확립한다:

• 통합: $\phi$-$(k, n)$-absorbing $\delta$-primary hyperideal의 정의는 $\phi$-$(k, n)$-absorbing hyperideal 및 $(k, n)$-absorbing $\delta$-primary hyperideal과 같은 개념들을 성공적으로 통합한다.
• 구분 및 반례:
  • 예제 3.4는 $\phi$-$(k, n)$-absorbing $\delta$-primary hyperideal이 반드시 $\phi$-$(k, n)$-absorbing hyperideal인 것은 아님을 보여준다.
  • 예제 3.6은 Remark 3.5의 역이 일반적으로 성립하지 않음을 보여준다; 즉, $\phi$-$(k, n)$-absorbing $\delta$-primary hyperideal이 반드시 $(k, n)$-absorbing $\delta$-primary hyperideal인 것은 아니다.
• 계층 구조 및 함의:
  • 정리 3.7: 만약 $I$가 $\phi$-$(k, n)$-absorbing $\delta$-primary hyperideal이면, 모든 $u \geq k$에 대하여 $I$는 $\phi$-$(u, n)$-absorbing $\delta$-primary hyperideal이다.
  • 정리 3.8: 만약 $\phi(I)$가 $(k, n)$-absorbing $\delta$-primary hyperideal이고 $I$가 $\phi$-$(k, n)$-absorbing $\delta$-primary hyperideal이면, $I$는 $(k, n)$-absorbing $\delta$-primary hyperideal이다.
• 라디칼 성질:
  • 정리 3.9: $r(\phi(I)) \subseteq \phi(r(I))$ 및 $r(\delta(I)) \subseteq \delta(r(I))$를 만족할 때, $\phi$-$(k, n)$-absorbing $\delta$-primary hyperideal $I$의 라디칼 $r(I)$는 그 자체로 $\phi$-$(k, n)$-absorbing $\delta$-primary hyperideal이다. 예제 3.10은 이러한 조건들이 필수적이며 생략될 수 없음을 검증한다.
• 강한 흡수 성질:
  • 따름정리 3.23: 만약 $I$가 강한 $\phi$-$(k, n)$-absorbing $\delta$-primary hyperideal이지만 $(k, n)$-absorbing $\delta$-primary hyperideal은 아니라면, $I$의 $kn-k+1$개 복사본의$g$-곱은$\phi(I)$의 부분집합이다 (즉,$g(I^{(kn-k+1)}) \subseteq \phi(I)$).
  • 예제 3.24는 $g(I^{(kn-k+1)}) \subseteq \phi(I)$ 조건이 하이퍼아이디얼이 $\phi$-$(k, n)$-absorbing $\delta$-primary이기 위한 필요조건이지만 충분조건은 아님을 명확히 한다.
• 구조적 보존:
  • 정리 3.13: 방향성 가족(directed family)인 $\phi$-$(k, n)$-absorbing $\delta$-primary hyperideals들의 합집합은 해당 성질을 보존한다.
  • 정리 3.14: 하이퍼아이디얼들의 가족에 대한 교집합은 $\delta(I_u)$와 $\phi(I_u)$가 가족 전체에서 일정하고 함수들이 교집합을 보존한다는 전제하에 해당 성질을 보존한다.
• 준동형 사상 및 곱:
  • 정리 3.25: $(\delta, \phi)$-$(\delta', \phi')$-준동형 사상에 의한 $\phi'$-$(k, n)$-absorbing $\delta'$-primary hyperideal의 역상은 $\phi$-$(k, n)$-absorbing $\delta$-primary hyperideal임을 확립한다. 또한 전사 준동형 사상(surjective homomorphism) 하에서의 상(image)을 특징짓는다.
  • 정리 3.27: 데카르트 곱에 대한 성질을 제공하며, 만약 곱 하이퍼아이디얼이 $\bar{\phi}$-$(k+1, n)$-absorbing $\bar{\delta}$-primary라면, 구성 요소인 하이퍼아이디얼들은 $\phi_i$-$(k, n)$-absorbing $\delta_i$-primary이다.

의의 및 주장
본 논문은 이러한 구조들을 조사하기 위한 "통합된 접근 방식"을 제공한다고 주장한다. $\phi$-$(k, n)$-absorbing $\delta$-primary hyperideals를 정의함으로써, 저자들은 프라임, 프라이머리, $(k, n)$-absorbing, weakly absorbing 등 이전에 언급된 모든 개념을 특수 사례로 포함하는 프레임워크를 구축하였다. 본 연구의 의의는 이러한 일반화된 아이디얼들 사이의 관계를 체계적으로 탐구하고, 그들의 라디칼과 교집합이 성질을 유지하기 위한 필요조건을 식별하며, "강한(strongly)" 버전과 "약한(weakly)" 버전의 차이를 명확히 하는 데 있다. 저자들은 준동형 사상에 의한 상과 역상을 분석하고 데카르트 곱에 대한 성질을 규명함으로써, Krasner $(m, n)$-하이퍼링 내의 더 넓은 대수적 구조로 이러한 개념의 적용성을 확장하였다.