[논문 리뷰] About the embedding of Moufang loops in alternative algebras

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

Mathematics and Applications참고 문헌 16인용 수 8

한 줄 요약

이 논문은 임의의 자유 모파운그 루프가 체 $ F $ 위의 루프 대수 $ FM $ 과 그 특정 이상대수 $ I(M) $ 의 몫대수 $ FM/I(M) $ 의 가역원소들의 루프에 임bedded될 수 있음을 증명한다. 핵심 결과는 자유 루프일 조건 하에 모든 모파운그 루프가 대칭 대수의 가역원소들의 루프에 임베딩될 수 있는가에 대한 긍정적 답변이다.

ABSTRACT

It is proved that any free Moufang loop can be embedded in a loop of invertible elements of some alternative algebra.

연구 동기 및 목표

• 모든 모파운그 루프가 어떤 대칭 대수의 가역원소들의 루프에 임베딩될 수 있는가를 조사한다.
• 모파운그 루프의 대칭 대수에 대한 표현 가능성에 관한 오랫동안 남아있던 질문을 해결한다.
• 루프 대수와 이상대수를 이용한 구조적 임베딩 방법을 수립한다.
• 루프 대수와 모파운그 루프의 다양체 사이의 관계를 명확히 한다.
• 일반 모파운그 루프가 대칭 대수의 가역원소들의 루프에 임베딩될 수 있는 문제에 부분적인 해결책을 제공한다.

제안 방법

• 자유 모파운그 루프 $ M $ 에 대해 체 $ F $ 위의 루프 대수 $ FM $ 를 구성한다. 여기서 기저 원소들은 루프 원소들과 대응된다.
• 자유 생성자들에서 생성된 비자명한 단어 $ u $ 에 대해 $ 1 - u $ 를 생성자로 하는 이상대수 $ I(M) $ 를 정의한다. 이때 원소 간의 원소 합성은 $ \circ $ 를 사용한다.
• 몫대수 $ FM/I(M) $ 를 구성하며, 이 대수가 대칭임을 보인다.
• 자연스러운 준동형사상 $ \varphi: FM \to FM/I(M) $ 를 사용하여 루프 $ M $ 을 그 이미지 $ \overline{M} $ 에로 매핑한다. 이 이미지는 루프의 구조를 이어받는다.
• 정규형에서의 단어의 길이와 구성요소를 이용한 모순에 기반해, 이미지 $ \overline{M} $ 가 원래 루프 $ M $ 과 동형임을 증명한다.
• IP-루프의 성질과 증강 이상대수의 구조를 활용하여 임베딩의 단사성을 확보한다.

실험 결과

연구 질문

• RQ1 모든 자유 모파운그 루프는 어떤 대칭 대수의 가역원소들의 루프에 임베딩될 수 있는가?
• RQ2 대칭 대수의 가역원소들의 루프의 다양체는 모든 모파운그 루프의 다양체의 진부분다양체인가?
• RQ3 루프 대수 $ FM $ 이 적절한 이상대수 $ I(M) $ 로 나누어진 결과로 얻어진 대수는 대칭 대수이며, 그 가역원소들 안에 원래 자유 모파운그 루프의 임베딩 사본이 포함되는가?
• RQ4 이론적 이상대수의 몫을 통해 루프 대수를 이용해 임베딩을 명시적으로 구성할 수 있는가?
• RQ5 증강 이상대수와 그 몫이 준동형사상 하에서 루프의 구조를 유지하는 데 어떤 역할을 하는가?

주요 결과

• 임의의 자유 모파운그 루프 $ M $ 은 $ I(M) $ 가 자유 생성자에서 비자명한 단어 $ u $ 에 대해 $ 1 - u $ 로 생성되는 이상대수일 때, 대칭 대수 $ FM/I(M) $ 의 가역원소들의 루프에 임베딩될 수 있다.
• 몫대수 $ FM/I(M) $ 는 대칭이므로, 그 가역원소들이 모파운그 루프를 이룬다.
• 자연스러운 준동형사상 $ \varphi: FM \to FM/I(M) $ 는 원래 자유 모파운그 루프 $ M $ 과 그 이미지 $ \overline{M} $ 사이의 동형사상을 유도하며, 이는 임베딩의 단사성을 증명한다.
• 이상대수 $ I(M) $ 는 준동형사상 $ \varphi $ 의 핵이며, $ \omega M/I(M) \cong \omega(M/H) $ 를 만족하여 증강 이상대수의 구조를 유지한다.
• 이 결과는 자유 모파운그 루프뿐 아니라 상대적으로 자유 모파운그 루프에도 적용되며, $ \Omega $-단어 대수를 통한 증명의 확장으로 인해 성립한다.
• 논문 [16]에서 주장한 바와 같이 모든 모파운그 루프가 이러한 가역원수 루프에 임베딩된다는 주장에 대해 부정적인 답변을 제시한다. 즉, 일부 모파운그 루프(예: [15]에 있는 것들)는 임베딩되지 않지만, 자유 루프의 경우는 가능함을 보여준다.