pith. sign in

arxiv: 1906.08175 · v1 · pith:7PB2SBVSnew · submitted 2019-06-19 · 🧮 math.GR

Identities in Brandt semigroups, revisited

Mikhail V. Volkov This is my paper

Pith reviewed 2026-05-25 19:53 UTC · model grok-4.3

classification 🧮 math.GR
keywords Brandt semigroupidentity basissemigroup identitiesfinite exponentgroup semigroups0-simple semigroupsvariety of semigroups
0
0 comments X

The pith

An identity basis exists for any Brandt semigroup over a group of finite exponent.

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

The paper supplies a new proof that a specific collection of identities completely defines the equational theory of an arbitrary Brandt semigroup constructed from a group with finite exponent. This gives a finite or explicit description of all identities that hold in such semigroups and settles which identities are valid. The argument also corrects an incompleteness in the 1985 proof of the same claim. The restriction to finite exponent keeps the identities manageable while covering an important family of 0-simple semigroups.

Core claim

The central claim is that an identity basis can be exhibited for every Brandt semigroup built over a group of finite exponent; the new proof establishes this basis directly and fills the gap left in the original demonstration.

What carries the argument

The identity basis that encodes the Brandt multiplication table together with the finite-exponent law on the underlying group.

If this is right

  • Every identity true in the semigroup is a logical consequence of the basis identities.
  • The variety generated by the semigroup is equationally defined by the basis.
  • Verification of whether a given identity holds reduces to checking consequences of the basis.

Where Pith is reading between the lines

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

  • The same basis technique may adapt to Brandt semigroups over groups without finite exponent once extra identities are added.
  • Similar bases could be sought for other classes of completely 0-simple semigroups using the corrected proof structure.

Load-bearing premise

The group used to build the Brandt semigroup must have finite exponent.

What would settle it

An explicit identity that holds in every such Brandt semigroup yet is not a consequence of the proposed basis, or a counter-example showing that the basis fails to imply a known identity of the semigroup.

read the original abstract

We present a new proof for the main claim made in the author's paper "On the identity bases of Brandt semigroups" (Ural. Gos. Univ. Mat. Zap. 14, no.1 (1985), 38--42); this claim provides an identity basis for an arbitrary Brandt semigroup over a group of finite exponent. We also show how to fill a gap in the original proof of the claim in loc. cit.

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.

Referee Report

0 major / 2 minor

Summary. The manuscript presents a new proof of the main result from the author's 1985 paper, asserting an explicit identity basis for the variety generated by an arbitrary Brandt semigroup B(G) where the underlying group G has finite exponent; it also identifies and repairs a specific gap in the original argument of that paper.

Significance. If the new proof is correct, the work supplies a self-contained and gap-free derivation of an identity basis for this restricted but natural class of Brandt semigroups, thereby placing the 1985 claim on firmer footing. The finite-exponent hypothesis is stated explicitly as part of the scope rather than an implicit assumption.

minor comments (2)
  1. The abstract and introduction would benefit from a brief statement of the precise form of the identity basis (e.g., the number and shape of the identities) rather than only referring to the 1985 claim.
  2. Notation for the Brandt semigroup construction and for the exponent of G should be introduced once in a dedicated preliminary section to avoid repeated parenthetical reminders.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive evaluation and the recommendation to accept the manuscript. The report correctly identifies the paper's purpose as supplying a self-contained proof of the identity basis for Brandt semigroups over groups of finite exponent together with a repair of the gap in the 1985 argument.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper supplies an independent new proof of the 1985 identity-basis claim together with an explicit repair of the gap in the prior argument. No derivation step reduces by construction to a fitted parameter, self-definition, or unverified self-citation; the 1985 reference merely identifies the statement being reproved, while the load-bearing reasoning is developed afresh inside the present manuscript and is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review yields no specific free parameters, invented entities, or ad-hoc axioms beyond standard algebraic definitions of Brandt semigroups and finite-exponent groups.

axioms (1)
  • domain assumption Standard definitions and properties of Brandt semigroups and groups of finite exponent hold as in prior literature.
    The claim is stated for this class of objects without re-deriving their basic properties.

pith-pipeline@v0.9.0 · 5583 in / 1082 out tokens · 31434 ms · 2026-05-25T19:53:03.684672+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages

  1. [1]

    V., Sesekin N

    Belyaev V. V., Sesekin N. F. Free subsemigroups in soluble groups. Ural. Gos. Univ. Mat. Zap. , 1981. Vol. 12, No. 3. P. 13–18. (In Russian)

    work page 1981

  2. [2]

    ¨Uber eine Verallgemeinerung des Gruppenbegriffes

    Brandt H. ¨Uber eine Verallgemeinerung des Gruppenbegriffes. Math. Ann. ,

    work page

  3. [3]

    Vol. 96, No. 1. P. 360–366. DOI: 10.1007/BF01209171

    work page doi:10.1007/bf01209171

  4. [4]

    Burris S., Sankappanavar H. P. A Course in Universal Algebra . Berlin– Heidelberg–New York: Springer-Verlag, 1981. xvi+276 p

    work page 1981

  5. [5]

    Clifford, A. H. Matrix representations of completely simple semigro ups. Amer. J. Math. , 1942. Vol. 64, No. 1. P. 327–342. DOI: 10.2307/2371687

    work page doi:10.2307/2371687 1942

  6. [6]

    H., Preston G

    Clifford A. H., Preston G. B. The Algebraic Theory of Semigroups , Vol.I. 2nd ed. Providence, RI: Amer. Math. Soc., 1964. xvi+224 p

    work page 1964

  7. [7]

    Cohen D. E. On the laws of a metabelian variety. J. Algebra, 1967. Vol. 5, No

    work page 1967

  8. [8]

    P. 267–273. DOI: 10.1016/0021-8693(67)90039-7

    work page doi:10.1016/0021-8693(67)90039-7

  9. [9]

    E., Kublanovskii S

    Hall T. E., Kublanovskii S. I., Margolis S., Sapir M. V., Trotter P. G. A lgorith- mic problems for finite groups and finite 0-simple semigroups, J. Pure Appl. Algebra, 1997. Vol. 119, No. 1. P. 75–96. DOI: 10.1016/S0022-4049(96) 00050-3

    work page doi:10.1016/s0022-4049(96 1997

  10. [10]

    Howie J. M. Fundamentals of Semigroup Theory . 2nd ed. Oxford: Clarendon Press, 1995. xvi+352 p. 20

    work page 1995

  11. [11]

    Isbell J. R. Two examples in varieties of monoids. Proc. Cambridge Philos. Soc., 1970. Vol. 68, No. 2. P. 265–266. DOI: 10.1017/S030500410004 6065

    work page doi:10.1017/s030500410004 1970

  12. [12]

    On bases of identities of finite inverse semigroups with solv- able subgroups

    Kad’ ourek J. On bases of identities of finite inverse semigroups with solv- able subgroups. Semigroup Forum , 2003. Vol. 67, No. 3. P. 317–343. DOI: 10.1007/s00233-001-0005-x

    work page doi:10.1007/s00233-001-0005-x 2003

  13. [13]

    On finite completely simple semigroups having no finit e ba- sis of identities

    Kad’ ourek J. On finite completely simple semigroups having no finit e ba- sis of identities. Semigroup Forum , 2018. Vol. 97, No. 1. P. 154–161. DOI: 10.1007/s00233-017-9907-0

    work page doi:10.1007/s00233-017-9907-0 2018

  14. [14]

    On comparison of finite algebras

    Kalicki J. On comparison of finite algebras. Proc. Amer. Math. Soc., 1952. Vol. 3, No. 1. P. 36–40. DOI: 10.2307/2032452

    work page doi:10.2307/2032452 1952

  15. [15]

    Kleiman E. I. On bases of identities of Brandt semigroups. Semigroup Forum,

    work page

  16. [16]

    Vol. 13, No. 3. P. 209–218. DOI: 10.1007/BF02194938

    work page doi:10.1007/bf02194938

  17. [17]

    Kleiman Ju. G. On a basis of the product of varieties of groups. Math. USSR. Izv. 1973. Vol. 7, No. 1. P. 91–94. DOI: 10.1070/IM1973v007n01ABEH 001927

    work page doi:10.1070/im1973v007n01abeh 1973

  18. [18]

    Lee, E. W. H. Finite basis problem for semigroups of order five or less: gen- eralization and revisitation. Studia Logica, 2013. Vol. 101, No. 1. P. 95–115. DOI: 10.1007/s11225-012-9369-z

    work page doi:10.1007/s11225-012-9369-z 2013

  19. [19]

    Lee, E. W. H., Volkov M. V. On the structure of the lattice of com binatorial Rees–Sushkevich varieties. Semigroups and Formal Languages . Hackensack, NJ: World Sci. Publ., 2007. P. 164–187. DOI: 10.1142/97898127087 00 0012

    work page doi:10.1142/97898127087 2007

  20. [20]

    Mashevitzky G. I. Identities in Brandt semigroups. Polugruppovye mnogoobraz- ija i polugruppy endomorfizmov [Semigroup varieties and semigroups of endo- morphisms]. Leningrad: Leningrad State Pedagogical Institute, 1 979. P. 126–

    work page

  21. [21]

    Mel’nik I. I. On varieties and lattices of varieties of semigroups. Issledovaniya po algebre [Investigations in algebra]. Saratov: Saratov State Univ., 1970. Vo l. 2. P. 47–57 (In Russian)

    work page 1970

  22. [22]

    Munn W. D. Matrix representations of semigroups. Proc. Cambrdige Philos. Soc., 1957. Vol. 53, No. 1. P. 5–12. DOI: 10.1017/S030500410003193 5

    work page doi:10.1017/s030500410003193 1957

  23. [23]

    Neumann B. H. Identical relations in groups. I. Math. Ann. , 1937. Vol. 114, No. 1. P. 506–525. DOI: 10.1007/BF01594191

    work page doi:10.1007/bf01594191 1937

  24. [24]

    Varieties of groups

    Neumann H. Varieties of groups. Berlin–Heidelberg–New York: Springer- Verlag, 1967. xii+192 p

    work page 1967

  25. [25]

    Oates S., Powell M. B. Identical relations in finite groups. J. Algebra , 1964. Vol. 1, No. 1. P. 11–39. DOI: 10.1016/0021-8693(64)90004-3

    work page doi:10.1016/0021-8693(64)90004-3 1964

  26. [26]

    Inverse semigroups

    Petrich M. Inverse semigroups. New York: John Wiley & Sons, 1984. xii+674 p. 21

    work page 1984

  27. [27]

    Reilly N. R. The interval [ B2, NB2] in the lattice of Rees–Sushkevich varieties. Algebra Universalis, 2008. Vol. 59, No. 3-4. P. 345–363. DOI: 10.1007/s00012- 008-2091-z

    work page doi:10.1007/s00012- 2008

  28. [28]

    Sapir M. V. Problems of Burnside type and the finite basis proper ty in vari- eties of semigroups. Math. USSR. Izv. , 1988. Vol. 30, No. 2. P. 295–314. DOI: 10.1070/IM1988v030n02ABEH001012

    work page doi:10.1070/im1988v030n02abeh001012 1988

  29. [29]

    N., Sukhanov E

    Shevrin L. N., Sukhanov E. V. Structural aspects of the theo ry of varieties of semigroups. Soviet Math. (Iz. VUZ) , 1989. Vol. 33, No. 6. P. 1–34

    work page 1989

  30. [30]

    Trahtman A. N. An identity basis of the five-element Brandt sem igroup. Ural. Gos. Univ. Mat. Zap. , 1981. Vol. 12, No. 3. P. 147–149. (In Russian)

    work page 1981

  31. [31]

    Trahtman A. N. The finite basis problem for semigroups of order less than six. Semigroup Forum, 1983. Vol. 27. P. 387–389. DOI: 10.1007/BF02572749

    work page doi:10.1007/bf02572749 1983

  32. [32]

    Trahtman A. N. Finiteness of identity bases of 5-element semigr oups. Polugruppy i ikh gomomorfizmy [Semigroups and their Homomorphisms]. Leningrad: Leningrad State Pedagogical Institute, 1991. P. 76– 97. (In Rus- sian)

    work page 1991

  33. [33]

    Volkov M. V. On the identity bases of Brandt semigroups. Ural. Gos. Univ. Mat. Zap. , 1985. Vol. 14, No. 1. P. 38–42. (In Russian)

    work page 1985

  34. [34]

    Volkov M. V. The finite basis problem for finite semigroups. Sci. Math. Japon. , 2001, Vol. 53, No. 1. P. 171–199

    work page 2001

  35. [35]

    V., On a question by Edmond W

    Volkov M. V., On a question by Edmond W. H. Lee, Proc. Ural State Univ. ,

    work page

  36. [36]

    36 ( Mathematics and Mechanics , No

    No. 36 ( Mathematics and Mechanics , No. 7). P. 167–178. 22

    work page