멱영 리 대수

틀:위키데이터 속성 추적 리 군론에서 멱영 리 대수(冪零Lie代數, 틀:Llang)는 유한한 길이의 내림 중심열을 갖는 리 대수이다.

정의

가환환 $K$ 위의 리 대수 $𝔤$의 내림 중심렬(-中心列, 틀:Llang)은 다음과 같다.

$𝔤={𝔤}_0$

${𝔤}_{i+1}=[{𝔤}_i,𝔤]$

$𝔤={𝔤}_0\supseteq {𝔤}_1\supseteq {𝔤}_2\supseteq \cdots$

만약 어떤 자연수 $n\in \mathbb{N}$에 대하여 ${𝔤}_n=0$이라면, $𝔤$를 멱영 리 대수라고 한다. ($0$은 유일한 0차원 리 대수이다.) 즉, 다음 명제가 성립하는 자연수 $n\in \mathbb{N}$이 존재해야 한다.

$[x_1,[x_2,[x_3,\cdots [x_n,y]\cdots ]]]=0\mathrm{\forall }{x}_1,\dots ,x_n,y\in 𝔤$

가환환 $K$ 위의 리 대수 $𝔤$가 다음 조건을 만족시킨다면, 엥겔 조건 리 대수(틀:Llang)라고 하자.

$\stackrel{n(x,y)}{\overbrace{[x,[x,[x,\cdots [x}},y]\cdots ]]]=0\mathrm{\forall }x,y\in 𝔤$가 되는 함수 $n:𝔤\times 𝔤\to {\mathbb{Z}}^{+}$가 존재한다.

멱영 리 군

$𝕂\in \{ℝ,ℂ\}$라고 하자. 리 군 $G$의 리 대수가 $𝕂$-리 대수 $𝔤$라고 할 때, 다음 조건들이 서로 동치이다.틀:Rp

• 항등원을 포함하는 연결 성분 $G_0\subseteq G$은 (군으로서) 멱영군이다.
• $𝔤$는 멱영 리 대수이다.

성질

멱영 리 대수의 킬링 형식은 0이다.

포함 관계

임의의 가환환 $K$에 대하여, 다음과 같은 포함 관계가 성립한다.

$K$-아벨 리 대수 ⊆ $K$-멱영 리 대수 ⊆ $K$-가해 리 대수 ⊆ $K$-리 대수

$K$-멱영 리 대수 ⊆ $K$-엥겔 조건 리 대수 ⊆ $K$-리 대수

엥겔 정리에 따르면, (임의의 표수의) 체 $K$ 위의 유한 차원 엥겔 조건 리 대수는 항상 멱영 리 대수이다.틀:Rp

연산에 대한 닫힘

멱영 리 대수의 모든 부분 리 대수는 멱영 리 대수이다. 멱영 리 대수의 모든 몫 리 대수 역시 멱영 리 대수이다.

예

체 $K$에 대하여, 다음과 같은 $n\times n$ 정사각 행렬들의 집합을 생각하자.

$𝔫(n;K)=\{M\in \mathrm{gl}(n;K):\mathrm{\forall }i,j\in \{1,\dots ,n\}:i\ge j⟹M_{i,j}=0\}$

즉, 대각 성분이 0인 상삼각 행렬의 집합이다. 이는 $𝔤𝔩(n;K)$의 부분 리 대수를 이루며, 또한 멱영 리 대수이다. 구체적으로, $𝔫(n;K)$의 $n$번째 내림 중심열은 0이다. 엥겔 정리에 따라서, 모든 멱영 리 대수는 충분히 큰 $n$에 대한 $𝔫(n;K)$의 부분 리 대수로 나타낼 수 있다.

역사

엥겔 정리는 프리드리히 엥겔(틀:Llang)이 1890년 7월 20일 빌헬름 킬링에게 보낸 편지에서 대략적으로 증명하였다. 이후 엥겔의 제자 카를 아르투어 움라우프(틀:Llang)가 1891년 박사 학위 논문에서 이 정의의 완전한 증명을 제시하였다.

외부 링크

• 틀:Eom
• 틀:Eom
• 틀:Eom
• 틀:매스월드
• 틀:매스월드
• 틀:매스월드

같이 보기

• 멱영군
• 가해 리 대수
• 이와사와 분해
• 영다양체