arxiv: 2604.22007 · v1 · submitted 2026-04-23 · 🧮 math.GR

Recognition: unknown

Zero Cancellation and Equation Structure in Kiselman's Semigroup

Luka Andren\v{s}ek

Pith reviewed 2026-05-08 13:08 UTC · model grok-4.3

classification 🧮 math.GR

keywords Kiselman's semigroupsemigroup with zeroequation solutionsleft annihilatorscardinality paritygenerator subsemigroups

0 comments

The pith

In Kiselman's semigroup K_n, xy equals the zero element f only if x equals f whenever y lies in the subsemigroup generated by a2 through an, while xa1 equals f has exactly 1 plus the order of K_{n-1} solutions.

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

Kiselman's semigroup K_n is generated by a1 to an together with a zero element f that absorbs all products. The paper proves that left multiplication reaches f non-trivially only when the right factor involves a1; if y comes from a2 to an then xy = f forces x = f. The authors then count and describe the solutions to xa1 = f, showing there are precisely 1 + |K_{n-1}| of them, and they establish that the total order of K_m is even precisely when m is odd. A reader cares because the result isolates the special role of a single generator, supplies a recursive relation for solution counts, and reveals a parity pattern in the size of these semigroups.

Core claim

We prove that if y ∈ K_n lies in the subsemigroup generated by a2, …, an, then xy = f implies x = f. In contrast, the equation xa1 = f admits non-trivial solutions. We describe the solution set of this equation, show that its cardinality is 1 + |K_{n-1}|, and study its algebraic structure. Moreover, we show that |K_{2n+1}| is even, whereas |K_{2n}| is odd.

What carries the argument

The zero element f and the distinction between the full generating set and the subsemigroup on a2 through an. This distinction isolates which right factors can be left-annihilated non-trivially and enables recursive counting of solutions.

If this is right

Left multiplication by any non-zero element cannot send any y from the subsemigroup on a2..an to f.
The left annihilator of a1 has cardinality exactly 1 + |K_{n-1}|.
The solution set of xa1 = f carries an algebraic structure that can be described explicitly from the smaller semigroup.
The cardinality of K_n is odd when n is even and even when n is odd.

Where Pith is reading between the lines

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

The selective annihilation property allows a recursive construction of K_n by adjoining a1 to a copy of K_{n-1} while controlling the new zero equations.
The parity alternation suggests that the elements of K_n admit a natural pairing or involution precisely when n is odd.
The same counting technique may apply to left annihilators of other specific generators or to related semigroups with distinguished generators.

Load-bearing premise

K_n is the semigroup generated by a1 to an together with a zero element f that absorbs every product containing it.

What would settle it

Explicit enumeration of the elements of K_2 or K_3 together with a direct count of the distinct solutions x to xa1 = f, or a direct check of whether |K_3| is even.

read the original abstract

We investigate equations in Kiselman's semigroup $K_n$, generated by $a_1, \dots, a_n$. Let $f$ denote the zero element of $K_n$. We prove that if $y \in K_n$ lies in the subsemigroup generated by $a_2, \dots, a_n$, then $x y = f$ implies $x = f$. In contrast, the equation $x a_1 = f$ admits non-trivial solutions. We describe the solution set of this equation, show that its cardinality is $1 + |K_{n-1}|$, and study its algebraic structure. Moreover, we show that $|K_{2n+1}|$ is even, whereas $|K_{2n}|$ is odd.

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

The paper gives a clean normal-form argument that separates a1 from the other generators in Kiselman's semigroup, yielding an exact solution count for xa1=f and a parity result on |Kn|.

read the letter

The main thing to know is that this work pins down an asymmetry in how the generators interact with the zero element f. If y is built only from a2 through an, then xy = f forces x = f. By contrast, xa1 = f has non-trivial solutions whose set is described explicitly, has size 1 + |K_{n-1}|, and carries a natural algebraic structure that is essentially a copy of K_{n-1} adjoined to zero. The paper also proves |K_{2n+1}| is even while |K_{2n}| is odd, using a recurrence that tracks parity at each step. These statements are presented as direct consequences of the standard presentation and a normal-form reduction rule for words over the generators. The bijection for the solution set is given by explicit maps that prefix a1 and reduce, and the induction on n stays finitary with no external theorems required. That approach is straightforward once the normal form is in hand, and it produces precise, checkable claims rather than vague existence results. The normal-form machinery is the load-bearing part; if the reduction rules are stated and verified completely, the rest follows without gaps or circularity. No heavy machinery or self-referential fitting appears. Readers already familiar with Kiselman's semigroups or similar finitely presented structures will find the cardinality formula and the structural description immediately usable for further inductive arguments or classification work. The paper is narrow but self-contained, so it deserves a serious referee who can check the normal-form details and the induction base cases. I would send it out for review rather than desk-reject.

Referee Report

0 major / 3 minor

Summary. The paper examines equations with the zero element f in Kiselman's semigroup K_n generated by a1,...,an. It proves a zero-cancellation property: if y belongs to the subsemigroup generated by a2,...,an then xy=f implies x=f. In contrast, the equation xa1=f has nontrivial solutions; the solution set is described explicitly, shown to have cardinality 1+|K_{n-1}|, and its algebraic structure is analyzed via a bijection with K_{n-1} union {f}. The paper also establishes that |K_{2n+1}| is even while |K_{2n}| is odd, using an inductive argument based on a normal-form description of elements and a recurrence for the orders.

Significance. If the claims hold, the results supply concrete structural data on Kiselman's semigroups, including explicit solution sets to linear equations over the zero and parity information on their finite orders. The normal-form reduction rules and inductive proofs are finitary and self-contained, providing a reusable framework for further investigation of these semigroups in combinatorial algebra.

minor comments (3)

[Section 2] The normal-form reduction rules in the preliminary section would benefit from an explicit small-n example (e.g., n=3) showing how a word reduces to f or to a non-zero element, to make the zero-cancellation argument more immediately verifiable.
[Section 4] The recurrence relation used for the parity proof is stated but the exact form of the 'something' term whose parity is controlled should be written out explicitly rather than left implicit, even if the induction closes.
[Section 4] A short table listing |K_n| for n=1 to 6 would allow the reader to check the claimed parity pattern directly against the cardinality formula for the solution set of xa1=f.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment and the recommendation to accept the manuscript. The referee's summary correctly identifies the key results on zero-cancellation for elements generated by a2 through an, the explicit description of solutions to xa1 = f, and the parity of the orders |K_m|.

Circularity Check

0 steps flagged

No significant circularity; results follow directly from semigroup definition and induction

full rationale

The paper's claims rest on the explicit normal-form description of elements in K_n (words over generators with reduction rules absorbing to f) and an inductive argument on n. The zero-cancellation for y generated by a2..an follows immediately from the normal-form rules preventing non-zero x y from reducing to f. The solution set to x a1 = f is partitioned via explicit bijection to {f} union a copy of K_{n-1} by prefixing a1 and applying reductions. Parity of |K_n| follows from a recurrence verified by induction. No self-citations, fitted inputs, or ansatzes are invoked; all steps are finitary consequences of the standard presentation of K_n.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on the standard definition of Kiselman's semigroup and the usual axioms of semigroups (associativity and the existence of a zero element). No free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (1)

domain assumption K_n is the semigroup generated by a1..an with zero element f satisfying absorption
This is the foundational definition on which all stated theorems rest.

pith-pipeline@v0.9.0 · 5425 in / 1449 out tokens · 95310 ms · 2026-05-08T13:08:35.466352+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Dynamics, Random Products, and Ultrametric Geometry in Kiselman's Semigroup
math.GR 2026-04 unverdicted novelty 6.0

In Kiselman's semigroup, partial products always stabilize, random stabilization times are sums of n geometrics, and a natural ultrametric exists.

Reference graph

Works this paper leans on

18 extracted references · 1 canonical work pages · cited by 1 Pith paper

[1]

Semigroup Forum 86(1), 32–40 (2013)

Aragona, R., D’Andrea, A.: Hecke–Kiselman monoids of sm all cardinality. Semigroup Forum 86(1), 32–40 (2013)

2013
[2]

Algebra Discrete Math

Aragona, R., D’Andrea, A.: Normal form in Hecke–Kiselma n monoids associated with simple oriented graphs. Algebra Discrete Math. 30(2), 161–171 (2020)

2020
[3]

Semigroup Forum (2025)

Andrenšek, L.: A complete classiﬁcation of endomorphis ms of Kiselman’s semi- group. Semigroup Forum (2025)

2025
[4]

Demonstr

Ashikhmin, D.N., Volkov, M.V., Zhang, W.T.: The ﬁnite ba sis problem for Kiselman monoids. Demonstr. Math. 48, 475–492 (2015)

2015
[5]

Camb ridge University Press, Cambridge (1998)

Baader, F., Nipkow, T.: Term Rewriting and All That. Camb ridge University Press, Cambridge (1998)

1998
[6]

Collina, E., D’Andrea, A.: A graph-dynamical interpret ation of Kiselman’s semigroups. J. Algebraic Combin. 41(4), 1115–1132 (2015)

2015
[7]

D’Andrea, A., Stella, S.: The cardinality of Kiselman’s semigroups grows double- exponentially. Bull. Belg. Math. Soc. Simon Stevin 30(5), 570–576 (2023)

2023
[8]

arXiv:1205.0676v4 (2017)

Forsberg, L.: Eﬀective representations of Hecke–Kisel man monoids of type An. arXiv:1205.0676v4 (2017)

work page arXiv 2017
[9]

Ganyushkin, O., Mazorchuk, V.: On Kiselman quotients of 0-Hecke monoids. Int. Electron. J. Algebra 10(2), 174–191 (2011)

2011
[10]

Kiselman, C.: A semigroup of operators in convexity the ory. Trans. Amer. Math. Soc. 354(5), 2035–2053 (2002)

2035
[11]

Yokohama Math

Kudryavtseva, G., Mazorchuk, V.: On Kiselman’s semigr oup. Yokohama Math. J. 55(1), 21–46 (2009)

2009
[12]

Semigroup Forum 110(3), 597–614 (2025)

Lebed, V.: The word problem for Hecke–Kiselman monoids of type An and ˜An. Semigroup Forum 110(3), 597–614 (2025)

2025
[13]

Semigroup Forum 99(2), 447–464 (2019)

Męcel, A., Okniński, J.: Gröbner basis and the automato n property of Hecke– Kiselman algebras. Semigroup Forum 99(2), 447–464 (2019)

2019
[14]

Okniński, J., Wiertel, M.: Combinatorics and structur e of Hecke–Kiselman algebras. Commun. Contemp. Math. 22(07), 2050022 (2020)

2020
[15]

Okniński, J., Wiertel, M.: On the radical of a Hecke–Kis elman algebra. Algebr. Represent. Theory 24(6), 1431–1440 (2021)

2021
[16]

Linear 17 Algebra Appl

Wiertel, M.: Irreducible representations of Hecke–Ki selman monoids. Linear 17 Algebra Appl. 640, 12–33 (2022)

2022
[17]

Forum Math

Wiertel, M.: The Gelfand–Kirillov dimension of Hecke– Kiselman algebras. Forum Math. 35(2), 523–534 (2023)

2023
[18]

Se migroup Forum 109(2), 457–466 (2024) 18

Wiertel, M.: Identities of Hecke–Kiselman monoids. Se migroup Forum 109(2), 457–466 (2024) 18

2024