몰리엔 정리 (Molien's theorem)

개요

• 행렬로 표현된 유한군의 불변다항식에 대한 정리

몰리엔 정리

• 기호
  • <math>G</math> : 유한행렬군
  • <math>a_d</math> : 차수가 <math>d</math>인 <math>G</math>의 동차불변다항식의 공간이 이루는 차원
  • <math>\Phi(\lambda)=\sum_{d=0}^\infty a_d\lambda^d</math> : <math>a_d</math>의 생성함수

정리 (몰리엔)

다음이 성립한다

<math>

\Phi(\lambda)=\frac{1}{|G|}\sum_{g\in G}\frac{1}{\det(I-\lambda g)} </math>

예

• 아래의 두 행렬로 생성되는 군은 크기가 16인 정이면체군 (dihedral group)이다

<math>

\left( \begin{array}{cc} \frac{1}{\sqrt{2}} & \frac{1}{\sqrt{2}} \\ \frac{1}{\sqrt{2}} & -\frac{1}{\sqrt{2}} \\ \end{array} \right), \left( \begin{array}{cc} 1 & 0 \\ 0 & -1 \\ \end{array} \right) </math>

• 다음을 얻는다

<math>

\Phi(\lambda)=\frac{1}{(\lambda -1)^2 (\lambda +1)^2 \left(\lambda ^2+1\right) \left(\lambda ^4+1\right)} </math>

• 이 불변다항식은 맥윌리엄스 항등식 (MacWilliams Identity)에 등장하기도 한다

메모

• http://rigtriv.wordpress.com/2008/02/12/invariants-of-finite-groups-i/
• http://www.mathematicalgemstones.com/gemstones/diamond/moliens-theorem-and-symmetric-functions

사전형태의 자료

• http://en.wikipedia.org/wiki/Molien_series

메타데이터

위키데이터

• ID : Q6896155

Spacy 패턴 목록

• [{'LOWER': 'molien'}, {'LEMMA': 'series'}]