Invertibility of Matrices over Subrings

Mark Grinshpon

DOI: https://doi.org/10.48550/arXiv.math/0603688

2006-08-14

Abstract:Given rings $R \subseteq S$, consider the division closure $DC(R,S)$ and the rational closure $RC(R,S)$ of R in S. If S is commutative, then $DC(R,S)=RC(R,S)=RT^{-1}$, where $T = \{t\in R : t^{-1} \in S\}$. We show that this is also true if we assume only that R is commutative.

Rings and Algebras

What problem does this paper attempt to address?

On rational functional identities involving inverses on matrix rings

Yingyu Luo,Qian Chen,Yu Wang

2023-09-04

Abstract:Let $n\geq 3$ be an integer. Let $\mathcal{D}$ be a division ring with char$(\mathcal{D})>n$ or char$(\mathcal{D})=0$. Let $\mathcal{R}=M_m(\mathcal{D})$ be a ring of $n\times n$ matrices over $D$, $m\geq 2$. The main theorem in the paper states that the only additive maps $f$ and $g$ satisfying that $f(X)+X^ng(X^{-1})=0$ for all invertible $X\in \mathcal{R}$, are zero maps, which generalizes both a result proved by Dar and Jing and a result proved by Catalano and Merch$\acute{a}$n.

Rings and Algebras
Matrices having nonzero outer inverses

Iulia-Elena Chiru,Septimiu Crivei

DOI: https://doi.org/10.13001/ela.2024.7901

2024-02-20

Abstract:It is well known that every nonzero von Neumann regular $m\times n$-matrix $A$ over an arbitrary ring $R$ has a nonzero outer inverse $n\times m$-matrix $B$ in the sense that $B=BAB$. Generalizing previous work on von Neumann regular matrices, the matrices having nonzero outer inverses over semiperfect rings are characterized as the matrices having some entry outside the Jacobson radical of $R$. Such matrices over finite semiperfect rings and finite commutative rings are counted, and several applications are given.

mathematics
Matrix invertible extensions over commutative rings. Part II: determinant liftability

Grigore Călugăreanu,Horia F. Pop,Adrian Vasiu

2024-04-27

Abstract:A unimodular $2\times 2$ matrix $A$ with entries in a commutative ring $R$ is called weakly determinant liftable if there exists a matrix $B$ congruent to $A$ modulo $R\det(A)$ and $\det(B)=0$; if we can choose $B$ to be unimodular, then $A$ is called determinant liftable. If $A$ is extendable to an invertible $3\times 3$ matrix $A^+$, then $A$ is weakly determinant liftable. If $A$ is simple extendable (i.e., we can choose $A^+$ such that its $(3,3)$ entry is $0$), then $A$ is determinant liftable. We present necessary and/or sufficient criteria for $A$ to be (weakly) determinant liftable and we use them to show that if $R$ is a $\Pi_2$ ring in the sense of Part I (resp.\ is a pre-Schreier domain), then $A$ is simply extendable (resp.\ extendable) iff it is determinant liftable (resp.\ weakly determinant liftable). As an application we show that each $J_{2,1}$ domain (as defined by Lorenzini) is an elementary divisor domain.

Commutative Algebra
Matrix invertible extensions over commutative rings. Part I: general theory

Grigore Călugăreanu,Horia F. Pop,Adrian Vasiu

2024-04-08

Abstract:A unimodular $2\times 2$ matrix with entries in a commutative $R$ is called extendable (resp.\ simply extendable) if it extends to an invertible $3\times 3$ matrix (resp.\ invertible $3\times 3$ matrix whose $(3,3)$ entry is $0$). We obtain necessary and sufficient conditions for a unimodular $2\times 2$ matrix to be extendable (resp.\ simply extendable) and use them to study the class $E_2$ (resp.\ $SE_2$) of rings $R$ with the property that all unimodular $2\times 2$ matrices with entries in $R$ are extendable (resp.\ simply extendable). We also study the larger class $\Pi_2$ of rings $R$ with the property that all unimodular $2\times 2$ matrices of determinant $0$ and with entries in $R$ are (simply) extendable (e.g., rings with trivial Picard groups or pre-Schreier domains). Among Dedekind domains, polynomial rings over $\mathbb Z$ and Hermite rings, only the EDRs belong to the class $E_2$ or $SE_2$. If $as(R)\le 2$, then $R$ is an $E_2$ ring iff it is an $SE_2$ ring.

Commutative Algebra
On G-S and C-S inverses in *-rings

Janko Marovt Dijana Mosić a Faculty of Economics and Business,University of Maribor,Maribor,Sloveniab IMFM,Ljubljana,Sloveniac Faculty of Sciences and Mathematics,University of Niš,Niš,Serbia

DOI: https://doi.org/10.1080/00927872.2024.2370466

2024-07-26

Communications in Algebra

Abstract:The notions of the G-S inverse and the C-S inverse are extended from the set of all complex n × n matrices to *-rings. We present new characterizations of these inverses, study their properties, and apply the C-S inverse to introduce two relations on the set R⏧d of all core-EP invertible elements in a *-ring with identity. We explore the connection between these two relations and the star partial order and prove that one of them is a partial order on R⏧d .

mathematics
Invertibility Of Irreducible Matrices

Bs Tam,Sj Yang,Xd Zhang

DOI: https://doi.org/10.1016/S0024-3795(96)00241-8

IF: 1.307

1997-01-01

Linear Algebra and its Applications

Abstract:We obtain new sufficient conditions for invertibility of an irreducible complex matrix. Remarks are also given on eigenvalues (and the associated eigenvectors) that lie on the boundary of various spectrum inclusion regions of an irreducible matrix. Our results extend, strengthen, or clarify the recent work of Brualdi, Brualdi and Mellendorff, Farid, Solov'ev, and Zhang and Gu. (C) Elsevier Science Inc.,1997.
On matrix invertible extensions over commutative rings

Grigore Calugareanu,Horia F. Pop,Adrian Vasiu

2024-04-06

Abstract:We introduce the class E2 (resp. SE2) of commutative rings R with the property that each unimodular 2 x 2 matrix with entries in R extends to an invertible 3 x 3 matrix (resp. invertible 3 x 3 matrix whose (3, 3) entry is 0). Among noetherian domains of dimension 1, polynomial rings over Z or Hermite rings, only EDRs belong to the class. Using this, stable ranges, and units and projective modules interpretations, we reobtain (often refine) criteria due to Kaplansky, McGovern, Roitman, Shchedryk, Wiegand and obtain new criteria for a Hermite ring to be an EDR. For instance, we characterize Hermite rings which are EDRs by (1) means of equations involving unimodular triples and (2) surjectivity of some maps involving units of factor rings by principal ideals. We use these criteria to show that each Bezout ring R that is either a J2,1 domain or an (SU)2 ring (as introduced by Lorenzini) such that for each nonzero a 2 R there exists no nontrivial self-dual projective R/Ra-module of rank 1 generated by 2 elements (e.g., all its elements are squares), is an EDR, thus solving or partially solving problems raised by Lorenzini. Many other classes of rings are introduced and studied. To ease the reading, this version concentrates only on extendability properties of unimodular 2 x 2 matrices and hence does not consider the case n > 2.

Commutative Algebra,Rings and Algebras
The Group Invertibility of the Product of Two Matrices over Ring and Its Applications

Xiaofei Song,Baodong Zheng

DOI: https://doi.org/10.1007/s40314-013-0097-4

2013-01-01

Computational and Applied Mathematics

Abstract:Let $\mathbf R $ be an associative ring with $1$, $m$, $n$ be positive integers. Denote by $M_{mn}(\mathbf R )$ the set of all the $m\times {n}$ matrices over $\mathbf R $. In this paper, the sufficient and necessary conditions and some sufficient conditions of the group invertibility of $AB$ and $BA$ are given, where $A\in {M_{mn}(\mathbf R )}$ and $B\in {M_{nm}(\mathbf R )}$. As applications, the explicit representations for the group inverse of two classes $2\times 2$ anti-triangular block matrices and their group invertibility are also presented.
Diagonability of Idempotent Matrices over Noncommutative Rings

GT Song,XJ Guo

DOI: https://doi.org/10.1016/s0024-3795(99)00059-2

IF: 1.307

1999-01-01

Linear Algebra and its Applications

Abstract:Let R be an arbitrary ring. In this paper, the following statements are proved: (a) Each idempotent matrix over R can be diagonalized if and only if each idempotent matrix over R has a characteristic vector. (b) An idempotent matrix over R can be diagonalized under a similarity transformation if and only if it is equivalent to a diagonal matrix. (a) and (b) generalize Foster's and Steger's theorems to arbitrary rings. We give some new results about 0-similarity of idempotent matrices over R.
Group Invertible Block Matrices

Baodong Zheng,Lizhu Sun,Xiuwei Jiang

DOI: https://doi.org/10.1007/s11464-016-0532-0

2016-01-01

Abstract:Let M=(ABCD) (A and D are square) be a 2 × 2 block matrix over a skew field, where A is group invertible. Let S=D-CA#B denote the generalized Schur complement of M. We give the representations and the group invertibility of M under each of the following conditions:(1)S=0; (2) S is group invertible and CAπB=0, where Aπ=I-AA#. And the second result generalizes a result of C. Bu et al. [Appl. Math. Comput., 2009, 215: 132–139]
A constructive counterpart of the subdirect representation theorem for reduced rings

Ryota Kuroki

2024-08-17

Abstract:We give a constructive counterpart of the theorem of Andrunakievič and Rjabuhin, which states that every reduced ring is a subdirect product of domains. As an application, we extract a constructive proof of the fact that every ring $A$ satisfying $\forall x\in A. x^3=x$ is commutative from a classical proof. We also prove a similar result for semiprime ideals.

Rings and Algebras
Generalized inverses, ideals, and projectors in rings

Patricia Mariela Morillas

2023-10-12

Abstract:The theory of generalized inverses of matrices and operators is closely connected with projections, i.e., idempotent (bounded) linear transformations. We show that a similar situation occurs in any associative ring $\mathcal{R}$ with a unit $1 \neq 0$. We prove that generalized inverses in $\mathcal{R}$ are related to idempotent group endomorphisms $\rho: \mathcal{R} \rightarrow \mathcal{R}$, called projectors. We use these relations to give characterizations and existence conditions for $\{1\}$, $\{2\}$, and $\{1,2\}$ inverses with any given principal/annihilator ideals. As a consequence, we obtain sufficient conditions for any right/left ideal of $\mathcal{R}$ to be a principal or an annihilator ideal of an idempotent element of $\mathcal{R}$. We then study some particular generalized inverses: Drazin and $(b,c)$ inverses, and in rings with involution, $(e,f)$ Moore-Penrose, $e$-core, $f$-dual core, $w$-core, $v$-dual core, right $w$-core, left $v$-dual core, and $(p,q)$ inverses.

Rings and Algebras
Group invertibility of the sum in rings and its applications

Huanyin Chen,Dayong Liu,Marjan Sheibani

DOI: https://doi.org/10.1515/gmj-2024-2010

2024-03-27

Georgian Mathematical Journal

Abstract:We present necessary and sufficient conditions under which the sum of two group invertible elements in a ring is group invertible. As applications, we establish the existence of group inverses of certain 2 × 2 block-operator matrices over a Banach space. These generalize the known results, e.g., Zhou, Chen and Zhu ( Comm. Algebra 48 (2020), 676–690) and Benítez, Liu and Zhu ( Linear Multilinear Algebra 59 (2011), 279–289).

mathematics
The Vandermonde Matrix in the Commutative Case

A. I. Perov,I. D. Kostrub

DOI: https://doi.org/10.1134/s1064562424702041

2024-06-21

Doklady Mathematics

Abstract:In a complex Banach algebra, under the assumptions of separateness and spectral separateness, invertibility conditions for the Vandermonde matrix are formulated and proved. Necessary and sufficient conditions for the invertibility of the Vandermonde matrix are given. Analogues of Sylvester's theorem are formulated.

mathematics
Reversibility in matrix rings and group algebras

Truong Huu Dung,Bui Xuan Hai,Tran Nam Son

DOI: https://doi.org/10.1007/s10998-024-00614-0

2024-12-03

Periodica Mathematica Hungarica

Abstract:An element of a group is reversible if it is conjugate to its own inverse. This paper aims to describe the structure of subgroups, subrings, and linear spans generated by reversible elements in matrix rings and group algebras.

mathematics, applied
On invariant submonoids

Maurice Chacron

DOI: https://doi.org/10.1080/00927872.2024.2400198

2024-09-26

Communications in Algebra

Abstract:In the first part of the paper, we provide a fairly complete description of a 2-torsion free simple ring R with involution f such that the skew traces relative to f of all elements of R form a commutative subset. In the remaining part, the results carried out earlier are put to work to delineate the structure of a simple Artinian ring R with involution f, which is equipped with a given non central submonoid M (= multiplicatively closed subset containing 1) preserved under f and under all inner automorphisms of R, and M is such that the skew traces of all elements of M form a commutative subset.

mathematics
Inclusion properties of generalized inverses in rings

Qi Lu,Long Wang

DOI: https://doi.org/10.1142/s0219498825502524

2024-03-21

Journal of Algebra and Its Applications

Abstract:In this paper, we investigate inclusion properties in a ∗-ring. It is proven that for two [Formula: see text]-invertible elements [Formula: see text] and [Formula: see text] in a ∗-ring, [Formula: see text] if and only if [Formula: see text]. For two [Formula: see text]-invertible elements [Formula: see text] and [Formula: see text], [Formula: see text] if and only if [Formula: see text]. Moreover, we give a characterization of [Formula: see text]-inverses, and the absorption law for [Formula: see text]-inverses is studied.

mathematics, applied
Invertibility in partially ordered nonassociative rings and in Hausdorff Cauchy-complete weak-quasi-topological nonassociative rings endowed with an ordered ring valued seminorm

Nizar El Idrissi,Hicham Zoubeir

2024-09-14

Abstract:Invertibility is important in ring theory because it enables division and facilitates solving equations. Moreover, (nonassociative) rings can be endowed with an extra ''structure'' such as order and topology allowing more richness in the theory. The two main theorems of this article are contributions to invertibility in the context of partially ordered nonassociative rings \textit{and} Hausdorff sequentially Cauchy-complete weak-quasi-topological nonassociative rings. Specifically, the first theorem asserts that the interval $]0,1]$ in any suitable partially ordered nonassociative ring consists entirely of invertible elements. The second theorem asserts that if $f$ is a suitably generalized concept of seminorm from a nonassociative ring to a partially ordered nonassociative ring endowed with Frink's interval topology, then under certain conditions, the subset of elements such that $f(1-a) < 1$ consists entirely of invertible elements. Part of the assumption of the second theorem is that of Hausdorff sequential Cauchy-completeness of the first ring under the topology induced by the seminorm $f$ (which takes values in a partially ordered nonassociative ring endowed with Frink's interval topology). Frink's interval topology is an example of a coarse locally-convex $T_1$ topology. Moreover, to our knowledge, the topology induced by a seminorm into a partially ordered nonassociative ring has never been introduced. Some additional original facts, such as the fact that the topology on a nonassociative ring $R_1$ induced by a norm into a totally ordered associative division ring $R_2$ endowed with Frink's interval topology (or equivalently, with the order topology, since the order of $R_2$ is total) is a Hausdorff locally convex quasi-topological group with an additional separate continuity property of the product, are dealt with in the second section ''Preliminaries''.

Commutative Algebra,General Topology
Decomposition of matrices into product of idempotents and separativity of regular rings

S.K. Jain,A. Leroy

2024-07-17

Abstract:Following O'Meara's result [Journal of Algebra and Its Applications Vol~\textbf{13}, No. 8 (2014)], it follows that the block matrix $A=\begin{pmatrix} B & 0 0 & 0 \end{pmatrix} \in M_{n+r}(R)$, $B\in M_n(R)$, $r\ge 1$, over a von Neumann regular separative ring $R$, is a product of idempotent matrices. Furthermore, this decomposition into idempotents of $A$ also holds when $B$ is an invertible matrix and $R$ is a GE ring (defined by Cohn [New mathematical monographs: {\bf 3}, Cambridge University Press (2006)]). As a consequence, it follows that if there exists an example of a von Neumann regular ring $R$ over which the matrix $ A=\begin{pmatrix} B & 0 0 & 0 \end{pmatrix} \in M_{n+r}(R) $ where $B\in M_n(R)$, $r\ge 1$ , cannot be expressed as a product of idempotents, then $R$ is not separative, thus providing an answer to an open question whether there exists a von Neumann regular ring which is not separative. The paper concludes with an example of an open question whether every totally nonnegative matrix is a product of nonnegative idempotent matrices.

Rings and Algebras
Similarity and commutators of matrices over principal ideal rings

Alexander Stasinski

DOI: https://doi.org/10.48550/arXiv.1211.6872

2013-02-25

Abstract:We prove that if R is a principal ideal ring and A\in\M_n(R) is a matrix with trace zero, then A is a commutator, that is, A=XY-YX for some X,Y\in\M_n(R). This generalises the corresponding result over fields due to Albert and Muckenhoupt, as well as that over Z due to Laffey and Reams, and as a by-product we obtain new simplified proofs of these results. We also establish a normal form for similarity classes of matrices over PIDs, generalising a result of Laffey and Reams. This normal form is a main ingredient in the proof of the result on commutators.

Rings and Algebras

Invertibility of Matrices over Subrings

On rational functional identities involving inverses on matrix rings

Matrices having nonzero outer inverses

Matrix invertible extensions over commutative rings. Part II: determinant liftability

Matrix invertible extensions over commutative rings. Part I: general theory

On G-S and C-S inverses in *-rings

Invertibility Of Irreducible Matrices

On matrix invertible extensions over commutative rings

The Group Invertibility of the Product of Two Matrices over Ring and Its Applications

Diagonability of Idempotent Matrices over Noncommutative Rings

Group Invertible Block Matrices

A constructive counterpart of the subdirect representation theorem for reduced rings

Generalized inverses, ideals, and projectors in rings

Group invertibility of the sum in rings and its applications

The Vandermonde Matrix in the Commutative Case

Reversibility in matrix rings and group algebras

On invariant submonoids

Inclusion properties of generalized inverses in rings

Invertibility in partially ordered nonassociative rings and in Hausdorff Cauchy-complete weak-quasi-topological nonassociative rings endowed with an ordered ring valued seminorm

Decomposition of matrices into product of idempotents and separativity of regular rings

Similarity and commutators of matrices over principal ideal rings