"호프 대수(Hopf algebra)"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
18번째 줄: 18번째 줄:
 
 
 
 
  
−
<h5>군(group) revisited</h5>
+
<h5>군(group) 의 정의 : abstract nonsense</h5>
  
 
* 군의 정의를 abstract nonsense를 사용하여 표현하기
 
* 군의 정의를 abstract nonsense를 사용하여 표현하기
24번째 줄: 24번째 줄:
 
** a multiplication map <math>\mu: G \otimes G \to G</math>
 
** a multiplication map <math>\mu: G \otimes G \to G</math>
 
** an inversion map <math>S: G \to G</math>
 
** an inversion map <math>S: G \to G</math>
−
** an identity element <math>1:+*+\to+G&bg=ffffff&fg=000000&s=0</math>, where <math>*&bg=ffffff&fg=000000&s=0</math> is a one point set.
+
** an identity element <math>1:+*+\to+G&bg=ffffff&fg=000000&s=0</math>, where <math>*&bg=ffffff&fg=000000&s=0</math> is a one point set
 
** <math>\epsilon:+G+\to+*&bg=ffffff&fg=000000&s=0</math>  (trivial representation, counit)
 
** <math>\epsilon:+G+\to+*&bg=ffffff&fg=000000&s=0</math>  (trivial representation, counit)
−
** <math>\Delta: G \to G \otimes G</math>, diagonal map: <math>g \mapsto g\otimes g</math>.
+
** <math>\Delta: G \to G \otimes G</math>, diagonal map: <math>g \mapsto g\otimes g</math>
 +
* 일반적으로 군을 정의할 때 드러나지 않는 <math>\epsilon:+G+\to+*&bg=ffffff&fg=000000&s=0</math> , <math>\Delta:+G+\to+G+\times+G&bg=ffffff&fg=000000&s=0</math>를 도입함으로써, 군을 abstract nonsense 만으로 표현할 수 있게 된다
 
*  결합법칙<br><math>\mu \circ (\mu \otimes \operatorname{id})=\mu \circ (\operatorname{id}\otimes \mu)</math><br>
 
*  결합법칙<br><math>\mu \circ (\mu \otimes \operatorname{id})=\mu \circ (\operatorname{id}\otimes \mu)</math><br>
 
*  역원에 대한 조건 (원소에 그 역원을 곱하면 항등원을 얻는다)<br><math>\mu \circ (\operatorname{id}\otimes S) \circ \Delta = \mu \circ (S\otimes \operatorname{id}) \circ \Delta=1 \circ \epsilon</math>, i.e., multiplying an element with its inverse yields the unit.<br>
 
*  역원에 대한 조건 (원소에 그 역원을 곱하면 항등원을 얻는다)<br><math>\mu \circ (\operatorname{id}\otimes S) \circ \Delta = \mu \circ (S\otimes \operatorname{id}) \circ \Delta=1 \circ \epsilon</math>, i.e., multiplying an element with its inverse yields the unit.<br>
−
* 일반적으로 군을 정의할 때 드러나지 않는 <math>\epsilon:+G+\to+*&bg=ffffff&fg=000000&s=0</math> , <math>\Delta:+G+\to+G+\times+G&bg=ffffff&fg=000000&s=0</math>를 도입함으로써, 군을 abstract nonsense 만으로 표현할 수 있게 된다
+
 
 +
 
 +
 
 +
 
 +
 
 +
<h5>호프 대수(Hopf algebra) 의 정의</h5>
 +
 
 +
 
 +
 
 +
 
  
 
 
 
 

2012년 7월 28일 (토) 06:01 판

이 항목의 수학노트 원문주소

 

 

개요
  • 호프 대수(Hopf algebra) = bi-algebra with an antipoe
  • '군(group)' (군론(group theory) 항목 참조) 개념의 일반화
  • 양자군의 이론에서 중요한 역할
    • 양자군(quantum group) = non co-commutative quasi-triangular Hopf algebra

 

 

군(group) 의 정의 : abstract nonsense
  • 군의 정의를 abstract nonsense를 사용하여 표현하기
  • a group is a set \(G&bg=ffffff&fg=000000&s=0\) equipped with
    • a multiplication map \(\mu: G \otimes G \to G\)
    • an inversion map \(S: G \to G\)
    • an identity element \(1:+*+\to+G&bg=ffffff&fg=000000&s=0\), where \(*&bg=ffffff&fg=000000&s=0\) is a one point set
    • \(\epsilon:+G+\to+*&bg=ffffff&fg=000000&s=0\)  (trivial representation, counit)
    • \(\Delta: G \to G \otimes G\), diagonal map: \(g \mapsto g\otimes g\)
  • 일반적으로 군을 정의할 때 드러나지 않는 \(\epsilon:+G+\to+*&bg=ffffff&fg=000000&s=0\) , \(\Delta:+G+\to+G+\times+G&bg=ffffff&fg=000000&s=0\)를 도입함으로써, 군을 abstract nonsense 만으로 표현할 수 있게 된다
  • 결합법칙
    \(\mu \circ (\mu \otimes \operatorname{id})=\mu \circ (\operatorname{id}\otimes \mu)\)
  • 역원에 대한 조건 (원소에 그 역원을 곱하면 항등원을 얻는다)
    \(\mu \circ (\operatorname{id}\otimes S) \circ \Delta = \mu \circ (S\otimes \operatorname{id}) \circ \Delta=1 \circ \epsilon\), i.e., multiplying an element with its inverse yields the unit.

 

 

호프 대수(Hopf algebra) 의 정의

 

 

 

 

 

역사

 

 

 

메모

 

 

 

관련된 항목들

 

 

수학용어번역

 

 

매스매티카 파일 및 계산 리소스

 

 

사전 형태의 자료

 

 

리뷰논문, 에세이, 강의노트

 

 

 

관련논문

 

 

관련도서
원본 주소 "https://wiki.mathnt.net/index.php?title=호프_대수(Hopf_algebra)&oldid=22444"