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

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 ...
22
votes
0answers
843 views

Is there a (discrete) monoid M injecting into its group completion G for which BM is not homotopy equivalent to BG?

For a (discrete) monoid $M$, the classifying space $BM$ is the geometric realization of the nerve of the one object category whose hom-set is $M$. (This definition gives the usual classfiying space ...
11
votes
2answers
643 views

Exact sequence of monoids

What is the right definition of an exact sequence of monoid homomorphisms? I can't seem to find a consistent in my searches; indeed Balmer (Remark 2.6, http://www.math.ucla.edu/~balmer/research/...
8
votes
3answers
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, ...
10
votes
1answer
440 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 ...
8
votes
1answer
294 views

Reference for a generalization of Γ-spaces to monoidal model categories

Γ-spaces were introduced by Segal in 1969 as models for what can be now described as commutative ∞-monoids and ∞-groups in cartesian symmetric monoidal ∞-categories, e.g., E_∞-spaces and connective ...
1
vote
2answers
245 views

Are orbits of an affine algebraic monoid affine?

Let us work over the complex numbers for simplicity. Let $M$ be an affine algebraic monoid and $X$ an affine variety on which $M$ acts regularly, i.e. there is a morphism $\alpha: M\times X\to X$. Let ...
6
votes
0answers
397 views

Duality between conjugacy classes and irreducible characters for finite monoids?

Qiaochu's answer to this question suggests that the proper way to view the bijection between conjugacy classes and irreducible complex representations of a finite group is via a duality. My question ...
4
votes
0answers
277 views

When is the cofibrant replacement of a product the product of the cofibrant replacements?

I'm in a situation where I'd like to prove $Q(E\otimes E) \simeq QE \otimes QE$ for a monoid $E$ in a symmetric monoidal model category. I know it's not true in general that $Q(E\otimes F)\simeq QE \...
2
votes
0answers
147 views

Pseudomodules, “general coherence theorem”

A pseudomonoid is defined within a monoidal bicategory. It is like a monoid in a monoidal category except that the usual axioms hold up to coherent invertible 2-cells. Pseudomonoid is like a monoidal ...
2
votes
2answers
196 views

If $(\mathbb M, \tau)$ is a topological monoid, is $\tau$ always induced by a [left] subinvariant semimetric?

Let me start by recalling some basic definitions (just for the sake of avoiding misunderstandings due to the vocabulary of the post). Basically following some ideas of W. Lawvere (but not his ...
1
vote
0answers
94 views

First-countable topological monoids without local absorbing elements whose topology is induced by a semimetric

This is a follow up of Question 163246. For the reader's convenience, let me first copy&paste some basic definitions. We let a semimetric on a set $X$ be a function $d: X \times X \to [0,\infty]$ ...