利用有限域上非零向量的道路图结构与内积构作结合方案（Ⅱ）

令犝犿（狀,犉狇）表示含狇个元素的有限域犉狇上的狀元非零向量的集．对任一α∈犝犿（狀,犉狇）,称α狋α为α的范数,并用犝犿犱（狀,犉狇）表犝犿（狀,犉狇）中具同一范数犱的向量的集合．该文讨论了特征不为２的有限域犉狇上的犝犿犱（４,犉狇）中向量间的道路情形,并利用此结论构作结合方案．     

Invariants of finite groups generated by generalized transvections in the modular case

We investigate the invariant rings of two classes of finite groups G ≤ GL(n, F _q) which are generated by a number of generalized transvections with an invariant subspace H over a finite field F _q in the modular case. We name these groups generalized transvection groups. One class is concerned with a given invariant subspace which involves roots of unity. Constructing quotient groups and tensors, we deduce the invariant rings and study their Cohen-Macaulay and Gorenstein properties. The other is concerned with different invariant subspaces which have the same dimension. We provide a explicit classification of these groups and calculate their invariant rings.     

Invariants of modular groups

For a faithful linear representation of a finite group G over a field of characteristic p, we study the ring of invariants. We especially study the polynomial and Cohen–Macaulay properties of the invariant ring. We first show that certain quotient rings of the invariant ring are polynomial rings by which we prove that the Hilbert ideal conjecture is true for a class of groups. In particular, we prove that the conjecture is true for vector invariant rings of Abelian reflection p-groups. Then we study the relationships between the invariant ring of G and that of a subgroup of G. Finally, we study the invariant rings of affine groups and show that, over a finite field, if an affine group contains all translations then the invariant ring is isomorphic to the invariant ring of a linear group.     

A new degree bound for invariant rings

In this paper we give a new degree bound for polynomial invariant rings of finite groups and give some applications.

     

Degree bounds for syzygies of invariants

Suppose that G is a linearly reductive group. Good degree bounds for generators of invariant rings were given in (Proc. Amer. Math. Soc. 129 (4) (2001) 955). Here we study minimal free resolutions of invariant rings. For finite linearly reductive groups G it was recently shown in (Adv. Math. 156 (1) (2000) 23, Electron Res. Announc. Amer. Math. Soc. 7 (2001) 5, Adv. Math. 172 (2002) 151) that rings of invariants are generated in degree at most the group order |G|. In characteristic 0 this degree bound is a classical result by Emmy Noether (see Math. Ann. 77 (1916) 89). Given an invariant ring of a finite linearly reductive group G, we prove that the ideal of relations of a minimal set of generators is generated in degree at most ?2|G|.     

特征为2的有限域上对称矩阵方程解的计数公式及q超几何级数表达

设Fq是有q＝2t个元的有限域.本文利用Fq上奇异辛几何和奇异伪辛几何理论,给出当A,C是Fq上对称矩阵时,Fq上适合XAXT＝C的解存在的充要条件以及秩k的解X和解X的个数的明显公式,并且用q超几何级数简化表达解数公式．     

Invariants of finite Hopf algebras

This paper extends classical results in the invariant theory of finite groups and finite group schemes to the actions of finite Hopf algebras on commutative rings. Topics considered include integrality over the invariant rings, properties of the canonical map between the prime spectra, orbital and stabilizer algebras, projectivity over the invariant rings, and descent of Cohen-Macaulayness.     

Strong Lefschetz Elements of the Coinvariant Rings of Finite Coxeter Groups

For the coinvariant rings of finite Coxeter groups of types other than H₄, we show that a homogeneous element of degree one is a strong Lefschetz element if and only if it is not fixed by any reflections. We also give the necessary and sufficient condition for strong Lefschetz elements in the invariant subrings of the coinvariant rings of Weyl groups.     

利用有限域上非零向量的道路图结构与内积构作结合方案

Um（n,R）表示域F上n元非零向量之集．本文先确定了有限域上n≥5维非零向量的道路图结构,然后利用有限域Fq上Um（n,R）／EnR中具有相同范数的向量的道路图结构与内积构作了具有多个结合的结合方案,并计算出相应的参数．     

M-P invertible matrices and unitary groups over Fq2

The Moor-Penrose generalized inverses (M-P inverses for short) of matrices over a finite field Fq2, which is a generalization of the Moor-Penrose generalized inverses over the complex field, are studied in the present paper. Some necessary and sufficient conditions for an m×n matrix A over Fq2 having an M-P inverse are obtained, which make clear the set of m×n matrices over Fq2 having M-P inverses and reduce the problem of constructing and enumerating the M-P invertible matrices to that of constructing and enumerating the non-isotropic subspaces with respect to the unitary group. Based on this reduction, both the construction problem and the enumeration problem are solved by borrowing the results in geometry of unitary groups over finite fields.     

Gorenstein Flat Covers and Gorenstein Cotorsion Modules Over Integral Group Rings

Every module over an Iwanaga–Gorenstein ring has a Gorenstein flat cover [13] (however, only a few nontrivial examples are known). Integral group rings over polycyclic-by-finite groups are Iwanaga–Gorenstein [10] and so their modules have such covers. In particular, modules over integral group rings of finite groups have these covers. In this article we initiate a study of these covers over these group rings. To do so we study the so-called Gorenstein cotorsion modules, i.e. the modules that split under Gorenstein flat modules. When the ring is ℤ, these are just the usual cotorsion modules. Harrison [16] gave a complete characterization of torsion free cotorsion ℤ-modules. We show that with appropriate modifications Harrison's results carry over to integral group rings ℤG when G is finite. So we classify the Gorenstein cotorsion modules which are also Gorenstein flat over these ℤG. Using these results we classify modules that can be the kernels of Gorenstein flat covers of integral group rings of finite groups. In so doing we necessarily give examples of such covers. We use the tools we develop to associate an integer invariant n with every finite group G and prime p. We show 1≤n≤|G : P| where P is a Sylow p-subgroup of G and gives some indication of the significance of this invariant. We also use the results of the paper to describe the co-Galois groups associated to the Gorenstein flat cover of a ℤG-module. Presented by A. Verschoren Mathematics Subject Classifications (2000) 20C05, 16E65.     

USING FINITE GEOMETRIES TO CONSTRUCT 3-PBIB(2) DESIGNS AND 3-DESIGNS

ＵＳＩＮＧＦＩＮＩＴＥＧＥＯＭＥＴＲＩＥＳＴＯＣＯＮＳＴＲＵＣＴ３－ＰＢＩＢ（２）ＤＥＳＩＧＮＳＡＮＤ３－ＤＥＳＩＧＮＳ￥ＹＡＮＧＢＥＮＦＵ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＣｈｅｎｇｄｕＴｅａｃｈｅｒｓＣｏｌｌｅｇｅ，Ｃｈｅｎｇｄｕ...     

Characterization of 2-Pisot Elements in the Field of Laurent Series over a Finite Field

Mathematical Notes - Let Fq be a finite field, and let Fq[X] be the ring of polynomials with coefficients in Fq. A 2-Pisot element is a pair of algebraic integers of formal Laurent series over...     

奇异伪辛群的Carter子群

设 Fq是特征为 2的有限域 ,本文研究了 Fq上 2 ν+δ+t级奇异伪辛群 Ps2ν+δ+ t(Fq) (δ=1或 2 )的 Carter子群的存在性及结构 .得到的结果为 :若 q>2 ,Ps2ν+δ+ t(Fq)中不含 Carter子群 ,若 q=2 ,Ps2ν+δ+ t(Fq)的 Carter子群为它的 Sylow2 -子群的正规化子 .     

一类代数几何码的构造

利用有限域Fq^8(s≥1为正整数，q为素数幂)上代数曲线构造了一类q元线性码，这类线性码是q^8元几何Goppa码的子域子码的子码，同时也是Chaoping Xing，SanLing构造的代数几何码[1]的推广。     

有限域的加法群中的差集

令Fq是具有q个元素的有限域,这里q是一个奇素数的幂,给出了Fq的加法群中的一些差集,并计算了它们的参数.     

仿射酉群作用下的面轨道生成的格

设AUG(n,Fq2)是Fq2上的n维仿射酉空间,AUn(Fq2)是Fq2上的n次仿射酉群,设M(m,r)是AUn(Fq2)作用下的(m,r)面的轨道.用L(m,r)表示M(m,r)中面的交生成的集合.讨论了各轨道生成的集合之间的包含关系,一个面属于M(m,r)生成的集合的条件,以及L(m,r)是几何格的充要条件.     

利用有限域上伪辛几何中一类2维非迷向子空间构作PBIB设计

设Ｆｑ是特征为２的有限域，本文利用Ｆｑ上２ｖ＋２维伪辛几何中包含固定的１维非迷向子空间的一类的２维非迷向子空间作处理，构作了具有２（ｑ－１）个结合类的结合方法和ＰＢＩＢ设计，并计算了相应的参数。     

Semiprimeness,quasi-Baerness and prime radical of skew generalized power series rings

Let R be a ring, (S,≤) a strictly ordered monoid and ω:S→End(R) a monoid homomorphism. The skew generalized power series ring R[[S,ω]] is a common generalization of (skew) polynomial rings, (skew) power series rings, (skew) Laurent polynomial rings, (skew) group rings, and Mal’cev-Neumann Laurent series rings. In this paper we obtain necessary and sufficient conditions for the skew generalized power series ring R[[S,ω]] to be a semiprime, prime, quasi-Baer, or Baer ring. Furthermore, we study the prime radical of a skew generalized power series ring R[[S,ω]]. Our results extend and unify many existing results. In particular, we obtain new theorems on (skew) group rings, Mal’cev-Neumann Laurent series rings and the ring of generalized power series.     

Computing invariants of reductive groups in positive characteristic

This paper gives an algorithm for computing invariant rings of reductive groups in arbitrary characteristic. Previously, only algorithms for linearly reductive groups and for finite groups have been known. The key step is to find a separating set of invariants.