[논문 리뷰] Abelian regular subgroups of the affine group and radical rings

A. Caranti, Francesca Dalla Volta외 1명|arXiv (Cornell University)|2005. 10. 08.

Rings, Modules, and Algebras인용 수 4

한 줄 요약

이 논문은 벡터 공간 위의 애프린 군의 아벨 정규 부분군과 그 공간 위의 가환, 결합, 루트 링 구조 사이의 일대일 대응을 수립한다. 주요 기여는 양의 특성에서 유한차원 아벨 정규 부분군이 유한한 지수를 가지며, 무한차원에서는 비정류적일 수 있고 이는 이동군과 자명하게 만날 수 있음을 보여주는 것이다—이는 이와 같은 아벨 정규 부분군 중에서 이동군과 자명하게 만날 수 있는 첫 번째 예를 제공한다.

ABSTRACT

We establish a link between abelian regular subgroup of the affine group, and commutative, associative algebra structures on the underlying vector space that are (Jacobson) radical rings. As an application, we show that if the underlying field has positive characteristic, then an abelian regular subgroup has finite exponent if the vector space is finite-dimensional, while it can be torsion free if the dimension is infinite. We also give an example of an abelian, regular subgroup of the affine group over an infinite vector space, which intersects trivially the group of translations.

연구 동기 및 목표

• 기저 공간 위의 대수적 구조를 이용하여 애프린 군의 모든 아벨 정규 부분군을 특성화하는 것.
• 이러한 부분군이 이동군과 비자명하게 또는 자명하게 만날 조건을 명확히 하는 것.
• 유한차원 및 무한차원 설정에서 아벨 정규 부분군의 지수와 정류성 성질을 조사하는 것.
• 특히 무한차원에서 이동군과 자명하게 만날 아벨 정규 부분군의 명시적 구성 제공하는 것.
• 유한애프린 군에서 알려진 정규 부분군 결과를 무한차원 경우로 확장하는 것.

제안 방법

• 부분군 T의 정규성에 기반해 τ(x) ∈ Aff(V)를 정의하여 0을 x로 보낸다.
• 각 τ(x)를 γ(x)ν(x)로 분해하며, 여기서 γ(x) ∈ GL(V), ν(x)는 x에 대한 이동이다.
• δ(x) = γ(x) − 1 ∈ M(V)를 도입하며, 여기서 M(V)는 V 위의 선형사상의 F-대수이다.
• T의 아벨성 조건을 이용해 모든 x, y ∈ V에 대해 xδ(y) = yδ(x)임을 도출하고, 이는 δ가 F-선형임을 의미한다.
• x·y = xδ(y)를 통해 V 위에 링 곱을 정의하며, 이 곱이 가환적이고 결합적이며 (V, +, ·)가 루트 링이 되도록 보장한다.
• T와 루트 링 구조 사이의 대응이 전단사이며, GL(V)에 의한 쌍대변환을 유지함을 보인다.

실험 결과

연구 질문

• RQ1 기저 벡터 공간 위의 대수적 조건은 무엇이어야 아벨 정규 부분군이 애프린 군에 존재하는가?
• RQ2 이러한 부분군이 이동군과 자명하게 만날 조건은 무엇이며, 이는 어떤 구조적 성질을 암시하는가?
• RQ3 양의 특성에서 아벨 정규 부분군의 지수는 무엇이며, 공간의 차원에 따라 어떻게 달라지는가?
• RQ4 무한차원 공간에서 비록 양의 특성의 체 위에서도 아벨 정규 부분군이 비정류적일 수 있는가?
• RQ5 V 위의 루트 링 구조의 성질은 대응하는 아벨 정규 부분군 T의 군론적 성질과 어떻게 관련되는가?

주요 결과

• Aff(V)의 아벨 정규 부분군과 V 위의 가환, 결합, 루트 링 구조 사이에 일대일 대응이 존재한다.
• 양의 특성에서, V가 유한차원인 경우, Aff(V)의 모든 아벨 정규 부분군은 유한한 지수를 가진다.
• V가 무한차원인 경우, Aff(V)의 아벨 정규 부분군 중 비정류적인 것이 존재한다.
• 형식적 멱급수환 F[[t]]의 극대 이상수 tF[[t]]를 사용하여, 자명한 소거 이상수를 가진 루트 링을 구성한다.
• 이 예는 이동군 N과 자명하게 만날 수 있는 아벨 정규 부분군 T를 제공한다. 즉, T ∩ N = {1}이다.
• 이 구성은 무한차원 벡터 공간 위에서 이동군과 자명하게 만날 수 있는 아벨 정규 부분군이 존재함을 보여주는 첫 번째 알려진 예를 제공한다.