자기 동형탑

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요
2. 정의
- 2.1. 자기 동형탑
- 2.2. 자기 동형탑 높이
3. 성질
- 3.1. 무중심군
- 3.2. 일반적인 군
참조

1. 개요

자기 동형탑은 군 G에 대해 초한 재귀를 통해 정의되는 군의 열과 군 준동형의 튜플이다. 자기 동형탑의 높이는 자기 동형탑을 구성하는 과정이 멈추는 시점을 나타내며, 군의 자기 동형탑 높이는 항상 존재한다. 무중심군, 유한군, 체르니코프 군, 다순환군, 유한 생성 군 등 특정 조건을 만족하는 군의 자기 동형탑 높이에 대한 다양한 성질이 존재한다.

더 읽어볼만한 페이지

군론 - 점군
점군은 도형의 병진 조작을 제외한 대칭 조작들의 집합으로 군론의 공리를 만족하며, 쉐인플리스 기호나 허먼-모건 기호로 표기되고, 대칭 조작에 대응하는 행렬 표현은 가약 표현과 기약 표현으로 분해될 수 있다.
군론 - 파울리 행렬
파울리 행렬은 양자역학에서 스핀을 나타내는 데 사용되는 에르미트 행렬이자 유니타리 행렬로, 행렬식은 -1이고 대각합은 0이며, 리 대수의 생성원이자 파울리 벡터로 정의되어 다양한 물리학 분야에서 활용된다.

자기 동형탑

2. 정의

군 $G$ 의 자기 동형탑 $(\operatorname{Aut}^\alpha(G),\phi_{\alpha\beta})$ 은 순서수 $\alpha$ 에 대한 군 $\operatorname{Aut}^\alpha(G)$ 와, $\alpha\le\beta$ 인 순서수 $\alpha,\beta$ 에 대한 군 준동형 $\phi_{\alpha\beta}\colon\operatorname{Aut}^\alpha(G)\to\operatorname{Aut}^\beta(G)$ (항등 함수)의 튜플이다. 이는 초한 재귀를 통해 다음과 같이 정의된다.

$\operatorname{Aut}^0(G)=G$
따름 순서수 $\alpha+1$ 에 대하여, $\operatorname{Aut}^{\alpha+1}(G)=\operatorname{Aut}(\operatorname{Aut}^\alpha(G))$ 는 $\operatorname{Aut}^\alpha(G)$ 의 자기 동형군이다. $\phi_{\alpha,\alpha+1}\colon\operatorname{Aut}^\alpha(G)\to\operatorname{Aut}^{\alpha+1}(G)$ 는 임의의 $g\in\operatorname{Aut}^\alpha(G)$ 를 그에 대응하는 내부 자기 동형 $\phi_{\alpha,\alpha+1}(g)\colon h\mapsto ghg^{-1}$ 으로 보내는 자연스러운 군 준동형이다.
극한 순서수 $\alpha$ 에 대하여, $(\operatorname{Aut}^\alpha(G),(\phi_{\beta\alpha})_{\beta<\alpha})$ 는 유향 체계 $((\operatorname{Aut}^\beta(G))_{\beta<\alpha},(\phi_{\beta\gamma})_{\beta\le\gamma<\alpha})$ 의 귀납적 극한이다.

군

G

의 '''자기 동형탑 높이'''(automorphism tower height}})

\tau_{\operatorname{Aut}}(G)

는 다음 조건을 만족시키는 최소의 순서수이다.

$\phi_{\tau_{\operatorname{Aut}}(G),\tau_{\operatorname{Aut}}(G)+1}$ 는 군의 동형이다. 즉, $\operatorname{Aut}^{\tau_{\operatorname{Aut}}(G)}(G)$ 는 완비군이다.

이 경우, 임의의 순서수

\beta\ge\alpha\ge\tau_{\operatorname{Aut}}(G)

에 대하여

\phi_{\alpha\beta}

는 군의 동형이다. 즉,

\tau_{\operatorname{Aut

^영어(G)는 자기 동형탑을 만드는 과정이 멈추는 시점이다.

2. 1. 자기 동형탑

군

G

의 자기 동형탑

(\operatorname{Aut}^\alpha(G),\phi_{\alpha\beta})

은 순서수

\alpha

에 대한 군

\operatorname{Aut}^\alpha(G)

와,

\alpha\le\beta

인 순서수

\alpha,\beta

에 대한 군 준동형

\phi_{\alpha\beta}\colon\operatorname{Aut}^\alpha(G)\to\operatorname{Aut}^\beta(G)

(

\alpha=\beta

이면

\phi_{\alpha\alpha}

는 항등 함수)의 튜플이다. 이는 초한 재귀를 통해 정의된다.

$\operatorname{Aut}^0(G)=G$
따름 순서수 $\alpha+1$ 에 대하여, $\operatorname{Aut}^{\alpha+1}(G)=\operatorname{Aut}(\operatorname{Aut}^\alpha(G))$ 는 $\operatorname{Aut}^\alpha(G)$ 의 자기 동형군이다. $\phi_{\alpha,\alpha+1}\colon\operatorname{Aut}^\alpha(G)\to\operatorname{Aut}^{\alpha+1}(G)$ 는 임의의 $g\in\operatorname{Aut}^\alpha(G)$ 를 그에 대응하는 내부 자기 동형 $\phi_{\alpha,\alpha+1}(g)\colon h\mapsto ghg^{-1}$ 으로 보내는 자연스러운 군 준동형이다.
극한 순서수 $\alpha$ 에 대하여, $(\operatorname{Aut}^\alpha(G),(\phi_{\beta\alpha})_{\beta<\alpha})$ 는 유향 체계 $((\operatorname{Aut}^\beta(G))_{\beta<\alpha},(\phi_{\beta\gamma})_{\beta\le\gamma<\alpha})$ 의 귀납적 극한이다.

군

G

의 자기 동형탑 높이(automorphism tower height}})

\tau_{\operatorname{Aut}}(G)

는

\phi_{\tau_{\operatorname{Aut}}(G),\tau_{\operatorname{Aut}}(G)+1}

가 군의 동형인 최소의 순서수이다. 즉,

\operatorname{Aut}^{\tau_{\operatorname{Aut}}(G)}(G)

는 완비군이다. 이 경우, 임의의 순서수

\beta\ge\alpha\ge\tau_{\operatorname{Aut

^영어(G)에 대하여

\phi_{\alpha\beta}

는 군의 동형이다.

2. 2. 자기 동형탑 높이

군

G

의 '''자기 동형탑 높이'''(automorphism tower height}})

\tau_{\operatorname{Aut}}(G)

는

\phi_{\tau_{\operatorname{Aut}}(G),\tau_{\operatorname{Aut}}(G)+1}

가 군의 동형이 되는 최소의 순서수이다. 즉,

\operatorname{Aut}^{\tau_{\operatorname{Aut}}(G)}(G)

는 완비군이다. 이는 자기 동형탑을 만드는 과정이 멈추는 시점이다. 임의의 순서수

\beta\ge\alpha\ge\tau_{\operatorname{Aut

^영어(G)에 대하여

\phi_{\alpha\beta}

는 군의 동형이다.

3. 성질

3. 1. 무중심군

임의의 군 ''G''에 대하여, 그 내부 자기 동형군은 자기 동형군의 정규 부분군을 이룬다. 만약 ''G''의 중심이 자명군이라면, 그 내부 자기 동형군의 자기 동형군에서의 중심화 부분군은 자명군이다.

:

\operatorname C_{\operatorname{Aut}(G)}(\operatorname{Inn}(G))=1

특히, 만약 ''G''의 중심이 자명군이라면,

\operatorname{Aut}(G)

의 중심 역시 자명군이다. 자명한 중심을 갖는 조건은 자연스러운 군 준동형

\phi_{0,1}\colon G\to\operatorname{Aut}(G)

이 단사 함수인 조건과 동치이다. 따라서, 자명한 중심을 갖는 군 ''G''의 자기 동형탑

:

G\vartriangleleft\operatorname{Aut}(G)\vartriangleleft\operatorname{Aut}(\operatorname{Aut}(G))\vartriangleleft\dotsb\vartriangleleft\operatorname{Aut}^\omega(G)\vartriangleleft\operatorname{Aut}^{\omega+1}(G)\vartriangleleft\dotsb

은 점점 커지는 일련의 (정규) 부분군들의 열이다.

자기 동형탑이 유한·가산 시간 내에 멈출 일부 충분조건은 다음과 같다.

군이 자명한 중심을 갖는 유한군이라면, 자기동형탑 높이 $\tau_{\operatorname{Aut}}(G)$ 는 ω보다 작다.
만약 ''G''가 자명한 중심을 갖는 체르니코프 군(Černikov群, Chernikov group}})이라면, $\tau_{\operatorname{Aut$ ^영어(G)<\omega이다.
''G''가 자명한 중심을 갖는 다순환군(多循環群, 군]] ''G''의 자기 동형탑 높이는 $(2^\kappa)^+$ 미만이며 (여기서, $(2^\kappa)^+$ 는 $2^\kappa$ 의 따름 기수이다), 이는 선택 공리를 필요로 하지 않는다.^[2] 또한, 임의의 순서수 $\alpha<\kappa^+$ 에 대하여, 자기 동형탑 높이가 $\alpha$ 인, 크기 $\kappa$ 의 자명한 중심을 갖는 군 ''G''가 존재한다. 즉, $\kappa$ 에 대하여, $\tau_{\operatorname{Aut}}(\kappa)$ 가 다음 조건을 만족시키는 최소의 순서수라고 하자.
임의의 크기 $\kappa$ 의 자명한 중심을 갖는 군 ''G''에 대하여, $\tau_{\operatorname{Aut}}(G)<\tau_{\operatorname{Aut}}(\kappa)$

그렇다면, 위 결론들에 따라

\kappa^+\le\tau_{\operatorname{Aut}}(\kappa)\le(2^\kappa)^+

이다. 하지만 크기

\kappa

의 자명한 중심을 갖는 군은

2^\kappa

개이므로, 다음과 같은 더 강한 결론이 성립한다.

:

\kappa^+\le\tau_{\operatorname{Aut}}(\kappa)<(2^\kappa)^+

즉,

(2^\kappa)^+

는 크기

\kappa

의 무중심군의 자기 동형군 높이

\tau_{\operatorname{Aut}}(G)

에 대한 ‘최적의 근사’가 아니다. 반면, 만약

\kappa

가 비가산 기수라면,

(2^\kappa)^+

는 선택 공리를 추가한 체르멜로-프렝켈 집합론에서 명제

\tau_{\operatorname{Aut}}(\kappa)<(2^\kappa)^+

를 증명 가능한 최소의 순서수이며, 이는 강제법을 사용하여 보일 수 있다.^[3] (이러한 일이 가능한 것은

\tau_{\operatorname{Aut/polycyclic group}})이라면, \tau_{\operatorname{Aut}}(G)<\omega_1 이다.

만약 ''G''가 자명한 중심을 갖는 유한 생성 군이라면, $\tau(G)<\omega_1$ 이다.^[1]

임의의 무한 기수

\kappa

가 주어졌다고 하자. 그렇다면, 크기

\kappa

의

3. 1. 1. 유한군

군이 자명한 중심을 갖는 유한군이라면, 자기동형탑 높이

\tau_{\operatorname{Aut}}(G)

는 ω보다 작다.

3. 1. 2. 체르니코프 군

만약

G

가 자명한 중심을 갖는 체르니코프 군(Černikov群, Chernikov group}})이라면,

\tau_{\operatorname{Aut

^영어(G)<\omega이다.

3. 1. 3. 다순환군

G

가 자명한 중심을 갖는 다순환군(多循環群, polycyclic group}})이라면,

\tau_{\operatorname{Aut

^영어(G)<\omega_1이다.

3. 1. 4. 유한 생성 군

만약

G

가 자명한 중심을 갖는 유한 생성 군이라면,

\tau(G)<\omega_1

이다.^[1]

3. 2. 일반적인 군

임의의 군

G

에 대하여,

\operatorname{Aut}^\alpha(G)

의 중심이 자명군인 순서수

\alpha

가 존재한다. 특히, 모든 군의 자기 동형탑은 결국 멈춘다.

참조

_[1] 저널 The automorphism tower problem. II 1998
_[2] 저널 The automorphism tower of a centerless group without choice 2009
_[3] 저널 The automorphism tower problem revisited 1999

본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com