Equivalent generating pairs of an ideal of a commutative ring
Commutative Algebra
2020-12-11 v2 Number Theory
Abstract
Let be a commutative ring with identity and let be a two-generated ideal of . We denote by the group of matrices over with determinant . We study the action of by matrix right-multiplication on , the set of generating pairs of . Let be the second Fitting ideal of . Our main result asserts that identifies with a group of units of via a natural generalization of the determinant if can be generated by two regular elements. This result is illustrated in several Bass rings for which we also show that acts transitively on for every . 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