Commuting Graphs of Matrix Algebras

The commuting graph of a ring R, denoted by Γ(R), is a graph whose vertices are all noncentral elements of R, and two distinct vertices x and y are adjacent if and only if xy = yx. The commuting graph of a group G, denoted by Γ(G), is similarly defined. In this article we investigate some graph-theoretic properties of Γ(M _n (F)), where F is a field and n ≥ 2. Also we study the commuting graphs of some classical groups such as GL _n (F) and SL _n (F). We show that Γ(M _n (F)) is a connected graph if and only if every field extension of F of degree n contains a proper intermediate field. We prove that apart from finitely many fields, a similar result is true for Γ(GL _n (F)) and Γ(SL _n (F)). Also we show that for two fields F and E and integers n, m ≥ 2, if Γ(M _n (F))?Γ(M _m (E)), then n = m and |F|=|E|.     

The Total Graphs of Finite Rings

In this paper we extend the study of total graphs τ(R) to noncommutative finite rings R. We prove that τ(R) is connected if and only if R is not local, and we see that in that case τ(R) is always Hamiltonian. We also find an upper bound for the domination number of τ(R) for all finite rings R.     

Commuting Graphs of Group Algebras

The commuting graph of a ring R, denoted by Γ(R), is a graph of all whose vertices are noncentral elements of R, and 2 distinct vertices x and y are adjacent if and only if xy = yx. In this article we investigate some graph-theoretic properties of Γ(kG), where G is a finite group, k is a field, and 0 ≠ |G| ∈k. Among other results it is shown that if G is a finite nonabelian group and k is an algebraically closed field, then Γ(kG) is not connected if and only if |G| = 6 or 8. For an arbitrary field k, we prove that Γ(kG) is connected if G is a nonabelian finite simple group or G′ ≠ G″ and G″ ≠ 1.     

On Finite Factorization Rings

Let R be a commutative ring with identity. R is a finite factorization ring (FFR) if every nonzero nonunit of R has only a finite number of factorizations up to order and associates. In this article, we give a characterization of R for R[X] and R[[X]] to be an FFR.     

Planar,Toroidal, and Projective Commuting and Noncommuting Graphs

In this paper, all finite groups whose commuting (noncommuting) graphs can be embed on the plane, torus, or projective plane are classified.     

Classification of Rings with Genus One Zero-Divisor Graphs

This paper investigates properties of the zero-divisor graph of a commutative ring and its genus. In particular, we determine all isomorphism classes of finite commutative rings with identity whose zero-divisor graph has genus one.     

Cut Vertices in Zero-Divisor Graphs of Finite Commutative Rings

A cut vertex of a connected graph is a vertex whose removal would result in a graph having two or more connected components. We examine the presence of cut vertices in zero-divisor graphs of finite commutative rings and provide a partial classification of the rings in which they appear.     

On Strongly Clean Matrix and Triangular Matrix Rings

A ring R with identity is called “clean” if every element of R is the sum of an idempotent and a unit, and R is called “strongly clean” if every element of R is the sum of an idempotent and a unit that commute. Strongly clean rings are “additive analogs” of strongly regular rings, where a ring R is strongly regular if every element of R is the product of an idempotent and a unit that commute. Strongly clean rings were introduced in Nicholson (1999 Nicholson , W. K. (1999). Strongly clean rings and Fitting's lemma. Comm. Algebra 27:3583–3592. [CSA] [Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]) where their connection with strongly π-regular rings and hence to Fitting's Lemma were discussed. Local rings and strongly π-regular rings are all strongly clean. In this article, we identify new families of strongly clean rings through matrix rings and triangular matrix rings. For instance, it is proven that the 2 × 2 matrix ring over the ring of p-adic integers and the triangular matrix ring over a commutative semiperfect ring are all strongly clean.     

The Zero Divisor Graphs of Commutative Local Rings of Order p 4 and p 5

To each commutative ring R we can associate a zero divisor graph whose vertices are the zero divisors of R and such that two vertices are adjacent if their product is zero. Detecting isomorphisms among zero divisor graphs can be reduced to the problem of computing the classes of R under a suitable semigroup congruence. Presently, we introduce a strategy for computing this quotient for local rings using knowledge about a generating set for the maximal ideal. As an example, we then compute Γ(R) for several classes of rings; with the results in [4 Bloomfield , N. , Wickham , C. ( 2010 ). Local rings with genus 2 zero divisor graph . Comm. Alg. 38 ( 8 ): 2965 – 2980 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] these classes include all local rings of order p ⁴ and p ⁵ for prime p.     

On Armendariz Rings and Matrix Rings with Simple 0-Multiplication

We introduce and study subrings with simple 0-multiplication of matrix rings in the context of Armendariz rings. In this way we extend several known results in the area.     

On diameter of the commuting graph of a full matrix algebra over a finite field

It is shown that the commuting graph of a matrix algebra over a finite field has diameter at most five if the size of the matrices is not a prime nor a square of a prime. It is further shown that the commuting graph of even-sized matrices over finite field has diameter exactly four. This partially proves a conjecture stated by Akbari, Mohammadian, Radjavi, and Raja [Linear Algebra Appl. 418 (2006) 161–176].     

Commuting Derivations and Automorphisms of Certain Nilpotent Lie Algebras Over Commutative Rings

Let L be a finite-dimensional complex simple Lie algebra, L _? be the ?-span of a Chevalley basis of L, and L _R  = R ?_? L _? be a Chevalley algebra of type L over a commutative ring R. Let 𝒩(R) be the nilpotent subalgebra of L _R spanned by the root vectors associated with positive roots. A map ? of 𝒩(R) is called commuting if [?(x), x] = 0 for all x ∈ 𝒩(R). In this article, we prove that under some conditions for R, if Φ is not of type A ₂, then a derivation (resp., an automorphism) of 𝒩(R) is commuting if and only if it is a central derivation (resp., automorphism), and if Φ is of type A ₂, then a derivation (resp., an automorphism) of 𝒩(R) is commuting if and only if it is a sum (resp., a product) of a graded diagonal derivation (resp., automorphism) and a central derivation (resp., automorphism).     

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.     

Strong Cleanness of Matrix Rings Over Commutative Rings

Let R be a commutative local ring. It is proved that R is Henselian if and only if each R-algebra which is a direct limit of module finite R-algebras is strongly clean. So, the matrix ring 𝕄 _n (R) is strongly clean for each integer n > 0 if R is Henselian and we show that the converse holds if either the residue class field of R is algebraically closed or R is an integrally closed domain or R is a valuation ring. It is also shown that each R-algebra which is locally a direct limit of module-finite algebras, is strongly clean if R is a π-regular commutative ring.     

On the Genus of the Nilpotent Graphs of Finite Groups

The nilpotent graph of a group G is a simple graph whose vertex set is G?nil(G), where nil(G) = {y ∈ G | ? x, y ? is nilpotent ? x ∈ G}, and two distinct vertices x and y are adjacent if ? x, y ? is nilpotent. In this article, we show that the collection of finite non-nilpotent groups whose nilpotent graphs have the same genus is finite, derive explicit formulas for the genus of the nilpotent graphs of some well-known classes of finite non-nilpotent groups, and determine all finite non-nilpotent groups whose nilpotent graphs are planar or toroidal.     

矩阵尾环的Morphic性质(英文)

本文的主要目的是考虑强Morphic环D上的矩阵尾环R[D]的Morphic性质。本文讨论了类似尾环的一些性质。证明了:R[D]是强左Morphic环当且仅当R[D]是左Morphic环当且仅当D是强左Morphic环。本文还构造了一些例子来说明问题。     

Lattice-Ordered Matrix Rings Over the Integers

We show that the only compatible lattice order on a matrix ring over the integers for which the identity matrix is positive is (up to isomorphism) the usual, entrywise, lattice order. We also find a condition that guarantees that the only compatible lattice order on a matrix ring over the integers is formed by multiplying the positive cone of the usual, entrywise, lattice order by a matrix with positive entries. Using this condition, we show that such orders are the only compatible ones in the two-by-two case.     

Zero-Divisor Graphs for Group Rings

Let R be a commutative ring with 1 ≠ 0, G be a nontrivial finite group, and let Z(R) be the set of zero divisors of R. The zero-divisor graph of R is defined as the graph Γ(R) whose vertex set is Z(R)* = Z(R)?{0} and two distinct vertices a and b are adjacent if and only if ab = 0. In this paper, we investigate the interplay between the ring-theoretic properties of group rings RG and the graph-theoretic properties of Γ(RG). We characterize finite commutative group rings RG for which either diam(Γ(RG)) ≤2 or gr(Γ(RG)) ≥4. Also, we investigate the isomorphism problem for zero-divisor graphs of group rings. First, we show that the rank and the cardinality of a finite abelian p-group are determined by the zero-divisor graph of its modular group ring. With the notion of zero-divisor graphs extended to noncommutative rings, it is also shown that two finite semisimple group rings are isomorphic if and only if their zero-divisor graphs are isomorphic. Finally, we show that finite noncommutative reversible group rings are determined by their zero-divisor graphs.