{"id":"1b6328dd-bf28-4e9c-be76-e47001efe525","arxiv_id":"1908.01813","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Dominions of H-commutative semigroups are again H-commutative, and H-commutative semigroups satisfying the minimum condition on principal right ideals are saturated.","lead":"The paper proves that the dominion of an H-commutative semigroup is always H-commutative, and uses this to show that any H-commutative semigroup satisfying a finiteness condition is saturated. This generalizes older results from commutative semigroups to a broader class that includes all groups.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified.","rationale":"The reader identified Isbell's zigzag theorem as the weakest assumption, and I agree it is the key external input. However, I do not see this as a genuine risk: the zigzag theorem is a standard, well-established result, and the paper's use of it in Theorem 4.1 is precise and does not depend on the stronger 'outer elements outside U' clause. I verified the zigzag manipulations in Cases (ii), (iii), and (iv) step by step; the swaps are valid applications of H-commutativity of U (or its opposite-semigroup dual), and all products remain in the dominion because Dom(U,S) is a subsemigroup. The later saturation theorem is also supported by standard facts. Thus the central claim holds up under scrutiny, and the ACCEPT verdict requires no change.","tokens_in":13152,"tokens_out":45102,"duration_ms":397224,"concrete_test":"Re-derive Case(iii) of Theorem 4.1 by formally writing down the proof of Case(ii) in the opposite semigroup S^op and checking that the zigzag equations are preserved when deriving d h = h w d for d∈Dom(U,S)\\U and h∈U; if this derivation fails, Case(iv) collapses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I checked the central argument of Theorem 4.1 in detail. The proof of Case(ii) is a valid zigzag chase: the element d∈U is moved through the U-elements a_i of the zigzag, while the outer factors x_i and y_i remain fixed; every swap is an application of H-commutativity of U. Case(iii), for d∈Dom(U,S)\\U and h∈U, is the left-right dual and is obtained by applying Case(ii) in the opposite semigroup, whose base U^op is H-commutative and whose dominion is the same set. Case(iv) extends the same chase to products in Dom(U,S), and each intermediate product such as w1 d w2 lies in Dom(U,S) because Dom(U,S) is a subsemigroup; if such a product falls in U, the needed swap reduces to H-commutativity of U, so there is no hidden dependence on the product being outside U. The final rearrangement moves d to the right using Case(iii). Thus Theorem 4.1 is internally sound. The proof does rely on Isbell's zigzag theorem, but that theorem is standard and correctly stated; moreover, the manipulations never require the outer factors x_i and y_i to lie outside U, so even the usual weaker formulation of the zigzag theorem suffices. The later saturation theorems depend only on standard facts about H-commutative semigroups, absolute closedness of groups, and the same zigzag framework. I found no unsupported step, no circularity, and no counterexample to the central claim.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies H-commutative semigroups, that is, semigroups satisfying ab = bxa for some x in S^1. It establishes structural results (coincidence of Green's relations, semilattice decompositions, regular cases), gives examples and closure properties, and then proves the two main generalizations: Theorem 4.1 states that the dominion of an H-commutative subsemigroup in any containing semigroup is H-commutative, and Theorem 4.9 states that every H-commutative semigroup satisfying the minimum condition on principal right ideals is saturated. The proof of Theorem 4.1 is a detailed zigzag chase using Isbell's zigzag theorem, and the saturation theorem follows by adapting Howie and Isbell's arguments with the help of the dominion result. The paper is written as a conventional semigroup-theory contribution and relies on standard external results such as Isbell's zigzag theorem and Nagy's structure theory.","tokens_in":13421,"tokens_out":23727,"duration_ms":218390,"significance":"The main contribution is Theorem 4.1, which generalizes Isbell's theorem on dominions of commutative semigroups to H-commutative semigroups. The zigzag proof is carefully structured and the later saturation theorem (Theorem 4.9) is a natural and nontrivial consequence. The structural results in Section 2 and the examples in Section 3 (especially the failure of HC to be closed under direct products and the non-H-commutativity of archimedean components) are useful additions. The argument is based on standard tools—Isbell's zigzag theorem, Green's relations, Nagy's semilattice decomposition—and I found no circularity or unsupported parameter fitting. If the minor presentation issues are corrected, the paper would be a solid contribution to the dominion theory of semigroups.","major_comments":[],"minor_comments":[{"comment":"The abstract states that the paper generalises 'Howie and Isbell's result that any H-commutative semigroup satisfying the minimum condition on principal ideals is saturated'. This misattributes the original theorem: Howie and Isbell proved this for commutative semigroups, and the introduction correctly states so. Please rephrase the abstract, and also change 'a H-commutative' to 'an H-commutative'.","section":"Abstract"},{"comment":"In Case (iv), the first step dh = da0y1 = a0w1dy1 is an application of Case (iii), not Case (ii), since d ∈ Dom(U,S)\\U and a0 ∈ U. Later citations of Case (ii) for products such as w1d are also technically outside the stated case when the product falls in U; the conclusion still holds by H-commutativity of U, but a clarifying remark would remove the ambiguity.","section":"§4, Theorem 4.1 proof"},{"comment":"From a^r K^1 = a^{2r}K^1 the inference 'a^r = a^{2r}c for some c ∈ K' is not immediate, because the element provided by K^1 could be the identity. If it is the identity, then a^r is idempotent and one may take c = a^r ∈ K (since a^r ∈ K for a right ideal K by induction); this one-line justification should be added.","section":"§4, Proposition 4.3"},{"comment":"The displayed equation 'ab = bxa = xyba' is terse: the second equality follows by applying H-commutativity to b and x, yielding bxa = x y b a. As written, 'xyba' is ambiguous and should be written with appropriate spacing or a short explanation.","section":"§2, Theorem 2.5(a)"},{"comment":"The symbol B is used both for the set of left divisors of b in K and for the set of principal right ideals generated by those divisors. Rename the second collection to avoid confusion.","section":"§4, Proposition 4.4"},{"comment":"There are several typographical errors: '[6, Corollay 2.5]' should be 'Corollary 2.5', the reference list contains 'confrence', and the abstract contains 'explor e'. Please proofread these.","section":"References and abstract"}],"recommendation":"minor_revision","confidential_remarks":"The paper is mathematically sound and well within the scope of the journal. The minor proof gaps are easily fixed and do not affect the central claims. The only issue that should be corrected before publication is the abstract's misattribution of the Howie-Isbell theorem to H-commutative semigroups; the manuscript itself states the correct commutative version in the introduction. I recommend minor revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know two things about this one. First, Theorem 4.1 is the real item: the dominion of an H-commutative subsemigroup is H-commutative, and the proof is a genuine zigzag chase, not a repackaging of the commutative case. Second, Theorem 4.9 follows from it in a straightforward way and gives the advertised Howie-Isbell analogue. I read the proof of 4.1 in detail, including the delicate case (iv) where both elements lie outside U. The manipulations are legitimate: each swap uses H-commutativity of U on a product that indeed lies in U, and the intermediate products lie in Dom(U,S) because dominions are subsemigroups. I did not find a hidden step.\n\nWhat is new: the paper extends Isbell's theorem and the saturatedness theorem to a class that includes all groups, and it does so with a completely explicit argument. Section 2 is mostly expository, restating Nagy's structural facts with proofs, but that is fine because the later sections depend on those facts. The examples are useful and not thrown in; Example 3.3 showing HC is not closed under direct products is a nice counterexample to a naive expectation.\n\nThe soft spots are minor. The abstract says Howie and Isbell proved the result for H-commutative semigroups, but the original was for commutative semigroups; that is a wording slip, not a mathematical one. In the proof of Theorem 4.8, the sentence \"Since T (and not just S) is H-commutative\" silently relies on Corollary 4.2 — true, but it should be cited there. The typesetting has several typos (\"explor e\", \"i.e.\" spacing), but those look like copyediting issues, not substantive errors.\n\nI checked for circularity: the arguments use Isbell's zigzag theorem as an external characterization, plus standard facts about H-commutative semigroups. There is no parameter fitting and no reuse of the target result. The citation pattern is honest, mostly to Nagy's book and the original Isbell/Howie papers.\n\nWho is this for? People working on epimorphisms and dominions in semigroup theory. It is a solid advance within that niche, not a field-shifting result, but it is a complete and correct one. My recommendation: send it to peer review. A competent referee will not struggle with soundness; the main work is checking whether the generalizations are as broadly stated, and they are.","headline":"Clean generalization of Isbell and Howie-Isbell from commutative to H-commutative semigroups; the main zigzag proof holds up.","tokens_in":13957,"tokens_out":2455,"would_cite":false,"duration_ms":25197,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["20M07"],"pacs":[],"model":"deepseek-v4-flash","headline":"Dominions of H-commutative semigroups are H-commutative, and the minimum condition on principal right ideals makes them saturated.","keywords":["H-commutative semigroups","dominion","epimorphism","saturated semigroup","Green's relations","zigzag","minimum condition on principal right ideals","archimedean semigroups"],"falsifier":"Find an H-commutative subsemigroup $U$ inside a semigroup $S$ and elements $d,h\\in\\operatorname{Dom}(U,S)$ such that $dh \\neq hwd$ for every $w\\in\\operatorname{Dom}(U,S)$. No such pair should exist if Theorem 4.1 is correct, so a concrete example would settle it; equivalently, one can compute a finite example and check the zigzag condition directly.","tokens_in":12966,"feed_emoji":"🧩","tokens_out":7385,"duration_ms":64474,"temperature":0.7,"pith_summary":"This paper establishes that H-commutativity is hereditary through dominions: if $U$ is an H-commutative subsemigroup of any semigroup $S$, then the set of elements of $S$ that cannot be separated from $U$ by a homomorphism—the dominion $\\operatorname{Dom}(U,S)$—is itself H-commutative. This extends a classical closure result from commutative semigroups to the wider H-commutative class. The authors use this dominion closure to prove that every H-commutative semigroup satisfying the minimum condition on principal right ideals is saturated, meaning it cannot be epimorphically embedded as a proper subsemigroup of any semigroup. Along the way they show that all five Green's relations coincide on an H-commutative semigroup, that the semigroup decomposes as a semilattice of archimedean subsemigroups, and that the regular H-commutative semigroups are exactly semilattices of groups.","feed_headline":"H-commutativity survives in dominions and forces saturation","feed_subtitle":"A minimum condition on principal right ideals makes H-commutative semigroups uncapturable as proper epimorphic images.","key_machinery":"The central mechanism is the zigzag characterization of dominion membership: an element $d\\in S$ belongs to $\\operatorname{Dom}(U,S)$ exactly when it admits a finite alternating chain of factorizations $d = a_0t_1 = y_1a_1t_1 = \\cdots = y_m a_{2m}$ with every $a_i\\in U$ and the intermediate factors in $S$. The proof of Theorem 4.1 pushes the equation $dh = hwd$ through this chain, moving each $a_i$ past $d$ using the H-commutativity of $U$ and collecting the witnesses into a single element $w\\in U$. The same zigzag form, together with the minimum condition on principal right ideals, is what forces the contradiction in the saturation proof.","core_discovery":"The load-bearing claim is Theorem 4.1: for an H-commutative subsemigroup $U$ of an arbitrary semigroup $S$, the dominion $\\operatorname{Dom}(U,S)$ is H-commutative. The proof takes two elements $d,h$ of the dominion and, using a finite zigzag factorization of $h$ over $U$, repeatedly swaps the $U$-elements past $d$ by applying $ab=bxa$ inside $U$. Each swap produces a new element of $U$, and the final product of these elements is a single $w\\in U$ such that $dh = hwd$. This directly implies that epimorphic images of H-commutative semigroups are H-commutative. The same machinery, combined with a minimality argument on descending chains of principal right ideals, yields the saturation theorem: any H-commutative semigroup with the minimum condition on principal right ideals is saturated.","pith_inferences":["Because dominion closure is the key step, any semigroup that appears as an epimorphic image of an H-commutative semigroup must itself be H-commutative; this makes H-commutativity an 'epi-invariant' property and suggests that saturation questions for the class reduce to one-sided ideal conditions.","The direct-product counterexample in Example 3.3 shows the first-order definition does not behave like a variety; one testable extension is whether the dominion closure proof can be rerun for left or right semicommutative semigroups, where the same zigzag commutation might fail.","Since the archimedean components of an H-commutative semigroup need not be H-commutative (Example 3.6), the saturation theorem cannot be proved component-wise; it would be natural to test whether the minimum-condition hypothesis can be replaced by a condition on each archimedean component."],"forward_implications":["Epimorphic images of H-commutative semigroups are H-commutative (Corollary 4.2), so H-commutativity is preserved by the broadest notion of surjective-like morphism.","Every H-commutative semigroup satisfying the minimum condition on principal right ideals is saturated (Theorem 4.9), generalizing the commutative case.","Every H-commutative archimedean semigroup containing an idempotent is saturated (Theorem 4.10).","Inside any H-commutative semigroup, all five Green's relations coincide and the semigroup is a semilattice of archimedean semigroups (Theorems 2.3 and 2.10).","The regular members of the class are exactly semilattices of groups (Theorem 2.6)."],"supporting_citations":[{"why":"Supplies the zigzag theorem characterizing membership in $\\operatorname{Dom}(U,S)$, the central tool in the proof of Theorem 4.1.","marker":"[6]"},{"why":"Provides the commutative-semigroup saturation result that Theorem 4.9 extends, and the absolute closedness of groups used in Theorem 4.8.","marker":"[5]"},{"why":"Supplies the definition of H-commutativity and the equivalence with Green's relation $H$ being a commutative congruence, used throughout.","marker":"[11]"},{"why":"Background semigroup theory and an alternate reference for the zigzag theorem and for nonsaturated examples.","marker":"[4]"},{"why":"Gives the ideal-extension structure of H-commutative archimedean semigroups with idempotent, used in Theorem 4.10.","marker":"[12]"}],"fun_headline_variants":["Dominions inherit H-commutativity","H-commutative semigroups saturate under minimum condition","Epimorphisms preserve H-commutative property","Isbell's theorem extended to H-commutative semigroups"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes the zigzag characterization of dominions is complete: every element of $\\operatorname{Dom}(U,S)$ can be written as a finite alternating chain of factorizations in $S$ over $U$. If that description missed some dominion elements, the swapping argument would not cover them.","fun_headline_variants_meta":{"raw":{"variants":["Dominions inherit H-commutativity","H-commutative semigroups saturate under minimum condition","Epimorphisms preserve H-commutative property","Isbell's theorem extended to H-commutative semigroups"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000379,"raw_usage":{"total_tokens":1952,"prompt_tokens":821,"completion_tokens":1131,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":437,"completion_tokens_details":{"reasoning_tokens":1062}},"tokens_in":437,"tokens_out":1131,"duration_ms":10371,"temperature":1.0,"reasoning_tokens":1062,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:02:12.975521+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find an H-commutative subsemigroup $U$ inside a semigroup $S$ and elements $d,h\\in\\operatorname{Dom}(U,S)$ such that $dh \\neq hwd$ for every $w\\in\\operatorname{Dom}(U,S)$. No such pair should exist if Theorem 4.1 is correct, so a concrete example would settle it; equivalently, one can compute a finite example and check the zigzag condition directly.","supporting_citations":[{"cited_title":"of the confrence on Categorical Algebra, La Jolla, (1966), 232-246, Lange and Springer, Berlin","cited_arxiv_id":null,"evidence_quote":"Supplies the zigzag theorem characterizing membership in $\\operatorname{Dom}(U,S)$, the central tool in the proof of Theorem 4.1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the commutative-semigroup saturation result that Theorem 4.9 extends, and the absolute closedness of groups used in Theorem 4.8."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the definition of H-commutativity and the equivalence with Green's relation $H$ being a commutative congruence, used throughout."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Background semigroup theory and an alternate reference for the zigzag theorem and for nonsaturated examples."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the ideal-extension structure of H-commutative archimedean semigroups with idempotent, used in Theorem 4.10."}],"review_version":1}