設是一個群,假設是復數域上的有限維不可約模的集合。設是一個復數域上固定的模,可定義的表示圖如下:其頂點集為,邊數由中的重數確定。
我們把模記作,是一維平凡模,群里的每一個元素作用在它上相當于恒等變化.用記作是在表示圖中從到走了步的走法數。就是中不可約模的重數。于是(是符號函數).對于,考慮張量代數中不可約模的重數的龐加萊級數。特別地,是中的張量不變量的龐加萊級數.
定理1[4]:設是任意的一個有限群,是其在復數域上不可約模,是一個固定的有限維模并且作用于上是忠實的.對偶模作為模同構于。假設是張量代數
2.結論
交換群在自然模上的張量不變量的龐加萊級數可由推論求出.
參考文獻:
[1]J.Mckay.Graphs ,singularities and finite groups[J].Proc.pureMath,1980,37:183-186.
[2]J.Mckay..Cartan matrices,finite groups of quanternions and kleinian singularities [J]Amer.Math.Soc.Vol.1981,153-154.
[3][4] BenkartGeorgia .Poincaré Series for Tensor Invariants and the McKay Correspondence [J]. math.RT, 16 Dec 2015.
[5]Hu,Jing,Cai.Generalized McKay Quivers of Rank Three[J]Acta Mathematica Sinica.March 28,2013.
[6]Blichfeldt,H.F. Finite Collineation Groups[M]Chicago,the Universityof Chicago Press,1917.
[7]Yau,S.S.-T,Y.Gorenstein Quotient Singularities in the Dimension Three [J]Amer.Math.Soc.1993.
[8]Kang,M.-C.Zhang,I.P,Shi,J.-Y,et al.Some primitive linear groups of prime degree[J]Japan,Math.Soc.V2009,1013-1070.
作者簡介:
楊珊,1990,女,江西省豐城市,學生,華南理工大學基礎數學碩士,主要研究數學物理方向。