Basis reduction for cryptogroups and orthogroups

DOI10.1007/s00233-020-10124-3OpenAlexW3086904582MaRDI QIDQ2216527

Eduardo Skapinakis, Ana Cristina Casimiro

Publication date: 16 December 2020

Published in: Semigroup Forum (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10362/106981

zbMATH Keywords

completely regular semigroupsorthogroupscryptogroupsequational characterizations

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Regular semigroups (20M17)

Uses Software

• ProverX

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An elegant 3-basis for inverse semigroups.
• Single axioms for groups
• Single axioms for the left group and right group calculi
• A natural characterization of semilattices of rectangular bands and groups of exponent two.
• Yet another single law for groups
• Single axioms for groups and abelian groups with various operations
• Single identities for ternary Boolean algebras
• Solution of the Robbins problem
• Short single axioms for Boolean algebra
• Varieties of regular semigroups with uniquely defined inversion
• Commutativity theorems for groups and semigroups
• Equational postulates for the Sheffer stroke
• Axioms for Unary Semigroups via Division Operations**
• Independent axiom systems for nearlattices
• Postulates for Commutative Groups
• Computer Solutions of Problems in Inverse Semigroups
• Another single law for groups
• On single-law definitions of groups
• Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups
• What groups were: A study of the development of the axiomatics of group theory
• On Single Equational-Axiom Systems for Abelian Groups
• A legacy recalled and a tradition continued