Apri il menu principale

In matematica, un gruppoide è una struttura algebrica usata per generalizzare gruppi e azioni di gruppo.

Il concetto di gruppoide è stato introdotto da Heinrich Brandt nel 1927[1].; spesso quindi tale entità viene chiamata gruppoide di Brandt.

DefinizioneModifica

In senso algebrico, un gruppoide è definito come un insieme G munito di una funzione parziale   e di una funzione totale -1 che soddisfano le seguenti condizioni per ogni f e g in G:

  •   è associativa, cioè se esistono sia   che  , allora   e   sono uguali
  •   e   sono sempre definite
  • Se   è definita allora   e  

BibliografiaModifica

  1. ^ (DE) H. Brandt Über eine Verallgemeinerung des Gruppenbegriffes Mathematische Annalen 96, 1927, 360-366[collegamento interrotto]
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica