All Questions
7 questions
5
votes
1
answer
597
views
Can every cancellative invertible-free monoid be embedded in a group?
A monoid is invertible-free if $xy=1$ implies $x=y=1$ for all $x,y$.
Question: Can every cancellative invertible-free monoid be embedded in a group?
I'm fairly sure that a quotient of the free product ...
8
votes
1
answer
322
views
Does every cancellative duo semigroup embed into a group?
Prompted by the comments to a recent answer by YCor to a related question (here), I'd like to ask the following:
Q. Does every cancellative duo semigroup embed into a group?
A (multiplicatively ...
- 10.5k
8
votes
2
answers
596
views
If a semigroup embeds into a group, then is it a subdirect product of groups?
The title has it all:
Q. If a semigroup $S$ embeds into a group, then is $S$ (isomorphic to) a subdirect product of groups?
If yes, then $S$ is a subdirect product of subdirectly irreducible groups,...
- 10.5k
24
votes
3
answers
3k
views
Non-abelian Grothendieck group
By general nonsense the forgetful functor from groups to monoids has a left adjoint. It maps a monoid $(X,\cdot,1)$ to the free group on $\{\underline{x} : x \in X\}$ modulo the relations $\underline{...
- 63.1k
12
votes
1
answer
744
views
Is the following construction of the 0-Hecke monoid (well) known?
Let W be a Coxeter group with Coxeter generators S. The corresponding 0-Hecke monoid H(W) has generating set S, the braid relations of W and the relations that each element of S is an idempotent. If ...
- 38.6k
6
votes
1
answer
371
views
Embedding a cancellative monoid into another in such a way that a prescribed element becomes left-invertible
Let $\mathbb A = (A, +_A)$ be a cancellative, but possibly non-commutative, monoid with identity $0$, and fix an element $x \in A$. Does there always exist a cancellative monoid $\mathbb B = (B, +)$ ...
- 10.5k
4
votes
1
answer
446
views
What is a "cusp" ("кусок") in relation to Guba's embedding theorem?
I'm confused by the definition of a "cusp" as found in
V.S. Guba, Conditions for the embeddability of semigroups into groups, Math. Notes 56 (1994), Nos. 1-2, 763-769 (link).
In the words of Mark ...
- 10.5k