Gruppoide (teoria delle categorie)

Da Wikipedia, l'enciclopedia libera.

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.

Definizione[modifica | modifica wikitesto]

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

Bibliografia[modifica | modifica wikitesto]

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