준반사: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
48번째 줄:
* <math>K[V]</math>는 <math>K[V]^G</math> 위의 [[사영 가군]]이다.
이러한 꼴로 표현될 수 있는 [[유한군]]을 <math>K</math>-'''준반사군'''(準反射群, {{llang|en|pseudoreflection group}})이라고 한다.
 
두 <math>K</math>-준반사군의 [[직접곱]]은 역시 <math>K</math>-준반사군이다.
<div class="mw-collapsed mw-collapsible toccolours">
'''증명:'''
<div class="mw-collapsible-content">
두 <math>K</math>-준반사군
:<math>G\le\operatorname{GL}(V;K)</math>
:<math>H\le\operatorname{GL}(W;K)</math>
이 주어졌을 때, 자연스럽게
:<math>G\times H\le \operatorname{GL}(V;K)\times\operatorname{GL}(W;K)\le\operatorname{GL}(V\oplus W;K)</math>
이다.
</div></div>
 
== 역사 ==