Can someone help me to understand how the free regular semigroups are defined? I've been looking this for hours, but I just can't get it!
Any help is greatly appreciated.
$\begingroup$
$\endgroup$
2
-
$\begingroup$ Two hints: 1) the free regular semigroup with k generators doesn't exist. 2) You need to define the allowed homomorphisms first, then you can spell out the universal property: The generators can be assigned to arbitrary elements in the target regular semigroup, and it must be possible to extend this to a homomorphism which is unique. Can you construct an example where uniqueness is bound to fail? $\endgroup$– Thomas KlimpelJun 13, 2017 at 0:08
-
$\begingroup$ See also math.stackexchange.com/questions/104893/… for a concrete proof that no unique regular semigroup satisfying ... can exist. $\endgroup$– Thomas KlimpelJun 13, 2017 at 0:10
Add a comment
|