On k-Noetherian and k-Artinian Semirings

Jawad Abuhlail; Rangga Ganzar Noegraha

arxiv: 1907.06149 · v1 · pith:ENVFD3ATnew · submitted 2019-07-13 · 🧮 math.RA

On k-Noetherian and k-Artinian Semirings

Jawad Abuhlail , Rangga Ganzar Noegraha This is my paper

Pith reviewed 2026-05-24 21:50 UTC · model grok-4.3

classification 🧮 math.RA

keywords semiringsk-Noetherian semiringsk-Artinian semiringsi-injective semimodulesBass-Papp theoremsemimoduleschain conditionssemiring examples

0 comments

The pith

Left k-Noetherian and left k-Artinian semirings are characterized by properties of their i-injective semimodules, including a partial Bass-Papp theorem.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper sets out to characterize left k-Noetherian and left k-Artinian semirings in terms of i-injective semimodules over them. It also establishes a partial version of the Bass-Papp theorem adapted to the semiring setting. A sympathetic reader would care because these results supply concrete criteria for recognizing ascending or descending chain conditions in semirings, structures that generalize rings and arise in areas such as optimization and automata theory. The work supplies both positive characterizations and counterexamples that mark where the classical ring-theoretic statements stop holding. This approach therefore gives a practical way to test finiteness properties without enumerating all sub-semimodules directly.

Core claim

We characterize left k-Noetherian and left k-Artinian semirings using i-injective semimodules. In particular, we prove a partial version of the Bass-Papp theorem for semirings. The characterizations are illustrated by examples and counterexamples that show both where the statements hold and where they fail to extend the ring case verbatim.

What carries the argument

i-injective semimodules, used as the distinguishing objects that encode the k-Noetherian and k-Artinian conditions on the underlying semiring.

If this is right

A semiring is left k-Noetherian precisely when every direct sum of i-injective left semimodules satisfies the corresponding injectivity condition.
The partial Bass-Papp theorem supplies a sufficient condition under which the direct sum of i-injective semimodules remains i-injective over the semiring.
Dual statements hold for left k-Artinian semirings by replacing ascending-chain conditions with descending ones in the semimodule lattice.
Counterexamples demonstrate that full transfer of the ring-theoretic Bass-Papp statement requires extra hypotheses on the semiring that are not automatic.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same semimodule-based test could be applied to other finiteness conditions such as k-coherent or k-perfect semirings.
The partial nature of the Bass-Papp result points to the need for additional structure, such as a zero-sum-free condition, before a complete analogue can be expected.
The supplied examples and counterexamples can serve as test cases for algorithmic checks of chain conditions in concrete semirings arising in tropical algebra.

Load-bearing premise

The notions of left k-Noetherian semirings, left k-Artinian semirings, and i-injective semimodules are defined so that the stated equivalences and the partial Bass-Papp statement hold without further restrictions on the semiring.

What would settle it

A concrete semiring that meets the definition of left k-Noetherian yet possesses an i-injective semimodule whose direct sum fails the injectivity property required by the claimed characterization would falsify the main equivalence.

read the original abstract

We investigate left k-Noetherian and left k-Artinian semirings. We characterize such semirings using i-injective semimodules. We prove in particular, a partial version of the celebrated Bass-Papp Theorem for semiring. We illustrate our main results by examples and counter examples.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper defines k-Noetherian and k-Artinian semirings, characterizes them via i-injective semimodules, and proves a scoped partial Bass-Papp result with supporting examples and counterexamples.

read the letter

The paper's core move is to set up left k-Noetherian and left k-Artinian conditions for semirings, then link them to i-injective semimodules and deliver a limited Bass-Papp style statement that stops short of the full ring-theoretic conclusion. It backs the claims with explicit examples where the semiring versions hold and counterexamples where the ring versions fail, which keeps the scope honest. The definitions appear tailored to avoid subtraction and stay within semiring axioms, and the stress-test note confirms no circularity or hidden ring assumptions in the arguments. That is the useful part: concrete illustrations of where the analogy breaks. The work stays within semiring theory and does not claim broader applications or resolve open problems outside it. The partial theorem is presented with clear limitations rather than overstated. A minor soft spot is that the characterizations rest on the new i-injective notion, so readers will need to check how natural that definition feels in their own contexts, but the paper supplies the necessary counterexamples to test it. This is for people already working on chain conditions or module theory over semirings. It is not a big leap for the wider algebra community, but the explicit examples and the partial result are solid enough that a serious referee should see it. I would send it to peer review.

Referee Report

0 major / 3 minor

Summary. The manuscript defines left k-Noetherian and left k-Artinian semirings, characterizes these classes via i-injective semimodules, and establishes a partial version of the Bass-Papp theorem in the semiring setting. The claims are supported by explicit definitions adapted to semirings, together with examples and counterexamples that delineate where ring-theoretic conclusions fail to hold.

Significance. If the stated characterizations and the partial Bass-Papp result are correct, the work extends classical module-theoretic tools to semirings without additive inverses. The explicit tailoring of the k- and i- notions, the clear scope limitations on the Bass-Papp analogue, and the provision of both positive examples and counterexamples are strengths that clarify the boundary between ring and semiring behavior.

minor comments (3)

[§2] §2: the definition of i-injective semimodules would benefit from an explicit sentence contrasting it with the usual injective module definition over rings, to aid readers unfamiliar with semimodule literature.
[§4] The statement of the partial Bass-Papp theorem (likely in §4) should include a one-sentence reminder of the precise hypotheses under which the ring version holds, for direct comparison.
Notation for the left k-Noetherian and left k-Artinian properties is introduced clearly but could be collected in a short table or remark for quick reference when the characterizations are applied later.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our manuscript and the recommendation of minor revision. No specific major comments appear in the report, so we have no points requiring rebuttal or clarification at this stage. We remain available to address any minor editorial or presentational suggestions that may be raised by the editor.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper explicitly introduces definitions of left k-Noetherian semirings, left k-Artinian semirings, and i-injective semimodules adapted to the semiring setting, then derives characterizations and a partial Bass-Papp theorem from them using standard arguments. These definitions originate from prior external semiring literature rather than being constructed from the paper's own results or fitted parameters. No load-bearing steps reduce by construction to self-citations, ansatzes smuggled via citation, or renaming of known results; the central claims remain independent of the inputs and are supported by examples and counterexamples distinguishing the semiring case from rings. The derivation chain is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the ledger is based on standard assumptions in abstract algebra rather than specific content from the paper.

axioms (1)

standard math Standard definitions and properties of semirings, semimodules, and chain conditions from prior literature
The abstract invokes these without re-deriving them.

pith-pipeline@v0.9.0 · 5567 in / 1008 out tokens · 19659 ms · 2026-05-24T21:50:22.044455+00:00 · methodology

On k-Noetherian and k-Artinian Semirings

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)