对称环的扩张

本文首先考虑了对称环的性质和基本的扩张．其次讨论了几种多项式环的对称性,且证明了:如果R是约化环,则R[x]／(xn)是对称环,其中(xn)是由xn生成的理想,n是一个正整数．最后证明了:对一个右Ore环R,R是对称环当且仅当R的古典右商环Q是对称环．     

右对称环

本文在左对称环的基础上提出了右对称环的概念,分别给出了是右对称环但不是左对称环和是左对称环但不是右对称环的例子．证明了（1）如果R是Armendariz环,则R是右对称环的充要条件R[x]是右对称环;（2）如果R是约化环,则R[x]/（x^n）是右对称环,其中（xn）是由xn生成的理想．     

有限置换模自同态环的可分性质

设Q是有限置换右R模,则EndR(Q)是可分环当且仅当对所有A,B∈FP(Q),A A≌A B≌B B A≤ B或B≤ A.作为应用得到了EndR(P Q)是可分环当且仅当EndRP和EndRQ为可分环,其中P,Q为有限置换右R模.     

有限置换模自同态环的可分性质

设Q是有限置换右R模,则End_R(Q)是可分环当且仅当对所有A,B∈FP(Q),A AA B B B A≤ B或 B≤A,作为应用得到了 End_R(P Q)是可分环当且仅当End_R P和End_R Q为可分环,其中P,Q为有限置换右R模。     

斜三角矩阵环的强可逆性和弱刚性

设σ是环R的一个自同态,δ是R的一个σ-导子.研究斜三角矩阵环T_n(R,α)的强可逆性和(σ,δ)-弱刚性,证明了1)若α是环R的一个刚性自同态,则环R是强可逆环当且仅当T_n(R,α)是强可逆环;2)若α和σ都是环R的刚性自同态,ασ=σα,且R是δ-弱刚性环,则R是(σ,δ)-弱刚性环当且仅当T_n(R,α)是(σ,δ)-弱刚性环.     

Zip模的扩张（英文）

本文主要证明了:(1)如果右R-模MR是(α,δ)-compatible且(α,δ)-Armendariz,则右R[x;α,δ]-模M[x]是zip模当且仅当右R-模MR是zip模;(2)如果(S,)是可消无挠严格序幺半群且M_R是S-Armendariz模,则右[[R~S,]]-模[[M~S,]]_([[R~S,]]是zip模当且仅当右R-模M_R是zip模;(3)如果M_R是reduced且σ-compatible模,G为序群,则Malcev-Neumann环R*((G))上模M*((G))_(R*((G)))是zip模当且仅当右R-模M_R是zip模;因此一些文献中关于zip环与zip模的部分结论可以看作是本论文相关结论的推论.     

强symmetric环

为了统一交换环和约化环的层表示,Lambek引进了Symmetric环.继续symmetric环的研究,定义引入了强symmetric环的概念,研究它的一些扩张性质.证明环R是强symmetric环当且仅当R[x]是强symmetric环当且仅当R[x;x~(-1)]是强symmetric环.也证明对于右Ore环R的经典右商环Q,R是强symmetric环当且仅当Q是强symmetric环.     

关于适中稳定环

引入了一类新的稳定环--适中稳定环,证明了如果R是Artin本原因子的置换环,则R是适中稳定环当且仅当1R=α+β,其中α,β∈U(R).如果R是适中稳定环,则K1(R)(≌)U(R)/θ(R),这里θ(R)是V(R)与U(R)'之间的适中子群.作为应用,计算了Artin本原因子的置换环的K1群.     

一类上三角矩阵环$W_{n}(p, q)$的斜Armendariz性质

设α是环R的一个自同态,称环R是α-斜Armendariz环,如果在R[x;α]中,(∑_(i=0)~ma_ix~i)(∑_(j=0)~nb_jx~j)=0,那么a_ia~i(b_j)=0,其中0≤i≤m,0≤j≤n.设R是α-rigid环,则R上的上三角矩阵环的子环W_n(p,q)是α~—-斜Armendariz环.     

斜幂级数环的主拟Baer性

设R是环,并且R的左半中心幂等元都是中心幂等元, α是R的一个弱刚性自同态. 本文证明了斜幂级数环R[[x,α]]是右主拟Baer环当且仅当R是右主拟Baer环,并且R的任意可数幂等元集在I(R)中有广义交,其中I(R)是R的幂等元集.     

素环的对称双导与交换性

本文讨论当一个素环容许一个非零对称双导时，其迹函数与此环的交换性的关系，得到了与［４，５］类似的结果．     

素环的对称双导

本文讨论了具有非零对称双导的素环的交换性,得到了完善的定理,从而改进了已有的结果.     

环上矩阵广义Moore-Penrose逆的存在性

讨论带有对合反自同构*有单位元的结合环R上矩阵的广义Moore-Penrose 逆,给出了环R上矩阵的广义Moore-Penrose逆存在的几个充要条件．特别,得到了环 R上矩阵A的关于M和N的广义Moore-Penrose逆存在的充要条件是A有分解A= GDH,其中D2=D,(MD)*=MD,(GD)*MGD+M(I-D)和DHN-1(DH)*+ (I-D)M-1均可逆．     

Primitive central idempotents of finite group rings of symmetric groups

Let be a prime. We denote by the symmetric group of degree , by the alternating group of degree and by the field with elements. An important concept of modular representation theory of a finite group is the notion of a block. The blocks are in one-to-one correspondence with block idempotents, which are the primitive central idempotents of the group ring , where is a prime power. Here, we describe a new method to compute the primitive central idempotents of for arbitrary prime powers and arbitrary finite groups . For the group rings of the symmetric group, we show how to derive the primitive central idempotents of from the idempotents of . Improving the theorem of Osima for symmetric groups we exhibit a new subalgebra of which contains the primitive central idempotents. The described results are most efficient for . In an appendix we display all primitive central idempotents of and for which we computed by this method.

     

Investigation of solvable (120, 35, 10) difference sets

Abelian difference sets with parameters (120, 35, 10) were ruled out by Turyn in 1965. Turyn's techniques do not apply to nonabelian groups. We attempt to determine the existence of (120, 35, 10) difference sets in the 44 nonabelian groups of order 120. We prove that if a solvable group admits a (120, 35, 10) difference set, then it admits a quotient group isomorphic to the cyclic group of order 24 or to U₂₄ ? 〈x,y : x⁸ = y³ = 1, xyx^?1 = y^?1〉. We describe a computer search, which rules out solutions with a ?₂₄ quotient. The existence question remains undecided in the three solvable groups admitting a U₂₄ quotient. The question also remains undecided for the three nonsolvable groups of order 120. © 2004 Wiley Periodicals, Inc.     

The Descent Monomials and a Basis for the Diagonally Symmetric Polynomials

Let R(X) = Q[x ₁, x ₂, ..., x _n] be the ring of polynomials in the variables X = {x ₁, x ₂, ..., x _n} and R*(X) denote the quotient of R(X) by the ideal generated by the elementary symmetric functions. Given a S _n, we let g In the late 1970s I. Gessel conjectured that these monomials, called the descent monomials, are a basis for R*(X). Actually, this result was known to Steinberg [10]. A. Garsia showed how it could be derived from the theory of Stanley-Reisner Rings [3]. Now let R(X, Y) denote the ring of polynomials in the variables X = {x ₁, x ₂, ..., x _n} and Y = {y ₁, y ₂, ..., y _n}. The diagonal action of S _n on polynomial P(X, Y) is defined as Let R (X, Y) be the subring of R(X, Y) which is invariant under the diagonal action. Let R *(X, Y) denote the quotient of R (X, Y) by the ideal generated by the elementary symmetric functions in X and the elementary symmetric functions in Y. Recently, A. Garsia in [4] and V. Reiner in [8] showed that a collection of polynomials closely related to the descent monomials are a basis for R *(X, Y). In this paper, the author gives elementary proofs of both theorems by constructing algorithms that show how to expand elements of R*(X) and R *(X, Y) in terms of their respective bases.     

具有对称自同态与对称导子的环

本文研究具有对称自同态和对称导子的环. 利用性质nil(R[x]) =nil(R)[x], 我们证明了: 如果R是弱2-primal 环, 则R 是弱对称(σ, δ)-环当且仅当R[x] 是弱对称(σ,δ) -环. 本文结论拓展了关于对称环和弱对称环的研究.