[논문 리뷰] The commutative Moufang loops with minimum conditions for subloops II

N. I. Sandu|ArXiv.org|2008. 04. 24.

Mathematics and Applications참고 문헌 2인용 수 4

한 줄 요약

이 논문은 무한한 비결합적 교환 모양 루프(CMLs)에서 다양한 부분루프 유형—중앙적으로 가역적, 중심적으로 노름, 비불변 결합 부분루프—에 대한 최소 조건의 동치성을 확립한다. 이는 이러한 루프가 부분루프에 대한 최소 조건을 만족하는 것과 동시에 주어진 중심적 가역성 또는 노름 차수에 대한 최소 조건을 만족하는 것과 동치이며, 모든 무한한 비결합적 부분루프가 정규일 경우 연관자 부분루프가 유한하고 루프가 중심적 가역성 차수 3 이하임을 보여준다.

ABSTRACT

It is proved that the following conditions are equivalent for an infinite non-associative commutative Moufang loop $Q$: 1) $Q$ satisfies the minimum condition for subloops; 2) if the loop $Q$ contains a centrally solvable subloop of class $s$, then it satisfies the minimum condition for centrally solvable subloops of class $s$; 3) if the loop $Q$ contains a centrally nilpotent subloop of class $n$, then it satisfies the minimum condition for centrally nilpotent subloops of class $n$; 4) $Q$ satisfies the minimum condition for non-invatiant associative subloops. The structure of the commutative Moufang loops, whose infinite non-associative subloops are normal, is examined.

연구 동기 및 목표

• 무한한 비결합적 교환 모양 루프(CMLs)에서 부분루프에 대한 최소 조건을 만족하는 루프를 특성화하기.
• 부분루프에 대한 최소 조건과 주어진 차수의 중심적으로 가역/노름 부분루프에 대한 최소 조건 사이의 관계를 조사하기.
• 모든 무한한 비결합적 부분루프가 정규인 CML의 구조를 검토하고, 연관자 부분루프와 가역성 차수에 대한 함의를 규명하기.
• 무한한 비결합적 CML에서 부분루프에 대한 최소 조건과 비불변 결합 부분루프에 대한 최소 조건 간의 동치성을 확립하기.

제안 방법

• CML에서 중심적 가역성과 노름을 정의하기 위해 하부 중심 시리즈와 도출 시리즈를 사용하며, $ Q_n $과 $ Q^{(n)} $은 각각 $ n $-번째 항을 나타낸다.
• Bruck-Slaby 정리를 적용하여 $ n $개의 생성자를 가진 유한 생성 CML의 노름 차수를 $ n-1 $ 이하로 bound한다.
• 연관자에 관한 항등식, 예를 들어 $ (x,y,z)^3 = 1 $과 $ (x,y,z) = (y^{-1},x,z) $를 사용하여 루프의 구조와 정규성을 분석한다.
• 내부 사상군 $ I(Q) $와 이동군 $ abla(Q) $를 사용하여 정규 부분루프와 자기동형사를 연구한다.
• '안정적' 중심적 가역성/노름을 적용: 무한한 차수 $ n $의 부분루프가 안정적으로 중심적으로 가역적이라면, 모든 차수 $ n $의 무한 부분루프가 동일한 차수의 진부분루프를 포함한다.
• 중앙자 $ Z_Q(H) $와 그 $ Q $에서의 정규성, 그리고 모순을 유도하기 위해 유한 지수의 정규 부분루프 $ C(H) $를 구성한다. 이는 최소 조건이 성립하지 않는다는 가정 하에 수행된다.

실험 결과

연구 질문

• RQ1 무한한 비결합적 CML에서 부분루프에 대한 최소 조건, 차수 $ s $의 중심적으로 가역 부분루프에 대한 최소 조건, 차수 $ n $의 중심적으로 노름 부분루프에 대한 최소 조건, 비불변 결합 부분루프에 대한 최소 조건은 동치인가?
• RQ2 모든 무한한 비결합적 부분루프가 정규인 CML에서 어떤 구조적 성질이 유도되는가?
• RQ3 차수 $ n $의 안정적인 중심적으로 가역 또는 노름 부분루프가 존재하면, 그 차수의 무한한 감소하는 부분루프의 사슬이 존재하는가?
• RQ4 무한한 비결합적 CML에서 부분루프에 대한 최소 조건은 비불변 결합 부분루프에 대한 최소 조건과 동치인가?
• RQ5 모든 무한한 비결합적 부분루프가 정규인 CML에서 중심적 가역성 차수의 최대 가능성은 무엇인가?

주요 결과

• 무한한 비결합적 CML에서 부분루프에 대한 최소 조건은 임의의 고정된 차수 $ s $에 대한 중심적으로 가역 부분루프에 대한 최소 조건과 동치이며, 임의의 고정된 차수 $ n $에 대한 중심적으로 노름 부분루프에 대한 최소 조건과도 동치이다.
• CML에서 차수 $ n $의 안정적인 중심적으로 가역 또는 노름 부분루프가 존재하는 것은 그 차수의 무한한 감소하는 부분루프의 사슬이 존재하는 것과 동치이다.
• 무한한 비결합적 CML에서 부분루프에 대한 최소 조건은 비불변 결합 부분루프에 대한 최소 조건과 동치이다.
• 모든 무한한 비결합적 부분루프가 정규인 CML에서 연관자 부분루프 $ Q' $는 유한하고 루프는 중심적 가역성 차수 3 이하이다.
• 이러한 CML에서 모든 무한한 비결합적 부분루프가 정규일 경우, 두 번째 도출 부분루프 $ Q^{(2)} $는 반드시 결합적이며 $ Q' = Q^{(2)} $이지만, $ Q' $가 중심적으로 노름이므로 이는 $ Q^{(2)} $가 결합적이지 않다면 모순이 발생한다.
• CML는 분해가능한 중심 부분군 $ D $와 유한 CML $ M $의 직접곱으로 분해되며, $ L \neq M $이면 $ DL $은 무한한 비결합적 정규 부분루프가 되어 $ L $의 비정규성과 모순된다.