Annihilator Multiplication Modules: Ring Characterizations and Constructions
Abstract
An A-module E is annihilator multiplication if the annihilator of each element equals that of IE for a finitely generated ideal I. We characterize rings for which every faithful module has this property as the commutative quasi-Frobenius rings, and rings for which every module has the property as the Artinian principal ideal rings. Both characterizations reduce to two-generated modules. Over a reduced ring with finitely many minimal primes, faithful annihilator multiplication modules are exactly the regular-torsion-free modules, and principal ideals suffice in the definition. An ascending chain condition on annihilator ideals gives finite detection of the module annihilator, yielding localization and graph rigidity results. We also prove equality of associated primes with those of the faithful quotient and establish projective tensor and trace characterizations. Over local square-zero rings, the property is equivalent to nonsingularity of a bilinear multiplication map. A projective dimension argument gives a sharp length bound, attained by explicit faithful indecomposable nonprojective modules whose endomorphism rings are computed. Every cyclic submodule of these examples embeds in the ring, although the whole module is not torsionless. Support, hereditary torsion, and amalgamation criteria connect these structural results with further module constructions.
Related
- Self-Orthogonal τ-Tilting Modules and Tilting Modules II: Annihilator Separation
- A Reduced Non-McCoy Ring with the Annihilator Condition and (A2)
- Characterizations of t-Almost Dedekind Domains via w-Secondary Modules
- Baer-Type Ring Characterizations of Steinberg Algebras, with Applications to Leavitt Path Algebras
- Deterministic Determination of Axial Constants, Sectional Regularities and Annihilator Numbers
BibTeX
@misc{kim2026annihilator,
title = {{Annihilator Multiplication Modules: Ring Characterizations and Constructions}},
author = {Hwankoo Kim and Suat Koç},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.16701},
eprint = {2609.16701},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.16701},
}
RIS
TY - UNPB
TI - Annihilator Multiplication Modules: Ring Characterizations and Constructions
AU - Hwankoo Kim
AU - Suat Koç
PY - 2026
DA - 2026/09/15
PB - arXiv
DO - 10.48550/arxiv.2609.16701
UR - https://arxiv.org/abs/2609.16701
AB - An A-module E is annihilator multiplication if the annihilator of each element equals that of IE for a finitely generated ideal I. We characterize rings for which every faithful module has this property as the commutative quasi-Frobenius rings, and rings for which every module has the property as the Artinian principal ideal rings. Both characterizations reduce to two-generated modules. Over a reduced ring with finitely many minimal primes, faithful annihilator multiplication modules are exactly the regular-torsion-free modules, and principal ideals suffice in the definition. An ascending chain condition on annihilator ideals gives finite detection of the module annihilator, yielding localization and graph rigidity results. We also prove equality of associated primes with those of the faithful quotient and establish projective tensor and trace characterizations. Over local square-zero rings, the property is equivalent to nonsingularity of a bilinear multiplication map. A projective dimension argument gives a sharp length bound, attained by explicit faithful indecomposable nonprojective modules whose endomorphism rings are computed. Every cyclic submodule of these examples embeds in the ring, although the whole module is not torsionless. Support, hereditary torsion, and amalgamation criteria connect these structural results with further module constructions.
ER -