different between groupoid vs semigroup

groupoid

English

Etymology

group +? -oid

Noun

groupoid (plural groupoids)

  1. (algebra) A magma: a set with a total binary operation.
  2. (algebra and category theory) A set with a partial binary operation that is associative and has inverses and identities.
    A groupoid is a category in which every morphism has an inverse.

Further reading

  • groupoid on Wikipedia.Wikipedia

groupoid From the web:



semigroup

English

Etymology

From semi- +? group, reflecting the fact that not all the conditions required for a group are required for a semigroup. (Specifically, the requirements for the existence of identity and inverse elements are omitted.)

Noun

semigroup (plural semigroups)

  1. (mathematics) Any set for which there is a binary operation that is closed and associative.
    • 1961, Alfred Hoblitzelle Clifford, G. B. Preston, The Algebraic Theory of Semigroups (page 70)
      If a semigroup S contains a zeroid, then every left zeroid is also a right zeroid, and vice versa, and the set K of all the zeroids of S is the kernel of S.
    • 1988, A. Ya A?zenshtat, Boris M. Schein (translator), On Ideals of Semigroups of Endomorphisms, Ben Silver (editor), Nineteen Papers on Algebraic Semigroups, American Mathematical Society Translations, Series 2, Volume 139, page 11,
      It follows naturally that various classes of ordered sets can be characterized by semigroup properties of endomorphism semigroups.
    • 2012, Jorge Almeida, Benjamin Steinberg, Syntactic and Global Subgroup Theory: A Synthesis Approach, Jean-Camille Birget, Stuart Margolis, John Meakin, Mark V. Sapir (editors), Algorithmic Problems in Groups and Semigroups, page 5,
      If one considers the variety of semigroups, one has the binary operation of multiplication defined on every semigroup.

Hypernyms

  • (set for which a closed associative binary operation is defined): magma

Hyponyms

  • (set for which a closed associative binary operation is defined): group, monoid

Derived terms

  • semigroup homomorphism

Translations

semigroup From the web:

+1
Share
Pin
Like
Send
Share

you may also like