Adjacency Preserving Bijection Maps of Hermitian Matrices over any Division Ring with an Involution

Let D be any division ring with an involution,Hn （D） be the space of all n × n hermitian matrices over D. Two hermitian matrices A and B are said to be adjacent if rank（A - B） = 1. It is proved that if φ is a bijective map from Hn（D）（n ≥ 2） to itself such that φ preserves the adjacency, then φ^-1 also preserves the adjacency. Moreover, if Hn（D） ≠J3（F2）, then φ preserves the arithmetic distance. Thus, an open problem posed by Wan Zhe-Xian is answered for geometry of symmetric and hermitian matrices.     

强P除环上方阵的酉相似理论(Ⅱ)

This is a continuation of the previous paper ( 1 ) . In this paper , a useful basic theorem that every selfconjugate matrix over the strong p division ring Ω is unitary similar to a tridiagorial matrix over the conter of Ω is given thus all of famous results involving selfconjugate matrices, positivedefinite selfcon jugate matrices, nonnegative selfconjugate matrix in the ordiniry com plex matrix theory are generalized to selfconjugate matrices over Ω . and Sigular decomuposition as well as polar decomposition in the ordinary complex matrix theory are also generalized to matrices over Ω .     

Gorenstein projective modules and Frobenius extensions

We prove that for a Frobenius extension, if a module over the extension ring is Gorenstein projective,then its underlying module over the base ring is Gorenstein projective; the converse holds if the frobenius extension is either left-Gorenstein or separable(e.g., the integral group ring extension ZZG).Moreover, for the Frobenius extension RA = R[x]/(x~2), we show that: a graded A-module is Gorenstein projective in GrMod(A), if and only if its ungraded A-module is Gorenstein projective, if and only if its underlying R-module is Gorenstein projective. It immediately follows that an R-complex is Gorenstein projective if and only if all its items are Gorenstein projective R-modules.     

Geometry of 2×2 Hermitian matrices over any division ring

Let D be a division ring with an involution-,H2(D) be the set of 2 × 2 Hermitian matrices over D. Let ad(A,B) = rank(A-B) be the arithmetic distance between A,B ∈ H2(D) . In this paper,the fundamental theorem of the geometry of 2 × 2 Hermitian matrices over D(char(D) = 2) is proved:if  :H2(D) → H2(D) is the adjacency preserving bijective map,then  is of the form (X) = tP XσP +(0) ,where P ∈ GL2(D) ,σ is a quasi-automorphism of D. The quasi-automorphism of D is studied,and further results are obtained.     

AN EQUIVALENCE BETWEEN RING F AND INFINITE MATRIX SUBRING OVER F

In 1974 Fuller characterized the equivalences between certain subcategories of thecategory of modules over a ring and the category of unital modules over a ring with iden-tity.In this paperthe author uses this equivalence to extend the well-known theorem:F≈M_n(F),where F is a ring with identity and M_n(F)is the ring of matrices over F.     

The Fundamental Units ofAlgebraic Real Quadratic Function Fields

A general theorem on the fundamental unit E of any algebraic quadratic function field K isgiven here; and then the fundamental unit E is exhibited explicitly for sixteen types of four seriesof quadratic function fields K.Suppose that k = Fq.(T) is the rational function field in the indeterminate (variable) T overF,, the finite field with q elements (q is a power of odd prime number p). Let R = Fq[T] bethe polynomial ring of T over F., which is also said to be the ring (domain) of integers…     

强p除环上方阵的酉相似理论(Ⅲ)

In this third paper, the famous Schur theorem that an n× n complex matrix is unitary similar to an upper triangular matrix is generalized to the socalled ∑-lizable matrix over the strong p-division ring Ω, where ∑ is the algebraically closed extension field of the center of Ω , and ∑?Ω.The generalized Schur's identity and other results involving the general-ized normal matrix over Ω is obtained by using this generalized Schur theorem.     

H-separable Hopf Galois Extensions and Azumaya Algebra

1 IntroductionLet A/R be a ring extension with the common identity 1. A/R is said to be separable if theA-bimodule homomorphism of A @R A onto A defined by a @ 5-a6 splits. A separableextension over a non-commutative ring generalizes that over a commutative ring which wasdiscussed in [1]. Hirata introduced anOther kind of separable extensions called H-separabeones (see [2]). A/R is said to be H-separable if A @R A is isomorphic as an A-bimoduleto a direct sumrnand of A". riom {2, Theor…     

Geometry of rectangular block triangular matrices

Let D be any division ring, and let T（mi,ni,k） be the set of k × k （k ≥ 2） rectangular block triangular matrices over D. For A, B ∈ T（mi,ni,k）, if rank（A - B） = 1, then A and B are said to be adjacent and denoted by A -B. A map T ： T（mi,ni,k） -〉 T（mi,ni,k） is said to be an adjacency preserving map in both directions if A - B if and only if φ（A） φ（B）. Let G be the transformation group of all adjacency preserving bijections in both directions on T（mi,ni,k）. When m1,nk ≥ 2, we characterize the algebraic structure of G, and obtain the fundamental theorem of rectangular block triangular matrices over D.     

线性变换的GM元对

In this short note we discuss the GM property of some special linear transformation pairs over infinite-dimensional vector spaces. In particular, it is proved that if R = End(VD)is the endomorphism ring of an infinite-dimensional right vector space V over a division ring D with |C(D)| 3 and g ∈ R, then(a0+ a1g, g) is a GM pair for any a0, a1∈ C(D).Furthermore, two existing results are obtained as immediate consequences.     

Generalized PP and Zip Subrings of Matrix Rings

Let R be an abelian ring. We consider a special subring An, relative to α2,…, αn∈ REnd（R）, of the matrix ring Mn（R） over a ring R. It is shown that the ring An is a generalized right PP-ring （right zip ring） if and only if the ring R is a generalized right PP-ring （right zip ring）. Our results yield more examples of generalized right PP-rings and right ziu rings.     

GEOMETRY OF RECTANGULAR MATRICES OVER A SIMPLE ARTINIAN RING

Let R be a simple Artinian ring,M_(m×n)(R) be the set of all m×n matrices over R.GL_n(R) be the set of all n×n invertible matrices over R.Let A~T be the transpose matrix ofA∈M_(m×n)(R).By the Wedderburn-Artin theorem,R be isomorphic to a total matrix ringM_(s×s)(D) over a division ring D.Let α→(α)_D be an isomorphism of R onto M_(s×s)(D), if X=     

四元数体上Hermitian矩阵空间保秩1的加法映射

Let Q be the quaternion division algebra over real field F.Denote by H_n(Q)the set of all n×n hermitian matrices over Q.We characterize the additive maps from H_n(Q) into H_m(Q)that preserve rank-1 matrices when the rank of the image of I_n is equal to n. Let Q_R be the quaternion division algebra over the field of real number R.The additive maps from H_n(Q_R) into H_m(Q_R)that preserve rank-1 matrices are also given.     

素环中广义导子的复合(英文)

Let R be a prime ring with a non-central Lie ideal L. In the present paper we show that if the composition DG of two generalized derivations D and G is zero on L, then DG must be zero on R. And we get all the possibilities for the composition of a couple of generalized derivations to be zero on a non-central Lie ideal of a prime ring.     

Generalized Inverses of Matrices over Rings

Let R be a ring, * be an involutory function of the set of all finite matrices over R. In this paper, necessary and sufficient conditions are given for a matrix to have a (1,3)-inverse, (1,4)-inverse, or Moore-P enrose inverse, relative to *. Some results about generalized inverses of matrices over division rings are generalized and improved.     

Approximate equivalence in von Neumann algebras

One formulation of D. Voiculescu's theorem on approximate unitary equivalence is that two unital representations π and ρ of a separable C*-algebra are approximately unitarily equivalent if and only if rank οπ = rank ορ. We study the analog when the ranges of π and ρ are contained in a von Neumann algebra R, the unitaries inducing the approximate equivalence must come from R, and "rank" is replaced with "R -rank" (defined as the Murray-von Neumann equivalence of the range projection).     

Frobenius扩张上的$n$-Gorenstein投射模和维数

In this paper, we study n-Gorenstein projective modules over Frobenius extensions and n-Gorenstein projective dimensions over separable Frobenius extensions. Let R ■ A be a Frobenius extension of rings and M any left A-module. It is proved that M is an n-Gorenstein projective left A-module if and only if A ■_RM and Hom_R(A, M) are n-Gorenstein projective left A-modules if and only if M is an n-Gorenstein projective left R-module. Furthermore, when R ■ A is a separable Frobenius extension, n-Gorenstein projective dimensions are considered.     

Universal Similarity Factorization Equalities over Generalized Clifford Algebras

For any element a in a generalized 2^n-dimensional Clifford algebra Lln （F） over an arbitrary field F of characteristic not equal to two, it is shown that there exits a universal invertible matrix Pn over Lln（F） such that Pn^-1DnPn= φ（α）∈F^2n×2n, where φ（a） is a matrix representation of α over and Dα is a diagonal matrix consisting of a or its conjugate.     

关于w-linked扩环

Let R ■ T be an extension of commutative rings.T is called w-linked over R if T as an R-module is a w-module.In the case of R ■ T ■ Q 0 （R）,T is called a w-linked overring of R.As a generalization of Wang-McCsland-Park-Chang Theorem,we show that if R is a reduced ring,then R is a w-Noetherian ring with w-dim（R） 1 if and only if each w-linked overring T of R is a w-Noetherian ring with w-dim（T ） 1.In particular,R is a w-Noetherian ring with w-dim（R） = 0 if and only if R is an Artinian ring.     

关于亚直接不可约完全左对称Г-环

A left ideal L of a Г-ring M is called left symmetric if aabβb∈L implies aacβb∈L, where a,b, c∈ M, a ,β∈Γ. A Γ-ring M is called to be a Γ-division ring if it has the left unity, and if left oprator ring R is a division ring.In this paper, the following results are pvoved:Suppose that every left ideal of a Γ-ring M is left symmetiic.If A is subdirectly irreducible with more than one element and with no nonzero nilpotents then it is a Γ-division ring.If M is subdirectly irreducible and if D≠M then M/D is a Γ-division ring where D=(a∈M|aΓb=0,0≠b∈M).