The monoids tag has no wiki summary.

**42**

votes

**11**answers

5k views

### Why aren't representations of monoids studied so much?

It seems to me like every book on representation theory leaps into groups right away, even though the underlying ideas, such as representations, convolution algebras, etc. don't really make explicit ...

**20**

votes

**0**answers

565 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
...

**19**

votes

**2**answers

582 views

### Mapping from a finite index subgroup onto the whole group

Dear All,
here is the question:
Does there exist a finitely generated group $G$ with a proper subgroup $H$ of finite index, and an (onto) homomorphism $\phi:G\to G$ such that $\phi(H)=G$?
My guess ...

**19**

votes

**3**answers

646 views

### What are the main structure theorems on finitely generated commutative monoids?

I should read J. C. Rosales and P. A. García-Sánchez's book Finitely Generated Commutative Monoids and L. Redei's book The Theory of Finitely Generated Commutative Semigroups. I haven't. But here's ...

**16**

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 ...

**15**

votes

**1**answer

490 views

### Toposes (topoi) as classifying toposes of groupoids

A famous theorem of Joyal and Tierney says that each Grothendieck topos is equivalent to the classifying topos of a localic groupoid. I believe that Buntz and Moerdijk have shown that if the topos has ...

**14**

votes

**12**answers

2k views

### Why semigroups could be important?

There is known a lot about the use of groups -- they just really appear a lot, and appear naturally. Is there any known nice use of semigroups in Maths to sort of prove they are indeed important in ...

**14**

votes

**0**answers

604 views

### Is the category of smooth manifolds equivalent to the opposite category of the category of commutative monoids of some additive symmetric monoidal category?

This is a followup to my previous question, which asked whether
the category of commutative or noncommutative C*-algebras or von Neumann algebras
is equivalent to the category of commutative or ...

**12**

votes

**3**answers

596 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 ...

**12**

votes

**2**answers

411 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 ...

**11**

votes

**2**answers

689 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 ...

**11**

votes

**5**answers

598 views

### Monoids with infinite products

Say a monoid $M$ has infinite products if, for any (possibly infinite) sequence $(m_1,m_2,\ldots)$ of elements of $M$, there exists an element $m_1m_2\cdots\in M$, satisfying some good properties. ...

**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$. ...

**10**

votes

**4**answers

807 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 ...

**10**

votes

**2**answers

460 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,
...

**10**

votes

**2**answers

605 views

### Adding a formal inverse of an element to a free monoid

Let $FM_2=\langle a,b\rangle$ be the free monoid of rank 2. If we add a formal inverse to the word $aba$, we get the free group $F_2$ (because both $a$ and $b$ will have inverses).
Question: For ...

**9**

votes

**3**answers

472 views

### The concept “conjugate class” in monoids.

Is there any concept in monoids that is similar to the concept "conjugate class" in groups? For example, are there any such similar concept in symmetric inverse monoids? Thank you very much.

**9**

votes

**2**answers

418 views

### The symmetric monoidal category of finite sets

It is well-known that the (augmented) simplex category is the universal monoidal category with a monoid object. What about a commutative analogue? Consider the category $\mathsf{FinSet}$ of finite ...

**9**

votes

**1**answer

378 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

**3**answers

735 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, ...

**8**

votes

**2**answers

216 views

### An operation on binary strings

Consider the “product” $\gamma = \alpha \times \beta$ of two binary strings $\alpha$, $\beta$ $\in \lbrace 0,1\rbrace^+$ which one gets by replacing every 1 in $\beta$ by $\alpha$ and each ...

**7**

votes

**1**answer

961 views

### Give an example of monoid with property $m^2 = m^3$

Give an example of finitely generated, infinite monoid $M$ with property that for all $m \in M$ we've got $m^2 = m^3$.
This question comes from the problem I was given during algebraic languages ...

**7**

votes

**2**answers

294 views

### Is there a general result that theorems about finite structures proved in ZFC can be proved in ZF?

The title question is too vague so let me be specific.
Much of modern finite semigroup theory uses profinite semigroups and properties of profinite semigroups that depend on the existence of prime ...

**7**

votes

**1**answer

389 views

### Cones, monoids, and the space of (very) ample divisors

An interesting and useful tool to study a projective variety is its ample cone. Understanding the structure of this cone reveals information about the variety, and it is an isomorphism-invariant so ...

**7**

votes

**1**answer

200 views

### Über theorem on unavoidable patterns?

Let $A$ be an alphabet of $k$ symbols,
and $p$ a pattern.
An example of a pattern is $p=XX$, where $X$ is any finite
string of symbols from $A^+$.
Avoiding $p$ is avoiding any subword repeated twice ...

**7**

votes

**1**answer

595 views

### Lattice-ordered commutative monoids

By a lattice-ordered monoid, I mean a structure $(A,0,{+},{\vee},{\wedge})$ such that $(A,0,{+})$ is a (not necessarily commutative) monoid, $(A,{\vee},{\wedge})$ is a lattice, and the two ...

**7**

votes

**1**answer

347 views

### Question about topological monoid maps

Let Mon be the category of topological monoids. I am happy to work with the model structure mentioned here:
Model Structure/Homotopy Pushouts in topological monoids?.
I'm looking for a reference ...

**7**

votes

**1**answer

396 views

### Powers of maps on finite sets

Let $X_n$ be a set with $n$ elements. Write $F(X_n,X_n)$ for the set of maps from $X_n$ to itself. It is a monoid under the operation of composition. Let $m$ be a positive integer. How many maps in ...

**6**

votes

**2**answers

534 views

### Connective spectra versus simplicial abelian groups - very basic question

Hello,
I have very general , "introductory" questions (It is quite hard for me to seek for specific things in the algebraic topology literature).
I guess that connective spectra have a model ...

**6**

votes

**2**answers

324 views

### Does every commutative monoid admit a translation-invariant measure?

Let $T$ be a commutative monoid, written additively. The set $T$ is equipped with a canonical pre-order, defined by $s \le t$ when there exists $s' \in T$ so that $s + s' = t$. Consequently, $T$ may ...

**6**

votes

**0**answers

333 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 ...

**5**

votes

**2**answers

460 views

### What is the free monoidal category generated by a monoid?

In several places in a segment on cohomology (for example, here (PDF)) in John Baez's online lecture notes for a course in 2007 on quantum gravity, much is made of the fact that the simplex category ...

**5**

votes

**4**answers

655 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

**2**answers

475 views

### If $k[S]$ is noetherian, is S finitely generated?

Let $S$ be a semigroup. If $S$ is abelian, then it follows that the semigroup algebra $k[S]$ is finitely generated if and only if $S$ is.
What if we relax the condition on $k[S]$, so that $k[S]$ is ...

**5**

votes

**2**answers

144 views

### Functionals on oriented matroids

Oriented matroids are abstractions of hyperplane arrangements, or equivalently vector configurations. Let me recall the definition in terms of covectors.
Let $R=\lbrace 0,+,-\rbrace$ with the monoid ...

**5**

votes

**1**answer

320 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 ...

**5**

votes

**1**answer

272 views

### flat maps of monoids which are not localizations

It is well known that a localization $S^{-1}R$ of a commutative ring $R$ is flat as a $R$-module.
Rather, I am looking for extensions of rings which share certain properties of localizations, like ...

**5**

votes

**0**answers

106 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 ...

**5**

votes

**0**answers

792 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 ...

**5**

votes

**0**answers

327 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 ...

**4**

votes

**4**answers

419 views

### Why do we choose the standard total order on the integers?

I understand why the set of natural numbers $\mathbb N = \{ 0, 1, 2, \cdots \}$ is equipped with a total order. Indeed, every monoid has a pre-order, where $$n' \succeq n \quad \mathrm{if~and~only~if} ...

**4**

votes

**2**answers

467 views

### Do all finitely generated nilpotent semigroups have polynomial growth?

The notion of nilpotency passes nicely from groups to semigroups. Define $q_1(x,y)=xy$ and $$q_{i+1}(x,y,z_1,\cdots,z_i)=q_i(x,y,z_1,\cdots,z_{i-1})z_iq_i(y,x,z_1,\cdots,z_{i-1})$$ inductively for all ...

**4**

votes

**1**answer

172 views

### Is the monoid of taking iterated images and inverse images freely generated by the image and inverse image operation?

Let $\mathcal{F}$ denote the class of all functions. Let $U,L:\mathcal{F}\rightarrow\mathcal{F}$ denote the mappings where if $f:X\rightarrow Y$, then $U(f):P(X)\rightarrow P(Y),L(f):P(Y)\rightarrow ...

**4**

votes

**2**answers

269 views

### Concatenation of strings [closed]

We have two strings (i. e., finite tuples) $A$ and $B$.
We have to find if for some positive integers $n$ and $m$, the string $A$ concatenated $n$ times equals the string $B$ concatenated $m$ times or ...

**4**

votes

**2**answers

344 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$ ...

**4**

votes

**1**answer

166 views

### What is the formula for the commutative multiplication on CP(infinity)?

There is a classic formula for maps $\mathrm{CP}(r) \times \mathrm{CP}(s) \to \mathrm{CP}(r+s)$ or maybe $r+s+1$ using Plücker coordinates - IF memory serves. In the limit we get the abelian ...

**4**

votes

**1**answer

335 views

### Growth zeta-functions of regular languages

Dear All,
my following question may be known and ought to be known, so in case it is folklore please could you give me the references.
To start, it is obvious that growth of rational languages are ...

**4**

votes

**2**answers

443 views

### Invertible elements in monoid rings of unital monoids without non-trivial invertible elements

This question is somewhat related to Tilmans notorious problem in this post. Let $(M,\cdot)$ be a monoid with unit $1$ and set
$$(M,\cdot)^{\times} := \lbrace x \in M \mid \exists y \in M : xy=yx=1 ...

**4**

votes

**1**answer

133 views

### Progress on group languages characterizations

Def. A group language is a recognizable language whose syntactic monoid is a group.
q1. Is it known a "nice" combinatorial characterization of group languages ?
q1.1. If no, is it well understood ...

**4**

votes

**2**answers

157 views

### Embedding a linearly ordered free monoid into a linearly ordered group

A linearly ordered (shortly, l.o.) monoid is a triple $\mathbb M = (M, \cdot, \le)$ for which $(M, \cdot)$ is a (multiplicatively written) monoid and $\le$ is a total order on $M$ such that $xy < ...