An analogue of Serre’s conjecture for a ring of distributions

The set 𝒜 := 𝔺δ0+ 𝒟+′, obtained by attaching the identity δ0 to the set 𝒟+′ of all distributions on 𝕉 with support contained in (0, ∞), forms an algebra with the operations of addition, convolution, multiplication by complex scalars. It is shown that 𝒜 is a Hermite ring, that is, every finitely generated stably free 𝒜-module is free, or equivalently, every tall left-invertible matrix with entries from 𝒜 can be completed to a square matrix with entries from 𝒜, which is invertible.

AMALGAMATION OF RINGS DEFINED BY BÉZOUT-LIKE CONDITIONS

Let f : A → B be a ring homomorphism and let J be an ideal of B. In this paper, we investigate the transfer of notions elementary divisor ring, Hermite ring and Bézout ring to the amalgamation A ⋈f J. We provide necessary and sufficient conditions for A ⋈f J to be an elementary divisor ring where A and B are integral domains. In this case it is shown that A ⋈f J is an Hermite ring if and only if it is a Bézout ring. In particular, we study the transfer of the previous notions to the amalgamated duplication of a ring A along an A-submodule E of Q(A) such that E2 ⊆ E.

Some Criteria for Hermite Rings and Elementary Divisor Rings

Recall that a ring R (all rings considered are commutative with unit) is an elementary divisor ring (respectively, a Hermite ring) provided every matrix over R is equivalent to a diagonal matrix (respectively, a triangular matrix). Thus, every elementary divisor ring is Hermite, and it is easily seen that a Hermite ring is Bezout, that is, finitely generated ideals are principal. Examples have been given [4] to show that neither implication is reversible.