바일 군: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
일부 내용을 극대 원환면으로 분리
편집 요약 없음
1번째 줄:
[[수학]]에서, '''바일 군'''({{llang|en|Weyl group}})은 [[근계]]의 [[반사 (수학기하학)|반사]] [[자기동형군]]이다. [[헤르만 바일]]의 이름을 땄다.
 
== 정의 ==
=== 근계의 바일 군 ===
[[근계]]는 실수 [[벡터 공간]]에서 특정한 성질을 만족시키는 일련의 벡터들의 집합이다. 근계에서, 원점을 중심으로 하고, 근들을 보존시키는 벡터 공간 [[반사 (수학기하학)|반사]]들의 집합은 합성을 통해 [[콕서터 군]]을 이룬다. 이를 근계의 '''바일 군'''이라고 한다.
 
바일 군은 반사들로 생성되는 콕서터 군이므로, 이에 대하여 '''길이''' 및 '''[[브뤼아 순서]]'''({{llang|en|Bruhat order}})를 정의할 수 있다. 후자는 바일 군 위에 정의되는 [[부분 순서]]이다. 대략, 바일 군의 두 원소를 <math>g=s_1s_2\cdots s_m</math> 및 <math>h=t_1t_2\dotsc t_n</math>으로, 반사들의 합성으로 최소 길이로 나타내었을 때, <math>g</math>가 <math>h</math>의 부분 문자열일 경우 브뤼아 순서에 대하여 <math>g\le h</math>이다.