On Quotient Rings in Alternative Rings

We introduce a notion of left nonsingularity for alternative rings and prove that an alternative ring is left nonsingular if and only if every essential left ideal is dense, if and only if its maximal left quotient ring is von Neumann regular (a Johnson-like Theorem). Finally, we obtain a Gabriel-like Theorem for alternative rings.     

Local Rings of Rings of Quotients

The aim of this paper is to characterize those elements in a semiprime ring R for which taking local rings at elements and rings of quotients are commuting operations. If Q denotes the maximal ring of left quotients of R, then this happens precisely for those elements if R which are von Neumann regular in Q. An intrinsic characterization of such elements is given. We derive as a consequence that the maximal left quotient ring of a prime ring with a nonzero PI-element is primitive and has nonzero socle. If we change Q to the Martindale symmetric ring of quotients, or to the maximal symmetric ring of quotients of R, we obtain similar results: an element a in R is von Neumann regular if and only if the ring of quotients of the local ring of R at a is isomorphic to the local ring of Q at a. Partially supported by the Ministerio de Educación y Ciencia and Fondos Feder, jointly, trough projects MTM2004-03845, MTM2007-61978 and MTM2004-06580-C02-02, MTM2007-60333, by the Junta de Andalucía, FQM-264, FQM336 and FQM02467 and by the Plan de Investigación del Principado de Asturias FICYT-IB05-017.     

On CS Rings and QF Rings

In this paper, we shall discuss the conditions for a right SC right CS ring to be a QF ring. In particular, we prove that if R is a right SI right CS ring satisfying the reflexive orthogonal condition (*) and if every CS right R-module is -CS, then R is a QF ring.AMS Subject Classification (1991): 16L30 16L60     

Lattice-Ordered Matrix Rings Over Totally Ordered Rings

For an n ×n matrix algebra over a totally ordered integral domain, necessary and sufficient conditions are derived such that the entrywise lattice order on it is the only lattice order (up to an isomorphism) to make it into a lattice-ordered algebra in which the identity matrix is positive. The conditions are then applied to particular integral domains. In the second part of the paper we consider n ×n matrix rings containing a positive n-cycle over totally ordered rings. Finally a characterization of lattice-ordered matrix ring with the entrywise lattice order is given.     

一般环之分式环

本文给出一般环R之分式环△^-1R的构造和△^-R的理想的一些性质,推广了现有中外教科书的结论．证明了（1）△^-1R中理想有且仅有形式△^-1I,其中△3R．（2）如果P是R的素理想,且△∩P=Ф,则△^-1P是△^-1R的素理想,且θ^-1（△^-1P）=P。     

Partial Skew Polynomial Rings and Goldie Rings

We prove that if R is a semiprime ring and α is a partial action of an infinite cyclic group on R, then R is right Goldie if and only if R[x; α] is right Goldie if and only if R?x; α? is right Goldie, where R[x; α] (R?x; α?) denotes the partial skew (Laurent) polynomial ring over R. In addition, R?x; α? is semiprime while R[x; α] is not necessarily semiprime.     

Quotient Rings and f-Radical Extensions of Rings

By testing quotient rings, we give another viewpoint concerning the relationship between PI and Goldie properties, etc., and f-radical extensions of rings. The main result proved here is as follows: Let R be a prime algebra without nonzero nil right ideals. Suppose that R is f-radical over a subalgebra A, where f(X ₁,…, X _t ) is a multilinear polynomial, not an identity for p × p matrices in case char R = p > 0. Suppose that f is not power-central valued in R. Then the maximal ring of right (left) quotients of A coincides with that of R. Moreover, R is right Goldie if and only if A is.     

Quasi-Frobenius Rings and Nakayama Permutations of Semiperfect Rings

We say that is a ring with duality for simple modules, or simply a DSM-ring, if, for every simple right (left) -module U, the dual module U* is a simple left (right) -module. We prove that a semiperfect ring is a DSM-ring if and only if it admits a Nakayama permutation. We introduce the notion of a monomial ideal of a semiperfect ring and study the structure of hereditary semiperfect rings with monomial ideals. We consider perfect rings with monomial socles.     

Injective Rings

The purpose of this article is to determine the injective objects in some complete categories of rings. All rings are assumed to have identities and it is assumed that the homomorphisms preserve these identities. We recall that an object Q in a category is called injective if for every diagram where A′ → A is a monomorphism, there is a map A → Q making the triangle commute. The zero ring belongs to all the categories discussed and it is easy to see that it is an injective object. For the categories of commutative rings, strongly regular and commutative regular rings we show that the zero ring is the only injective by using the fact that an injective object must be a retract of any extension. We include in this section the known results which characterize the injective rings and p-rings. The second part of the paper discusses injectivity with respect to regular monomorphisms. Some necessary categorical background is given and it is then shown that results analagous with those of the first section hold (including the known Boolean and p-ring cases). In an abelian category all monomorphisms are regular, so in the study of the injective objects, for example injective modules, there are not two separate cases.     

Bounds in Polynomial Rings over Artinian Local Rings

Let R be a (mixed characteristic) Artinian local ring of length l and let X be an n-tuple of variables. We prove that several algebraic constructions in the ring R[X] admit uniform bounds on the degrees of their output in terms of l, n and the degrees of the input. For instance, if I is an ideal in R[X] generated by polynomials g _i of degree at most d and if f is a polynomial of degree at most d belonging to I, then f = q ₁ f ₁ + ··· + q _s f _s , for some q _i of degree bounded in terms of d, l and n only. Similarly, the module of syzygies of I is generated by tuples all of whose entries have degree bounded in terms of d, l and n only.     

Prime Lie Rings of Derivations of Commutative Rings

Let R be a 2-torsion free commutative ring with identity, and δ a nonzero derivation of R such that R is δ-prime. Then Rδ is a prime Lie ring and any nonzero ideal of Rδ contains an ideal of the form Jδ where J is a nonzero δ-ideal of R.     

Polynomial Rings over Non-noetherian Power Series Rings

ＰｏｌｙｎｏｍｉａｌＲｉｎｇｓｏｖｅｒＮｏｎ┐ｎｏｅｔｈｅｒｉａｎＰｏｗｅｒＳｅｒｉｅｓＲｉｎｇｓＣｈｅｎＨｕａｎｙｉｎ（陈焕艮）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＨｕｎａｎＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，Ｃｈａｎｇｓｈａ，４１００...     

Lattice-finite Rings

We study a one-dimensional analogue of representation-finite rings. For a left Noetherian semilocal ring R, we define an R-lattice to be a finitely generated R-module with zero socle. We call R lattice-finite if the number of isomorphism classes of indecomposable R-lattices is finite. Under this assumption, we give several equivalent criteria for the existence of Auslander–Reiten sequences in the category of R-lattices. A necessary condition is that the maximal left quotient ring of R is semisimple, and the main sufficient criterion states that R admits a semiperfect semiprime Asano left overorder. Presented by I. Reiten Mathematics Subject Classifications (2000) Primary: 16G70, 16G30; secondary: 16G60.