Completeness and cocompleteness of _RSmod₁N
Let \((R,+,\cdot)\) be an additively commutative semiring with absorbing zero and identity. A value cone \(C\) is a positive semiring with \(0\not=1\), and a map \(\|\;\|\colon R\to C\) is called a prenorm of \(R\) with values in \(C\) if \(\|0\|=0\) (and \(\|1\|=1\) if \(R\not=\{0\}\)), \(\|r+s\|\leq\|r\|+\|s\|\) and \(\|rs\|\leq\|r\|\cdot\|s\|\) for all \(r,s\in R\). Let \((R,\|\;\|)\) and \((R',\|\;\|')\) be prenormed semirings with the same value cone. A homomorphism \(f\colon R\to R'\) is said to be contractive if \(\|f(r)\|'\leq\|r\|\) for all \(r\in R\). Denote by \(_C\text{Srg}_1\) the category of all prenormed semirings with value cone \(C\) and contractive homomorphisms, and by \(_R\text{Smod}_1\) the category of all (left) \(R\)-semimodules over some prenormed semiring \(R\) with contractive homomorphisms. It is shown that both categories are complete and cocomplete. Now, with respect to an arbitrary class \(N\), some (infinite) \(N\)-summations are defined for such prenormed \(R\)-semimodules. For a fixed \(N\)-summation, denote by \(_C\text{Srg}_{1N}\) the category of all prenormed semirings with \(N\)-summation. Then \(_C\text{Srg}_{1N}\) is complete if \(C\) is conditionally complete. The same holds for the category \(_R\text{Smod}_{1N}\) which is defined analogously. A condition for the cocompleteness of this category is also given.
- Comparing completeness criteria for modular cohomology rings of finite groups.
- Completeness of the absolute Galois group of the rational number field
- 1-affine completeness of compatible modules
- Completeness in Zariski groups
- Algebraic properties of modulo q complete -wide families
- Completeness type properties, products, and group remainders
- ON COMPLETE CONGRUENCE LATTICES OF COMPLETE MODULAR LATTICES
- Torsion completeness of Sylow p-groups in modular group rings
- On the completeness of factor rings
- scientific article; zbMATH DE number 750750
This page was built for publication: Completeness and cocompleteness of \(_R\text{Smod}_{1N}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1840730)
