A monoid is a set $S$ with an associative binary operation that has an identity element. Examples of monoids are the non-negative integers under addition and the positive integers under multiplication. For questions on groups, use the gr.group.theory tag.

learn more… | top users | synonyms

5
votes
1answer
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
2answers
410 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
1answer
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
0answers
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 ...
1
vote
1answer
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 ...
8
votes
3answers
853 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
4answers
708 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
0answers
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 ...
-1
votes
1answer
524 views

commutative monoids have binary products? [closed]

Does the category CMonoid of commutative monoids have binary products? thanks
1
vote
1answer
1k views

Does the category Monoid of monoids have finite coproducts?

Does the category Monoid of monoids have finite coproducts?
12
votes
2answers
460 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 ...
10
votes
4answers
891 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
1answer
629 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
6answers
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
3answers
685 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 ...
13
votes
2answers
777 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
12answers
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 ...