Anti-homomorphisms between module lattices
type: Item
instance of: scholarly article
title: Anti-homomorphisms between module lattices
zbMATH Open document ID: 1341.13006
DOI: 10.1216/JCA-2015-7-4-567
published in: Journal of Commutative Algebra
publication date: 2016-01-21T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.jca/1453211674
review text: In this paper the author has proved the properties of the mapping \(\alpha:\mathcal L(R)\to\mathcal L(_RM)\) defined by setting for each ideal \(B\) of \(R\), \(\alpha(B)\) to be the submodule of \(M\) consisting of all elements \(m\) in \(M\) with \(Bm=0\) and the mapping \(\beta:\mathcal L(_RM)\to\mathcal L(R)\) defined by \(\beta(N)\) is the annihilator in \(R\) of \(N\), for each submodule \(N\) of \(M\), between the lattice \(\mathcal L(R)\) of ideals of a commutative ring \(R\) and the lattice \(\mathcal L(_RM)\) of submodules of an \(R\)-module \(M\), in particular when these mappings are lattice anti-homomorphisms. A mapping \(\varphi\) from a lattice \(L\) to a lattice \(L'\) is an anti-homomorphism, if \(\varphi(a\vee b)=\varphi(a)\wedge\varphi(b)\) and \(\varphi(a\wedge b)=\varphi(a)\vee\varphi(b)\) for all \(a,b\in L\). The following results are proved. The following statements are equivalent for a module \(M\) over a general ring \(R\). (i) Every homomorphic image of \(M\) is a \(\beta\)-module. (ii) Every submodule of \(M\) is a \(\mu\)-module. (iii) \(R=(L:_RN)+(N:_RL)\) for all submodules \(L\) and \(N\) of \(M\). Let \(R\) be any ring, and let an \(R\)-module \(M=M_1\oplus\dots\oplus M_k\) be the direct sum of submodules \(M_i (1\leq i \leq k)\) for some positive integer \(k\). Then \(M\) is a \(\beta\)-module if and only if \(M_i\) is a \(\beta\)-module for each \(1\leq i\leq k\) and \(R=\mathrm{ann}R(M_i)+\mathrm{ann}R(M_j)\) for all integers \(1\leq i<j\leq k\). Let \(R\) be a ring, and let \(M\) denote the \(R\)-module \(\bigoplus_{P\in V(0)} (R/P)\). Then the following statements are equivalent: (i) \(R\) is von Neumann regular. (ii) The mapping \(\alpha:\mathcal L(R)\to\mathcal L(_RM)\) is an anti-monomorphism. (iii) The mapping \(\alpha:\mathcal L(R)\to\mathcal L(_RM)\) is an injection.
Mathematics Subject Classification ID: 13F05
Mathematics Subject Classification ID: 06B23
Mathematics Subject Classification ID: 13A15
Mathematics Subject Classification ID: 13C12
zbMATH DE Number: 6533981
zbMATH Keywords: lattice anti-homomorphism
zbMATH Keywords: commutative ring
zbMATH Keywords: Dedekind domain
zbMATH Keywords: chain ring
zbMATH Keywords: comultiplication module
zbMATH Keywords: von Neumann regular ring
author: Patrick F. Smith
reviewed by: S. K. Nimbhorkar
MaRDI profile type: Publication
cites work: Comultiplication modules over commutative rings
cites work: Q4056148
cites work: The dual notion of multiplication modules.
cites work: COMULTIPLICATION MODULES AND RELATED RESULTS
cites work: Prime modules.
cites work: On dual rings and their modules
cites work: A characterization of prime submodules
cites work: Dual rings
cites work: Q3695368
cites work: Prime submodules
cites work: Prime submodules of Noetherian modules
cites work: Q4526386
cites work: Comultiplication modules over commutative rings. II
cites work: Q5656860
cites work: MAPPINGS BETWEEN MODULE LATTICES
cites work: Complete homomorphisms between module lattices
Recommended article: Complete homomorphisms between module lattices
Recommended article: MAPPINGS BETWEEN MODULE LATTICES
Recommended article: Q3728044
Recommended article: Q4762686
Recommended article: Lattices of classes of modules
Recommended article: Representation of homomorphisms between submodule lattices
Recommended article: Q4332793
Recommended article: Q4506479
Recommended article: The lattice of \(F^A_R\)-modules
Recommended article: Lattice isomorphisms of modular inverse semigroups
description: scientific article; zbMATH DE number 6533981