On semimodules over commutative, additively idempotent semirings

DOI10.1007/S002330010065MaRDI QIDQ5953366zbMATH OpenOpenAlexFDO

Authors O. V. Sokratova

Publication date 24 February 2003

Published in Semigroup Forum (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s002330010065

zbMATH Keywords

projective semimodulespure monomorphismsright semimodulessemiringsstrongly flat semimodules

Mathematics Subject Classification ID

Free, projective, and flat modules and ideals in associative algebras (16D40) Semirings (16Y60)

Review text

Let \((S,+,\cdot)\) be a commutative and additively idempotent semiring with absorbing zero and identity. A (right) \(S\)-semimodule \(P_S\) is projective if for any \(S\)-semimodules \(M_S\) and \(N_S\), any surjective \(S\)-homomorphism \(\varphi\colon M_S\to N_S\) and any \(S\)-homomorphism \(\psi\colon P_S\to N_S\), there exists an \(S\)-homomorphism \(\nu\colon P_S\to M_S\) such that \(\varphi\nu=\psi\). A surjective \(S\)-homomorphism \(\varphi\colon B_S\to A_S\) of \(S\)-semimodules is pure if for any finitely generated \(S\)-semimodule \(C_S\) and any \(S\)-homomorphism \(\eta\colon C_S\to A_S\) there exists an \(S\)-homomorphism \(\nu\colon C_S\to B_S\) such that \(\varphi\nu=\eta\). An \(S\)-semimodule \(A_S\) is called strongly flat if there exists a free \(S\)-semimodule \(F_S\) and a pure \(S\)-homomorphism \(\varphi\colon F_S\to A_S\). The main result generalizes a well known fact for bounded distributive lattices: For \((S,+,\cdot)\) as above the following conditions are equivalent. (1) All projective \(S\)-semimodules are free. (2) All strongly flat \(S\)-semimodules are projective. (3) \(S=\{0\}\).

Recommendations

• Projective semimodules.
• scientific article; zbMATH DE number 915713
• On projective covers of semimodules and perfect semirings.
• scientific article; zbMATH DE number 165174
• Direct sums of injective semimodules and direct products of projective semimodules over semirings.

Cited in

(22)

• Projective modules over polyhedral semirings
• Projective semimodules.
• On the homological classification of semirings
• Idempotent subreducts of semimodules over commutative semirings.
• On flat semimodules over semirings.
• Projective semimodules over semirings with valuations in nonnegative integers.
• -rings, their flat and projective acts with some applications
• Simple semirings with zero.
• On Serre's Problem on Projective Semimodules over Polynomial Semirings
• Absolutely pure semimodules.
• On p-Schreier varieties of semimodules.
• A note on localisation of semimodules.
• scientific article; zbMATH DE number 3851329 (Why is no real title available?)
• scientific article; zbMATH DE number 165174 (Why is no real title available?)
• Semimodules over commutative semirings and modules over unitary commutative rings
• Toward homological structure theory of semimodules: on semirings all of whose cyclic semimodules are projective
• scientific article; zbMATH DE number 7141483 (Why is no real title available?)
• scientific article; zbMATH DE number 7120889 (Why is no real title available?)
• scientific article; zbMATH DE number 2221695 (Why is no real title available?)
• Torsion factors of commutative monoid semirings
• Derivations of some classes of additively idempotent semirings
• Some remarks on tensor products and flatness of semimodules.

This page was built for publication: On semimodules over commutative, additively idempotent semirings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5953366)