We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.AC

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Commutative Algebra

Title: On matrix invertible extensions over commutative rings

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.
Comments: 44 pages, longer version aimed to be split into 4 shorter parts
Subjects: Commutative Algebra (math.AC); Rings and Algebras (math.RA)
MSC classes: Primary: 15A83, 13G05, 19B10. Secondary: 13A05, 13F05, 13F25, 15B33, 16U10, 16U30
Cite as: arXiv:2303.08413 [math.AC]
  (or arXiv:2303.08413v3 [math.AC] for this version)

Submission history

From: Grigore Calugareanu [view email]
[v1] Wed, 15 Mar 2023 07:28:45 GMT (49kb)
[v2] Fri, 1 Mar 2024 08:53:38 GMT (47kb)
[v3] Fri, 5 Apr 2024 19:44:11 GMT (47kb)

Link back to: arXiv, form interface, contact.