Chain conditions on semirings (Q1912329): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 06:12, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Chain conditions on semirings |
scientific article |
Statements
Chain conditions on semirings (English)
0 references
11 September 1996
0 references
Let \(S=(S,+, \cdot)\) be an additively commutative semiring with an absorbing zero and \(M=(_SM,+)\) a (left) semimodule over \(S\). An \(S\)-subsemimodule \(U\) of \(M\) is called a \(k\)-subsemimodule \([h\)-subsemimodule] if \(u+x=v\) [\(u+x+z=v+z]\) for \(u,v \in U\) and \(x,z \in M\) imply \(x \in U\), and \(M\) is called artinian [\(k\)-artinian, \(h\)-artinian] if \(M\) satisfies the descending chain condition on \(S\)-subsemimodules [\(k\)-subsemimodules, \(h\)-subsemimodules]. Note that the left ideals of \((S,+, \cdot)\) are the \(S\)-subsemimodules of \((_SS,+)\) and let \(S^n=(_SS^n,+)\) be the direct product of \(n\) copies of \((_SS,+)\). Since the semiring \(M_n(S)\) of all \(n \times n\)-matrices over an artinian semiring \(S\) (with identity) need not be artinian, the following result is of interest: \(M_n(S)\) is artinian [\(k\)-artinian, \(h\)-artinian] iff \(S^n\) is. Further: If \(S\) has a ring of differences \(D(S)\), then \(M_n (S)\) is \(k\)-artinian iff \(D(S)\) is artinian. Other results include the ring \(D(S/\kappa)\) in these considerations, where \(\kappa\) is the least additively cancellative congruence on \((S,+, \cdot)\). In a similar way noetherian [\(k\)-noetherian, \(h\)-noetherian] semirings are defined. One result is: If \(S\) has a ring of differences \(D(S)\), then the polynomial semiring \(S[x]\) is \(k\)-noetherian if \(D(S)\) is noetherian. This generalizes a result of \textit{H. E. Stone} [Trans. Am. Math. Soc. 233, 339-353 (1977; Zbl 0371.16016)], where \(D(S)\) was assumed to have an ideality.
0 references
\(k\)-subsemimodules
0 references
semirings of \(n\times n\)-matrices
0 references
\(h\)-subsemimodules
0 references
descending chain condition on \(S\)-subsemimodules
0 references
left ideals
0 references
Artinian semirings
0 references
ring of differences
0 references
additively cancellative congruences
0 references
polynomial semirings
0 references