分次环的Smash积A#G*与单位分量Ae理想间的对应

本文对任意群G上的任意分次环A,建立了Smash积A#G^*和单位分量A_e理想间的对应关系,并运用所建立的对应关系研究分次环的Smash积A#G^*和A_e的半素性,素性和单性.     

Morita对偶和Smash积

设G是有限群,e为G的单位元,R=是有单位元的G-型分次环,T=R_e,R_U是极小内射余生成子.本文中,我们证明了R有左Morita对偶当且仅当Smash积R#G有左Morita对偶.设H是G的(正规)子群,若R有左Morita对偶,则R~((H))#H(R_((G/H))#(G/H))有左Morita对偶。当R是强分次环时,T有左Morita对偶当且仅当R有左Morita对偶当且仅当R#G有左Morita对偶.     

强分次环与Maschke-型定理

设G是有限群,|G|^-1∈R.本文证明了与强G-分次环R,R#k[G]^*,非分次R-模和R_e-模有关的两个Maschke-型定理.     

关于2n-算子组(LA,RB)的Taylor谱

设A=(A_1,……,A_n)与B=(B₁,……,B_n)为Hilbert空间H上的交换算子,L_A=(LA₁),……,LA_n))当R_B=(R(B₁,……,RB_n)分别为对应的B(H)中的左乘和右乘算子组。本文的主要结果是它们的Taylor谱有 Sp(L_A,R_B)=Sp(A)×Sp(B),
Sp_e(L_A,R_B)=Sp_e(A)×Sp(B)USp(A)×SP_e(B), 而且当A,B为Fredholm时,成立ind(L_A,R_B)=ind(A)·ind(B*)。我们用解算子方程的方法来证明上述命题,而且对Banach空间时,也作了一些讨论。     

代数的导出等价

讨论了代数R_A^m与R_B^m的导出等价与稳定等价问题 利用倾斜复形证明了:当代数A与B导出等价时,代数R_A^m与R_B^m也是导出等价的.推广了有关平凡扩张代数的相应结果.     

有限特殊射影酉群U4(q)与U5(q)的一个特征性质

设G为有限群,如对每个质数r都有|N_G(R₁)|=|N_(Un(q))(R₂)|,那么G≌U_n(q),此处R₁∈Syl_r(G),R₂∈Syl_r(U_n(q)),n=4或5.     

关于R(Ax)闭的连续算子族Ax的Moore-Penrose广义逆Ax+连续的充要条件

设X是拓扑空间,A_x,闭值域R(A_x)为X→B(H)的连续映射,我们知道:即使在dim(H)有限的情况下,M.-P.逆A_x⁺:也不一定连续,A_x⁺连续的充要条件,对现代分析和应用数学的一些研究是很重要的,本文给出了,在一般拓扑空间X、局部紧拓扑空间X、A_x为Fredholm算子族等情况下,A_x⁺为连续的充分必要条件。     

对偶扩张代数的倾斜模及其导出的挠理论 *

设A是有限维代数 ,R为代数A的对偶扩张代数 .研究了倾斜理论及其导出的挠理论 .首先通过函子研究了倾斜R 模与倾斜A 模的重要联系 ,给出了M _AR是一个倾斜R-模的充分必要条件.其次讨论了两个倾斜模给出模范畴中同一子范畴的不同等价问题 .对倾斜R-模M₁ AR和M₂ AR ,证明了它们导出modR中相同的挠理论当且仅当M₁和M₂ 导出modA中相同的挠理论 .     

APT环上幂等阵的对角化

设R是一阿贝尔环(R的所有幂等元都在中心里),A是R上的一幂等阵.本文证明了以下结果：(a)A相抵于一对角阵当且仅当A相似于一对角阵;(b)若R是一APT(阿贝尔投射平凡)环,则A在相似变换之下可唯一地化为对角形diag{e₁, ..., e_n｝,这里e_i整除e_i+1;(c)R是APT环当且仅当R/I是APT环,这里I是环R的一幂零理想.由(a),还证明了分离的阿贝尔正则环是APT环.     

Suzuki-Ree群的特征性质

本文证明了如下定理定理.设G是群,M为Suzuki-Ree群,则G≌M当且仅当:(1)π_e(G)=π_e(M),其中π_e(G)记为G中元的阶之集;(2)|G|=|M|.     

m-Power Commuting MAPS on Semiprime Rings

Let R be a semiprime ring with center Z(R), extended centroid C, U the maximal right ring of quotients of R, and m a positive integer. Let f: R → U be an additive m-power commuting map. Suppose that f is Z(R)-linear. It is proved that there exists an idempotent e ∈ C such that ef(x) = λx + μ(x) for all x ∈ R, where λ ∈C and μ: R → C. Moreover, (1 ? e)U ? M₂(E), where E is a complete Boolean ring. As consequences of the theorem, it is proved that every additive, 2-power commuting map or centralizing map from R to U is commuting.     

Morita Duality for the Rings of Generalized Power Series

Let A, B be associative rings with identity, and (S, ≤) a strictly totally ordered monoid which is also artinian and finitely generated. For any bimodule _A M _B , we show that the bimodule _{[[ AS,≤ ]]}[M ^{S ,≤}]_{[[ BS, ≤ ]]} defines a Morita duality if and only if _A M _B defines a Morita duality and A is left noetherian, B is right noetherian. As a corollary, it is shown that the ring [[A ^{S ,≤}]] of generalized power series over A has a Morita duality if and only if A is a left noetherian ring with a Morita duality induced by a bimodule _A M _B such that B is right noetherian. Received April 13, 1999, Accepted December 12, 1999     

Duality in hypercomplex function theory

Let $\text{A}$ be the Clifford algebra constructed over a quadratic n-dimensional real vector space with orthogonal basis {e₁,…, e_n}, and e₀ be the identity of $\text{A}$. Furthermore, let M_k(Ω;$\text{A}$) be the set of $\text{A}$-valued functions defined in an open subset Ω of R^m+1 (1 ? m ? n) which satisfy D^kf = 0 in Ω, where D is the generalized Cauchy-Riemann operator $\text{D = ∑}{}_{\mathrm{i\; =\; 0}}{}^{\mathrm{m}}\text{e}{}_{\mathrm{i}}\text{(}\text{?}\text{?x}{}_{\mathrm{i}}\text{)}$ and k? N. The aim of this paper is to characterize the dual and bidual of M_k(Ω;$\text{A}$). It is proved that, if M_k(Ω;$\text{A}$) is provided with the topology of uniform compact convergence, then its strong dual is topologically isomorphic to an inductive limit space of Fréchet modules, which in its turn admits M_k(Ω;$\text{A}$) as its dual. In this way, classical results about the spaces of holomorphic functions and analytic functionals are generalized.     

Duality for max-separable problems

In this paper we propose a general duality theory for a class of so called ‘max-separable’ optimization problems. In such problems functions h:R ^k → R of the form h(x ₁, . . . , x _k ) =? max _j ? h _j (x _j ), occur both as objective functions and as constraint functions (h _j are assumed to be strictly increasing functions of one variable). As a result we obtain pairs of max-separable optimization problems, which possess both weak and strong duality property without a duality gap.     

A note on weakly clean rings

Let R be an associative ring with identity. An element x??R is said to be weakly clean if x=u+e or x=u?e for some unit u and idempotent e in R. The ring R is said to be weakly clean if all of its elements are weakly clean. In this paper we obtain an element-wise characterization of abelian weakly clean rings. A relation between unit regular rings and weakly clean rings is also obtained.     

带Morita对偶的偏序集环

设Ｒ是有１的结合环，Ｉ是任意偏序集，ＲＩ是Ｒ上Ｉ的偏序集环．本文考虑了带对偶的偏序集环，得到：ＲＩ带Ｍｏｒｉｔａ对偶当且仅当Ｒ带Ｍｏｒｉｔａ对偶．推广了已有的在Ｒ是有限偏序集时的有关结果     

A local version of Gearhart’s theorem

Let {e ^tA: t ≥ 0} be a C₀—semigroup on the Hilbert space ?. If x ₀ ∈ ? is such that the local resolvent R(λ,A) x ₀ admits a bounded holomorphic extension to the open half plane {Reλ > 0}, then lim _t→∞‖e ^tA R(λ₀, A) x ₀‖ = 0 for each λ₀ ∈ ρ(A). This resuit is used to find mild spectral conditions which ensure the decay at infmity to zero of solutions of higher order abstract Cauchy problems.     

Gruson-Jensen Duality for Idempotent Rings

It is known that if R is a ring with identity, and S and A ^op are the functor rings associated to the categories Mod(R) and Mod(R ^op ), respectively, then there is a duality between the categories of finitely presented objects of Mod(S ^op ) and Mod(A). We prove here this result in a more general case, namely when R is an idempotent ring, not necessarily having an identity, and when the categories Mod(R) of torsionfree and unitary right R-modules and Mod(R ^op ) of torsionfree and unitary left R-modules are locally finitely presented.     

Power cocentralizing generalized derivations on prime rings

Let R be a prime ring, U the Utumi quotient ring of R, C = Z(U) the extended centroid of R, L a non-central Lie ideal of R, H and G non-zero generalized derivations of R. Suppose that there exists an integer n ≥ 1 such that (H(u)u − uG(u)) ⁿ = 0, for all u ∈ L, then one of the following holds: (1) there exists c ∈ U such that H(x) = xc, G(x) = cx; (2) R satisfies the standard identity s ₄ and char (R) = 2; (3) R satisfies s ₄ and there exist a, b, c ∈ U, such that H(x) = ax+xc, G(x) = cx+xb and (a − b) ⁿ = 0.     

Adapted algebras for the Berenstein-Zelevinsky conjecture

Let G be a simply connected semisimple complex Lie group and fix a maximal unipotent subgroup U^- of G. Let q be an indeterminate and let B* denote the dual canonical basis (cf. [19]) of the quantized algebra Cq[U^-] of regular functions on U^-. Following [20], fix a Z^N_≧0-parametrization of this basis, where N = dim U^-. In [2], A. Berenstein and A. Zelevinsky conjecture that two elements of B* q-commute if and only if they are multiplicative, i.e., their product is an element of B* up to a power of q. To any reduced decomposition w₀ of the longest element of the Weyl group of g, we associate a subalgebra A_w0, called adapted algebra, of Cq[U^-] such that (1) A_w0 is a q-polynomial algebra which equals Cq[U^-] up to localization, (2) A_w0 is spanned by a subset of B*, (3) the Berenstein–Zelevinsky conjecture is true on A_w0. Then we test the conjecture when one element belongs to the q-center of Cq[U^-].