English

Equivalent generating pairs of an ideal of a commutative ring

Commutative Algebra 2020-12-11 v2 Number Theory

Abstract

Let RR be a commutative ring with identity and let II be a two-generated ideal of RR. We denote by SL2(R)\operatorname{SL}_2(R) the group of 2×22 \times 2 matrices over RR with determinant 11. We study the action of SL2(R)\operatorname{SL}_2(R) by matrix right-multiplication on V2(I)\operatorname{V}_2(I), the set of generating pairs of II. Let Fitt1(I)\operatorname{Fitt}_1(I) be the second Fitting ideal of II. Our main result asserts that V2(I)/SL2(R)\operatorname{V}_2(I)/\operatorname{SL}_2(R) identifies with a group of units of R/Fitt1(I)R/\operatorname{Fitt}_1(I) via a natural generalization of the determinant if II can be generated by two regular elements. This result is illustrated in several Bass rings for which we also show that SLn(R)\operatorname{SL}_n(R) acts transitively on Vn(I)\operatorname{V}_n(I) for every n>2n > 2. As an application, we derive a formula for the number of cusps of a modular group over a quadratic order.

Keywords

Cite

@article{arxiv.2012.03056,
  title  = {Equivalent generating pairs of an ideal of a commutative ring},
  author = {Luc Guyot},
  journal= {arXiv preprint arXiv:2012.03056},
  year   = {2020}
}

Comments

26 pages, no figure. Minor changes: fix a couple of embarrassing typos