Difference between revisions of "Inverse semigroup"

From Groupprops
Jump to: navigation, search
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
 
{{variation of|group}}
 
{{variation of|group}}
 
{{semigroup property}}
 
{{semigroup property}}
 
+
{{quick phrase|[[quick phrase::semigroup where every element has a unique ''inverse'' in the semigroup sense (i.e., without reference to neutral elements)]]}}
 
==Definition==
 
==Definition==
  

Latest revision as of 22:18, 24 June 2012

This is a variation of group|Find other variations of group | Read a survey article on varying group
This article defines a semigroup property: a property that can be evaluated to true/false for any given semigroup
View a complete list of semigroup properties
QUICK PHRASES: semigroup where every element has a unique inverse in the semigroup sense (i.e., without reference to neutral elements)

Definition

Symbol-free definition

An inverse semigroup is a semigroup (i.e., a set with an associative binary operation) where every element has a unique inverse in the semigroup sense.

Definition with symbols

A semigroup (S,*) is termed an inverse semigroup if for every a \in S, there is a unique c \in S satisfying the conditions aca = a and cac = c.

Relation with other properties

Stronger properties

Weaker properties

External links