보편 포락 대수: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
편집 요약 없음
편집 요약 없음
76번째 줄:
 
임의의 [[체 (수학)|체]] <math>K</math> 위의 [[리 대수]]의 보편 포락 대수는 [[영역 (환론)|영역]]이며, 만약 추가로 비아벨 리 대수라면 <math>\operatorname U(\mathfrak g)</math>는 [[비가환환]]이다 (즉, [[정역]]이 아니다).
 
=== 연산과의 호환 ===
체 <math>K</math> 위의 두 [[리 대수]] <math>\mathfrak g</math>, <math>\mathfrak h</math>의 [[직합]] <math>\mathfrak g\oplus\mathfrak h</math>의 보편 포락 대수는 각 성분의 보편 포락 대수들의 ([[결합 대수]]로서의) 텐서곱이다.<ref>{{서적 인용|제목=Lie groups and Lie algebras Ⅰ. Foundations of Lie Theory. Lie transformation groups
|이름1=V. V.|성1=Gorbatsevich
|이름2=A. L.|성2=Onishchik
|이름3=E. B.|성3=Vinberg
|출판사=Springer-Verlag
|총서=Encyclopaedia of Mathematical Sciences|권=20|날짜=1993
|doi=10.1007/978-3-642-57999-8|언어=en}}</ref>{{rp|63, Corollary 1.2.4}}
:<math>\operatorname U(\mathfrak g\oplus\mathfrak h) = \operatorname U(\mathfrak g)\otimes_K \operatorname U(\mathfrak h)</math>
 
=== 푸앵카레-버코프-비트 정리 ===