有限域的Ｐｏｉｎｃａｒｅ 級數

摘 要：設F是特征數為q=p 的域，V是F上的n維向量空間，G是V上的有限偽反射群，χ∶G→F 是G的1維表示，本文證明了對?坌g∈G，r|p -1時，χ(g)=(det g) (0≤α≤r-1)，其中r為g的階。根據Poincare級數的Molien公式，計算出有限域上一般不變式和相對不變式的Poincare級數。

關鍵詞：Poincare級數有限偽反射群相對不變式

引言

這樣，設f∈F[V ]，如果對任意σ∈G都有σ·f=f，f叫做G的一個不變式。若令χ∶G→F 是G的1維表示，對于f∈F[V ]，如果σ·f=χ(σ)f，則f就稱為G的χ-相對不變式。顯然det∶G→F ，即σ→detσ是G的一個1-維表示，因此就有G的det-相對不變式的概念。

關于det-相對不變式，已有了詳細的研究，在此，我們將主要討論有限偽反射群的相對不變式，并得到如下的結果:

χ∶G→F 是有限偽反射群G的一個 1-維表示，如果對?坌g∈G，r|p -1時，則χ(g)=(det g) (0≤α≤r-1)其中r為g的階。并根據Larry Smith 的文章［３］，有一般不變式和相對不變式只相差一個因子L =c l，c∈F 。

在第三部分中，將計算特征數為q=p 的域F上的一般不變式和相對不變式的Poincare級數。

1 有限域上有限偽反射群的相對不變式

為了表述的方便，如不特別聲明，總假定是特征數為q=p 的域。

2 有限域上有限偽反射群的Poincare級數

我們先介紹有限域上Poincare級數的Molien公式。

引理1設V是G-模，定義V ={λ∈V|σ·λ=λ，?坌σ∈G}，z=σ為V上的平均算子，那么dimV =Trz。

定理2設V是特征數為q的域F上的n維向量空間，G是GL（V）的有限子群，則F[V ] 的Poincare級數是P（F[V

參考文獻：

[1]L.C.Grove C.T.Benson， Finite reflection groups，Spinger， (1984).

[2]D.J.Benson， Polynomial invariants of finite groups，Cambridge University Press (1993).

[3]L.Smith， Free modules of relative invariants and some rings of invariants that are Cohen-Macaulay.，Proceedings of the American Mathematical Socity，Volume 134，Number 8，Pages 2205-2212， (2006).

[4]L.Smith， Polynomial invariants of finite groups， A.K.Peters，LTD， Wellesey，MA，(1995).

[5]Z.Wan， Invariants theory of finite reflection groups(in chinese)， Shang hai jiao tong UniversityPress，(1997).

[6]Ian Hughes Gregor Kemper， Symmetric powers of modular representations for groups with a Sylow subgroup of prime order， J.Algebra 241，759-788，(2001).

注：“本文中所涉及到的圖表、注解、公式等內容請以PDF格式閱讀原文。”