Showing 1–14 of 14 results for author: Călugăreanu, G

Matrix invertible extensions over commutative rings. Part III: Hermite rings

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

Abstract: We reobtain and often refine prior criteria due to Kaplansky, McGovern, Roitman, Shchedryk, Wiegand, and Zabavsky--Bilavska and obtain new criteria for a Hermite ring to be an \textsl{EDR}. We mention three criteria: (1) a Hermite ring $R$ is an \textsl{EDR} iff for all pairs $(a,c)\in R^2$, the product homomorphism $U(R/Rac)\times U\bigl(R/Rc(1-a)\bigr)\to U(R/Rc)$ between groups of units is surj… ▽ More We reobtain and often refine prior criteria due to Kaplansky, McGovern, Roitman, Shchedryk, Wiegand, and Zabavsky--Bilavska and obtain new criteria for a Hermite ring to be an \textsl{EDR}. We mention three criteria: (1) a Hermite ring $R$ is an \textsl{EDR} iff for all pairs $(a,c)\in R^2$, the product homomorphism $U(R/Rac)\times U\bigl(R/Rc(1-a)\bigr)\to U(R/Rc)$ between groups of units is surjective; (2) a reduced Hermite ring is an \textsl{EDR} iff it is a pre-Schreier ring and for each $a\in R$, every zero determinant unimodular $2\times 2$ matrix with entries in $R/Ra$ lifts to a zero determinant matrix with entries in $R$; (3) a Bézout domain $R$ is an \textsl{EDD} iff for all triples $(a,b,c)\in R^3$ there exists a unimodular pair $(e,f)\in R^2$ such that $(a,e)$ and $(be+af,1-a-bc)$ are unimodular pairs. We use these criteria to show that each Bézout ring $R$ that is an $(SU)_2$ ring (as introduced by Lorenzini) such that for each nonzero $a\in 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 \textsl{EDR}. △ Less

Submitted 2 May, 2024; originally announced May 2024.

Comments: 19 pages. arXiv admin note: substantial text overlap with arXiv:2303.08413

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

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

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 exte… ▽ More 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 $Π_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. △ Less

Submitted 26 April, 2024; originally announced April 2024.

Comments: 13 pages. Part II of the splitting of arXiv:2303.08413

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

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

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… ▽ More 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 $Π_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. △ Less

Submitted 8 April, 2024; originally announced April 2024.

Comments: 17 pages in the original format (18 pages in the archive format). arXiv admin note: substantial text overlap with arXiv:2303.08413

MSC Class: 15A83; 13G05; 19B10; 13A05; 13F05; 15B33

On perspective Abelian groups

Authors: Grigore Calugareanu, Andrey Chekhlov

Abstract: As a special case of perspective R-modules, an Abelian goup is called perspective if isomorphic summands have a common complement. In this paper we describe many classes of such groups. As a special case of perspective R-modules, an Abelian goup is called perspective if isomorphic summands have a common complement. In this paper we describe many classes of such groups. △ Less

Submitted 27 March, 2024; originally announced March 2024.

MSC Class: Primary: 20K10; 20K15; 20K27. Secondary: 20K21; 16D99

The $X$-semiprimeness of Rings

Authors: Grigore Călugăreanu, Tsiu-Kwen Lee, Jerzy Matczuk

Abstract: For a nonempty subset $X$ of a ring $R$, the ring $R$ is called $X$-semiprime if, given $a\in R$, $aXa=0$ implies $a=0$. This provides a proper class of semiprime rings. First, we clarify the relationship between idempotent semiprime and unit-semiprime rings. Secondly, given a Lie ideal $L$ of a ring $R$, we offer a criterion for $R$ to be $L$-semiprime. For a prime ring $R$, we characterizes Lie… ▽ More For a nonempty subset $X$ of a ring $R$, the ring $R$ is called $X$-semiprime if, given $a\in R$, $aXa=0$ implies $a=0$. This provides a proper class of semiprime rings. First, we clarify the relationship between idempotent semiprime and unit-semiprime rings. Secondly, given a Lie ideal $L$ of a ring $R$, we offer a criterion for $R$ to be $L$-semiprime. For a prime ring $R$, we characterizes Lie ideals $L$ of $R$ such that $R$ is $L$-semiprime. Moreover, $X$-semiprimeness of matrix rings, prime rings (with a nontrivial idempotent), semiprime rings, regular rings, and subdirect products are studied. △ Less

Submitted 9 April, 2024; v1 submitted 29 February, 2024; originally announced February 2024.

Comments: Comments welcome

MSC Class: 16N60; 16U10; 16U40; 16S50

The formula ABA=Tr(AB)A for matrices

Authors: Grigore Calugareanu

Abstract: We prove that this formula characterizes the square matrices over commutative rings for which all 2 x 2 minors equal zero. We prove that this formula characterizes the square matrices over commutative rings for which all 2 x 2 minors equal zero. △ Less

Submitted 3 June, 2023; v1 submitted 1 June, 2023; originally announced June 2023.

MSC Class: 15B33; 16B50

On matrix invertible extensions over commutative rings

Authors: Grigore Calugareanu, Horia F. Pop, Adrian Vasiu

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… ▽ More 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. △ Less

Submitted 5 April, 2024; v1 submitted 15 March, 2023; originally announced March 2023.

Comments: 44 pages, longer version aimed to be split into 4 shorter parts

MSC Class: Primary: 15A83; 13G05; 19B10. Secondary: 13A05; 13F05; 13F25; 15B33; 16U10; 16U30

Similarity for zero-square matrices

Authors: Grigore Calugareanu

Abstract: Let T be an n by n zero-square matrix over a commutative unital ring R. We show that T is similar to a multiple of E_1n if R is a GCD domain and n = 2, if R is a GCD domain with 2 not zero divisor and n = 3, but there are matrices which are not similar to any multiple of E_1n whenever n greater or equal 4, over any commutative unital ring. Let T be an n by n zero-square matrix over a commutative unital ring R. We show that T is similar to a multiple of E_1n if R is a GCD domain and n = 2, if R is a GCD domain with 2 not zero divisor and n = 3, but there are matrices which are not similar to any multiple of E_1n whenever n greater or equal 4, over any commutative unital ring. △ Less

Submitted 17 February, 2022; v1 submitted 29 August, 2021; originally announced August 2021.

MSC Class: 15B33; 16U100; 16U30

On unit stable range one matrices

Authors: Grigore Calugareanu

Abstract: We characterize the unit stable range one 2x2 and 3x3 matrices over commutative rings. In particular, we characterize the 2x2 matrices which satisfy the Goodearl-Menal condition. For 2x2 integral matrices we show that the stable range one and the unit stable range one properties are equivalent, and, that the only matrix which satisfies the Goodearl-Menal condition is the zero matrix. We characterize the unit stable range one 2x2 and 3x3 matrices over commutative rings. In particular, we characterize the 2x2 matrices which satisfy the Goodearl-Menal condition. For 2x2 integral matrices we show that the stable range one and the unit stable range one properties are equivalent, and, that the only matrix which satisfies the Goodearl-Menal condition is the zero matrix. △ Less

Submitted 8 April, 2021; originally announced April 2021.

MSC Class: 16U99; 16U10; 16U60; 15B33; 15B36

On idempotent stable range one matrices

Authors: Grigore Calugareanu, Horia F. Pop

Abstract: We characterize the idempotent stable range one $2\times 2$ matrices over commutative rings and in particular, the integral matrices with this property. Several special cases and examples complete the subject. We characterize the idempotent stable range one $2\times 2$ matrices over commutative rings and in particular, the integral matrices with this property. Several special cases and examples complete the subject. △ Less

Submitted 12 January, 2022; v1 submitted 16 March, 2021; originally announced March 2021.

MSC Class: 16U99; 16U10; 15B33; 15B36; 16-04; 15-04

On stable range one matrices

Authors: Grigore Calugareanu, Horia F. Pop

Abstract: For 2 by 2 matrices over commutative rings, we prove a characterization theorem for left stable range 1 elements, we show that the stable range 1 property is left-right symmetric (also) at element level, we show that all matrices with one zero row (or zero column) over Bezout rings have stable range 1. Using diagonal reduction, we characterize all the 2 by 2 integral matrices which have stable ran… ▽ More For 2 by 2 matrices over commutative rings, we prove a characterization theorem for left stable range 1 elements, we show that the stable range 1 property is left-right symmetric (also) at element level, we show that all matrices with one zero row (or zero column) over Bezout rings have stable range 1. Using diagonal reduction, we characterize all the 2 by 2 integral matrices which have stable range 1 and discuss additional properties including Jacobson Lemma for stable range 1 elements. Finally, we give an example of exchange stable range 1 integral 2 by 2 matrix which is not clean. △ Less

Submitted 24 August, 2022; v1 submitted 27 December, 2020; originally announced December 2020.

Comments: 10 pages

MSC Class: 16U99; 16U10; 15B33; 15B36; 16-04; 15-04

Strictly invariant submodules

Authors: Simion Breaz, Grigore Călugăreanu, Andrey Chekhlov

Abstract: If $M$ is an $R$-module, we study the submodules $K\leq M$ with the property that $K$ is invariant with respect to all monomorphisms $K\rightarrow M$. Such submodules are called \textsl{strictly invariant}. For the case of $% \mathbb{Z}$-modules (i.e. Abelian groups) we prove that in many situations these submodules are invariant with respect to all homomorphisms $% K\rightarrow M$, submodules whi… ▽ More If $M$ is an $R$-module, we study the submodules $K\leq M$ with the property that $K$ is invariant with respect to all monomorphisms $K\rightarrow M$. Such submodules are called \textsl{strictly invariant}. For the case of $% \mathbb{Z}$-modules (i.e. Abelian groups) we prove that in many situations these submodules are invariant with respect to all homomorphisms $% K\rightarrow M$, submodules which were called \textsl{strongly invariant}. △ Less

Submitted 3 February, 2019; originally announced February 2019.

Comments: preprint version; the final version will be published by Mediterranean J. of Math

Nil-clean matrix rings

Authors: S. Breaz, G. Călugăreanu, P. Danchev, T. Micu

Abstract: We characterize the nil clean matrix rings over fields. As a by product, it is proved that the full matrix rings with coefficients in commutative nil-clean rings are nil-clean, and we obtain a complete characterization of the finite rank Abelian groups with nil clean endomorphism ring and the Abelian groups with strongly nil clean endomorphism ring, respectively. We characterize the nil clean matrix rings over fields. As a by product, it is proved that the full matrix rings with coefficients in commutative nil-clean rings are nil-clean, and we obtain a complete characterization of the finite rank Abelian groups with nil clean endomorphism ring and the Abelian groups with strongly nil clean endomorphism ring, respectively. △ Less

Submitted 1 October, 2013; originally announced October 2013.

Comments: Preprint version, accepted by "Linear Algebra and its Applications"

MSC Class: 15B33; 16E50; 20K30

Subgroups which admit extensions of homomorphisms

Authors: Simion Breaz, Grigore Călugăreanu, Phill Schultz

Abstract: We classify by numerical invariants the finite subgroups $H$ of a primary abelian group $G$ for which every homomorphism or monomorphism of $H$ into $G$, or every endomorphism of $H$, extends to an endomorphism of $G$. We apply these results to show that for finitely generated subgroups of general abelian groups, the extendibility of monomorphisms implies the extendibility of all homomorphisms. We classify by numerical invariants the finite subgroups $H$ of a primary abelian group $G$ for which every homomorphism or monomorphism of $H$ into $G$, or every endomorphism of $H$, extends to an endomorphism of $G$. We apply these results to show that for finitely generated subgroups of general abelian groups, the extendibility of monomorphisms implies the extendibility of all homomorphisms. △ Less

Submitted 30 May, 2013; v1 submitted 11 April, 2013; originally announced April 2013.

Comments: v2: major revision, the title was changed, the paper was shortened, some results were removed