**4**

votes

**2**answers

360 views

### Membership problem in monoids

What is the simplest example of a monoid with undecidable membership problem? In other words, I'm looking for a concrete monoid $S$ such that there is no algorithm which takes elements $s_1,...,s_n$ ...

**2**

votes

**3**answers

540 views

### Finitely generated monoids are finitely presented?

I saw in the answer of this post that any finitely generated monoids are finitely presented in the sense that there is a coequalizer diagram $P_1\rightrightarrows P_0\rightarrow M$ with $P_1$ and $P_0$...

**5**

votes

**1**answer

339 views

### Representations of products of groups (and monoids)

I have very little knowledge of representation theory, but the following has come up in my summer undergrad research project (relates to conformal field theory and geometric function theory).
Suppose ...

**3**

votes

**2**answers

420 views

### What is the relation between the number syntactic congruence classes, and the number of Nerode relation classes?

For a monoid $M$ and a subset $S$ of $M$, define the syntactic congruence $\equiv_S$ of $S$ as the least congruence on $M$ that saturates $S$, i.e. :
$$u \equiv_S v \Leftrightarrow (\forall x, y)[xuy \...

**2**

votes

**1**answer

257 views

### Vocabulary on monoid periodicity

I'm learning about periodic languages, and I'm confused over the vocabulary used to describe the periodicity of (syntactic) monoids.
If I understand correctly, a monoid M is periodic if :
$$(\forall ...

**5**

votes

**0**answers

811 views

### Associative binary operations on natural numbers

Which are all the associative binary operations on natural numbers ?
Certain results in this regard can be found in arxiv:math/0508215.
It appears that such associative operations cannot grow too fast....

**1**

vote

**1**answer

197 views

### $\omega$-monoids

Does the notion of $\omega$-monoid exist, analogous to the notions of $\omega$-groupoid and $\omega$-category? If so, some references would be appreciated.
This is an attempted rephrasing of question:...

**8**

votes

**3**answers

854 views

### Structure Theorem for finitely generated commutative cancellative monoids?

Is there a Structure Theorem for finitely generated commutative cancellative monoids?
Of course they can be densely embedded into a finitely generated abelian group, whose structure is known. Also, ...

**6**

votes

**4**answers

710 views

### Torsors for monoids

Torsors are defined as a special kind of group action. I am wondering whether the analogous notion exists for monoid actions. Some references would be helpful.
In general I'm interesting in the ...

**5**

votes

**0**answers

332 views

### Chain/Hierarchy of Monoids

Let's assume that we have the following collection of structures:
Some space $P$.
Monoids $(M_{i+1},\circ_{i+1})$, and
Actions $\bullet_{i+1}:M_{i+1}\times M_i\to M_i$, for $i\ge 0$
And $\bullet_{0}:...

**-1**

votes

**1**answer

524 views

### commutative monoids have binary products? [closed]

Does the category CMonoid of commutative monoids have binary products?
thanks

**1**

vote

**1**answer

1k views

### Does the category Monoid of monoids have finite coproducts?

Does the category Monoid of monoids have finite coproducts?

**12**

votes

**2**answers

461 views

### How do you compute the space of lifts of an E-infinity map?

Let X, Y and B be $E_\infty$ spaces, and let $p: X \rightarrow Y$ and $f: B \rightarrow Y$ be $E_\infty$ maps. We can ask for the space of lifts of f across p, that is the space of $E_\infty$ maps $g:...

**10**

votes

**4**answers

893 views

### Why is a monoid with closed symmetric monoidal module category commutative?

Given a symmetric monoidal category and a monoid object A in it, one can form the category of modules over this monoid object, i.e. objects are $A \otimes M \rightarrow M$ satisfying the natural ...

**1**

vote

**1**answer

630 views

### monoid ring and some structure within it - how is it called?

I am amateur - mathematics is my hobby, and I find some strange structure working with toy matrices structure so I try to ask some questions regarding it. Let me allow to introduce some structure ...

**10**

votes

**6**answers

1k views

### Computing the structure of the group completion of an abelian monoid, how hard can it be?

Cherry Kearton, Bayer-Fluckiger and others have results that say the monoid of isotopy classes of smooth oriented embeddings of $S^n$ in $S^{n+2}$ is not a free commutative monoid provided $n \geq 3$. ...

**12**

votes

**3**answers

688 views

### Model Structure/Homotopy Pushouts in topological monoids?

Let C be the category of topological monoids, that is, the category of monoids in (Top, $\times$).
Can the model category structure on Top (Serre fibrations, cofibrations, weak homotopy equivalence)...

**13**

votes

**2**answers

778 views

### Recovering a monoidal category from its category of monoids

What kind of additional properties and/or structures one needs to impose on the category
of (commutative or noncommutative) monoids of some monoidal category
so that one can recover the original ...

**18**

votes

**12**answers

2k views

### Homological Algebra for Commutative Monoids?

Homological algebra for abelian groups is a standard tool in many fields of mathematics. How much carries over to the setting of commutative monoids (with unit)? It seems like there is a notion of ...