En semigrupp i allmän algebra är en mängd med en associativ binär operation definierad på den . Det råder kontroverser om huruvida kravet på icke-tomhet ska inkluderas i definitionen av en halvgrupp; vissa författare insisterar till och med på behovet av ett neutralt element ("ett"). Det vanligaste tillvägagångssättet är dock att en halvgrupp inte nödvändigtvis är tom och inte nödvändigtvis innehåller ett neutralt element. En halvgrupp med ett neutralt element kallas en monoid ; vilken semigrupp som helst som inte innehåller ett neutralt element kan förvandlas till en monoid genom att lägga till något element till det och definieraden resulterande monoiden betecknas vanligtvis som .
Exempel på semigrupper: naturliga tal med additionsoperationen , mängden av alla mappningar av en mängd till sig själv med kompositionsoperationen , mängden av alla ord över något alfabet med sammanlänkningsoperationen . Vilken grupp som helst är också en halvgrupp; Ett ideal för en ring är alltid en halvgrupp under driften av multiplikation.
En semigroup är en (icke-tom) uppsättning , i vilken för vilket par av element som helst som tas i en viss ordning ett nytt element definieras, kallat deras produkt , och för alla alltid [1] .
En halvgrupp kallas kommutativ (eller abelisk ) om den alltid gäller för någon .
Viktiga klasser bildar semigrupper med reduktion [2] :
Ett element i en halvgrupp kallas regelbundet om det finns ett element i en sådan . En halvgrupp vars alla element är reguljära kallas en vanlig semigrupp .
Ett element i en halvgrupp sägs vara helt regelbundet om det finns ett element i en sådan och . En helt vanlig halvgrupp är en halvgrupp vars alla element är helt regelbundna [3] .
En semigrupp i vilken det för någon i det alltid existerar sådan att och , är en grupp .
Om , då är det vanligt att beteckna .
En delmängd av en halvgrupp kallas en delgrupp om den själv är en halvgrupp med avseende på begränsningen av operationen till en delmängd. För detta räcker det att för två valfria element från deras produkt också tillhör .
Om delmängden är icke-tom och (respektive ) ligger i , då kallas den för det högra (respektive vänster) idealet för . Om är både ett vänster- och ett högerideal, så kallas det ett dubbelsidigt ideal, eller helt enkelt ett ideal.
Skärningen och föreningen av någon familj av underhalvgrupper är också en underhalvgrupp; det följer att undersemigrupperna bildar ett komplett gitter . Ett exempel på en halvgrupp där det inte finns något minimalt ideal är positiva heltal med additionsoperationen. Om det finns ett minst ideal och halvgruppen är kommutativ, så är det en grupp.
På grund av associativitet kan man korrekt definiera den naturliga graden av ett element i en halvgrupp som:
.För graden av ett element är förhållandet sant .
Ett specialfall av semigrupper är semigrupper med division , där för vartannat element och höger och vänster kvot definieras.
En finit halvgrupp har alltid en idempotent (ett element för vilket ).
En semigroup homomorphism är en kartläggning som bevarar strukturen av en semigroup. En mappning från en halvgrupp till en halvgrupp kallas nämligen en homomorfism om . Två semigrupper och sägs vara isomorfa om det finns en bijektiv homomorfism .
1951 introducerade James Green fem grundläggande ekvivalensrelationer på en semigrupp. De visade sig vara väsentliga för att förstå semigruppen både lokalt och globalt. Greens relationer på en halvgrupp definieras av följande formler:
Det följer direkt av definitionen att är en högerkongruens och är en vänsterkongruens. Det är också känt att . Ett av de mest grundläggande påståendena i teorin om semigrupper är Greens lemma, som säger att om element och är R-ekvivalenta, , så att , och är motsvarande högerskift, så är de ömsesidigt inversa bijektioner på respektive vice versa. De behåller även H-klasser.