Restricted left principal ideal rings

A ring is an LD-ring ifR is left bounded, ifR/J is a left Artinian left principal ideal ring for every proper idealJ inR, and ifR has finite left Goldie dimension. IfR is non-Artinian thenR is an order in a simple Artinian ringS. The ideal theory of LD-rings is investigated, and we discuss some conditions under which an LD-ring is an hereditary ring, and some under which an LD-ring is a Noetherian, bounded, maximal Asano order. A central localization of an LD-ring is an LD-ring, and the center of some LD-rings is a Krull-domain. This research was supported in part by the National Science Foundation Grant GP 23861.     

Global Theory of Lattice-Finite Noetherian Rings

We introduce and study lattice-finite Noetherian rings and show that they form a onedimensional analogue of representation-finite Artinian rings. We prove that every lattice-finite Noetherian ring R has Krull dimension ≼ 1, and that R modulo its Artinian radical is an order in a semi-simple ring. Our main result states that maximal overorders of R exist and have to be Asano orders, while they need not be fully bounded. This will be achieved by means of an idempotent ideal I(R), an invariant or R which is new even for classical orders R. This ideal satisfies I(R) = R whenever R is maximal. Presented by H. Tachikawa     

On regular rings and V-rings

In this note, certain generalisations of strongly regular rings are considered in connection with regular rings andV-rings. The result that strongly regular rings are left (and right)V-rings [11] is extended. A condition for prime leftV-rings to be primitive with non-zero socle is given (this is related to a question ofFisher [7, Problem 3]. IfA is an ALD (almost left duo) ring, then (1) a simple leftA-module is injective iff it isp-injective; (2)A is von Neumann regular iff every maximal essential right ideal ofA isf-injective. Characterisations of semi-simple Artinian and simple Artinian rings are given in terms of regular andV-rings.     

On $ {p} $‐groups of maximal class

Let R be the ring $ {\mathbb Z}[x]/\left({{x^p-1}\over{x-1}}\right) = {\mathbb Z}[\bar{x}] $ and let $ \mathfrak {a} $ be the ideal of R generated by $ (\bar{x}-1) $ . In this paper, we discuss the structure of the $ {\mathbb Z}[C_p] $‐module $ (R/\mathfrak {a}^{n-1}) \wedge (R/\mathfrak {a}^{n-1}) $, which plays an important role in the theory of p‐groups of maximal class (see 2 - 5 ). The generators of this module allow us to obtain the defining relations of some important examples of p‐groups of maximal class with Y₁ of class two. In particular we obtain the best possible estimates for the degree of commutativity of p‐groups of maximal class with Y₁ of class two. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

On S-duo rings

A unital left R-module R M is said to have property (S) if every surjective endomorphism of R M is an automorphism, the ring R is called left (right) S-ring if every left (right) R-module with property (S) is Noetherian, R is called S-ring if it is both a left and a right S-ring. In this note we show that a duo ring is a left S-ring if and only if it is left Artinian left principal ideal ring. To do this we shall construct on every non distributive Artinian local ring with radical square zero a non-finitely generated module with property (S). And we give an example of left duo left Artinian left principal ideal ring which is not a left S-ring, showing the necessity of the ring to be duo in the above result.     

左连续环中若干链条件的等价性

(1)设R是左连续环,则R是左Artin环当且仅当R满足左限制有限条件当且仅当R关于本质左理想满足极小条件当且仅当R关于本质左理想满足极大条件.同时给出一个左自内射环是QF环的充要条件;(2)证明了左Z₁-环上的有限生成模都有Artin-Rees性质.     

Group of units of group algebras

By a right (left resp.) S_2n-polynomial we mean a multilinear polynomial f(X₁,…, X_t) over the ring of integers with noncommuting in-determinates X_isuch that for any prime ring R if f( X₁,…, X _t) is a PI of some nonzero right (left resp.) ideal of R, then R satisfies S_2nthe standard identity of degree 2n. In this paper we prove the theorem:Let R be a prime ring, d a nonzero derivation of R, L a noncommutative Lie ideal of R and f(X₁,…, X_t) a right or left S_2n-polynomial. Suppose that f(d( u₁)ⁿ¹,…,d(u_t)^nt)=0 for all u_iu,_i[d] L, where n₁,…,n_tare fixed positive integers. Then R satisfies S_2n+2. Also, the one-sided version of the theorem is given.     

Constructing Maximal Commutative Subalgebras of Matrix Rings in Small Dimensions

Let k denote an algebraically closed field of arbitrary characteristic. Let C denote the set of all commutative, finite dimensional, local k-algebras of the form (B, m, k) with i(m) ?2. Here i(m) denotes the index of nilpotency of the maximal ideal m. A Akalgebra (R, J,k)∈L is called a (c₁-construction if there exists (B, m, k)∈ £ ? {(k, (0), k)} and a finitely generated, faithful B-module N such that R,?B?(the idealization of N). (R.J.k) is called a (c_2::-construction if there exist a (B,m k)∈ L, a positive integer p $ge;2 and a nonzero z £ S_B(the socle of B) such that R?B[x]/(mX, X^p- z). Let M_n×n(K) denote the set of all n x n matrices, over k with n≥2. Let .M_n(k) denote the set of all maximal, commutative A;-subalgebras of M_n×n(k). In this paper, we show any (R J, k) ∈£?M_n;(k) with n>5 is a C₁ or C₂ -construction except for one isomorphism class. The one exception occurs when n = 5.     

Residual properties of unit loops and augmentation ideals of alternative loop rings

In this paper we study the lattice of all preradicals on a ring R. We describe this lattice, we prove that it is an atomic and coatomic lattice and we describe the atoms and coatoms. We also give characterizations of simple Artinian, semisimple Artinian, and V-rings in terms of preradicals.     

Some Results on Finitely Laskerian Rings

In Section 1 of this note we give an example of a strongly Laskerian domain D for which the polynomial ring D[x] admits a 2-generated ideal which does not admit a primary decomposition. In Section 2 of this note we prove that if R is a quasilocal ring with M as its unique maximal ideal such that R/Ann(M) is Artinian, then for any subring T of the polynomial ring R[x], each finitely generated proper ideal of T admits a primary decomposition.     

PI-rings and semiprime rings having faithful modules with krull dimension

It is proved that if a PI-ring R has a faithful left R-module M with Krull dimension, then its prime radical rad(R) is nilpotent. If, moreover, the R-module M and the left ideal_R(rad(R)) are finitely generated, then R has a left Krull dimension equal to the Krull dimension of M. It turns out that a semiprime ring, which has a faithful (left or right) module with Krull dimension, is a finite subdirect product of prime rings. Moreover, first, a right Artinian ring R such that rad(R)²=0 has a faithful Artinian cyclic left module, and second, a finitely generated semiprime PI-algebra over a field has a faithful Artinian module. We give examples showing that the restrictions imposed are essential, as well as an example of a finitely generated prime PI-algebra over a field, which is not Noetherian and has a Krull dimension. Supported by RFFR grant No. 26-93-011-1544. Translated fromAlgebra i Logika, Vol. 36, No. 5, pp. 562–572, September–October, 1997.     

Right P-Comparable Semigroups

In this article we utilise the notion of right waist and right comparizer to study the ideal theory of semigroups. We also consider which of the properties of right cones can be carried over to right P-comparable semigroups. We give sufficient and necessary conditions on the set of nilpotent elements of a semigroup to be an ideal, and we provide several equivalent characterizations for a right ideal being a right waist. In one of our main results we show that in a right P ₁-comparable semigroup with left cancellation law, a prime segment P ₂ ? P ₁ is Archimedean, simple or exceptional. This extends a similar result pertaining to right cones.     

On the Multiplicative Monoid of n×n Matrices Over Artinian Chain Rings

Let R be an Artinian chain ring with a principal maximal ideal. We investigate properties of matrices over R and give matrix representations of R-submodules of R ⁿ first, then consider Green's relations, Green's relation equivalent classes, Schützenberger groups of 𝒟-classes, principal factors, and group ?-classes of the multiplicative monoid M _n (R) of n × n matrices over R. Furthermore, we show that M _n (R) is an eventually regular semigroup and derive basic numerical information of M _n (R) when R is finite.     

Central Sets and Radii of the Zero-Divisor Graphs of Commutative Rings

For a commutative ring R with identity, the zero-divisor graph, Γ(R), is the graph with vertices the nonzero zero-divisors of R and edges between distinct vertices x and y whenever xy = 0. This article gives a proof that the radius of Γ(R) is 0, 1, or 2 if R is Noetherian. The center union {0} is shown to be a union of annihilator ideals if R is Artinian. The diameter of Γ(R) can be determined once the center is identified. If R is finite, then the median is shown to be a subset of the center. A dominating set of Γ(R) is constructed using elements of the center when R is Artinian. It is shown that for a finite ring R ? ?₂ × F for some finite field F, the domination number of Γ(R) is equal to the number of distinct maximal ideals of R. Other results on the structure of Γ(R) are also presented.     

Ideals in tensor powers of the enveloping algebra u(sl 2)

Let U = U(_sl₂)^?n be the tensor power of n copies of the enveloping algebra U(sl ₂) over an arbitrary field K of characteristic zero. In this paper we list the prime ideals of U by generators and classify them by height. If Z is the center of U and J is a prime ideal of Z, there are exactly 2₅ prime ideals I of U with I ∩ Z = J, where 0 ≤ s = s(J) ≤ n is an integer. Indeed, with respect to inclusion, they form a lattice isornorphic to the lattice of subsets of a set. When J is a maximal ideal of Z, there are only finitely many two-sided ideals of U containing J, They are presented by generators and their lattice is described, In particular, for each such J there exists a unique maximal ideal of U containing J and a unique ideal of U minimal with respect to the property that it properly contains JU. Similar results are given in the case when U is the tensor product of infinitely many copies of U(sl ₂).     

A NOTE ON LEFT STROUGLY NIL AND LEFT STROUGLY NILPOTENT

Abstract

In [2] van der Walt called a left ideal L of a ring A, left strongly nil, if given 1 ε L and k ε K, K a left ideal. there is an n such that (1+k)ⁿ ε K. L is called left strongly nilpotent if for any left ideal K there exists an m such that (L+K)^m ? K. In this paper we will prove that if A is a left artinian ring (not necessarily with unity) then every left strongly nil left ideal is left strongly nilpotent. This result is a generalization of the main theorem of [2].     

Approximation of Pseudoresolvents

After a short introduction where a few main notions and results are recalled, we state some results connected with generated and L_∞-type pseudoresolvents. Among others, we give theorems of characterization both for L_∞-type pseudoresolvents and for their generators. The relation between L_∞-type pseudoresolvents and C₀-equicontinuous semigroups is also pointed out. The last part of the present paper is devoted to approximation of pseudoresolvents and their generators. If are generated pseudoresolvents and A_n, A their generators, we investigate conditions under which A is approximated by A_n and R is approximated by R_n, n ≥ 1. In addition, we give conditions under which a sequence of generated pseudoresolvents approximates a pseudoresolvent, and in this case we study the connection between generators. Received: February 14, 2008., Revised: June 2, 2008., Accepted: August 24, 2008.     

Isomorphism Classes of Certain Artinian Gorenstein Algebras

In this paper we attack the problem of the classification, up to analytic isomorphism, of Artinian Gorenstein local k-algebras with a given Hilbert Function. We solve the problem in the case the square of the maximal ideal is minimally generated by two elements and the socle degree is high enough.     

A note on the hilbertfunction of a one-dimensional Cohen-Macaulay ring

In this note we give examples of one-dimensional noetherian local integral domains with the property that the number of generators of the square of the maximal ideal is less than the embedding dimension. On the other hand we show that if \((R,m)\) is a local one-dimensional Cohen-Macaulay ring, then \((m^n )\) for all n such that μ \((m^n )\) < m(R). Here μ denotes the minimal number of generators of an ideal and m(R) the multiplicity of R. A similar statement was conjectured by D. Sally in [5], Our main result 2.1 generalizes Prop. 2.6. in [6].