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

2
votes
1answer
146 views

Have semigroups with actions on themselves that have a dual to the compatibility axiom ever been studied?

For a semigroup $G$ with a left action on itself, the axiom for compatibility becomes: $$ \forall f,g,h\in G:hg(f)=h(g(f)) $$ Now suppose there is additional axiom, or constraint if you prefer, ...
22
votes
0answers
847 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 ...
15
votes
0answers
725 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 ...
11
votes
0answers
104 views

Is every simply connected finite complex the classifying space of a finite monoid

On page 323 of Fiedorowicz, "Classifying Spaces of Topological Monoids and Categories" it was stated that "it seems likely that any finite simply connected complex should [have the same weak homotopy ...
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 ...
5
votes
0answers
162 views

Laurent and power series over the field with one element?

Question. Is there a suitable notion of the Laurent series ring $\mathbb{F}_1((t))$ and power series ring $\mathbb{F}_1[[t]]$ in some framework for the field with one element $\mathbb{F}_1$? For ...
5
votes
0answers
812 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....
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 $\bullet_{0}:...
4
votes
0answers
55 views

Catenarity of monoid algebras

Let $R$ be a commutative ring, let $M$ be a commutative monoid, and let $R[M]$ denote the corresponding monoid algebra. Suppose further that $R$ is universally catenary. One may ask for conditions on $...
4
votes
0answers
155 views

Correspondence between numerical semigroups and polynomials?

A numerical semigroup $A$ is defined as a subsemigroup of the semigroup $(\mathbb{N},+)$ of the positive integers such that the set $\mathbb{N}\setminus A$ is finite. Equivalently (for a subsemigroup) ...
4
votes
0answers
249 views

What is the pro-algebraic completion of the free semigroup on one generator?

This question is motivated by an attempt to understand what is going on in Tom's post from a certain point of view. Let $\mathbb N^+$ be the free semigroup on one generator (so the positive natural ...
4
votes
0answers
280 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 \...
3
votes
0answers
93 views

Pseudovarieties of monoids

All (pseudo)varieties considered here are (pseudo)varieties of monoids. It is known that any (finite or infinite) monoid that satisfies the identities \begin{equation} xhxyty = xhyxty, \quad xhytxy=...
3
votes
0answers
158 views

Orbit-Stabilizer theorem for continuous groups

The orbit-stabilizer relationship (also known as the orbit-stabilizer theorem) is very clear for finite groups. Is there an equivalent relation for continuous groups? Also, is there a similar notion ...
3
votes
0answers
152 views

determine if a toric variety is Gorenstein

Let $G$ a simply connected group over $k$ and $car(k)=0$. Let $T_{+}=(T\times T)/Z_{G}$ we consider the closure $\overline{T}_{+}$ of the torus $T_{+}$ in $\prod End(V_{\omega_{i}})\times\prod\...
3
votes
0answers
269 views

Is there a homological way to compute quiver presentations?

I have recently been studying with colleagues the representation theory of certain finite monoids that come up in probability theory and combinatorics, see Ken Brown's beautiful survey here. These ...
3
votes
0answers
849 views

Is the radical of a homogeneous ideal homogeneous?

Let $S$ be an $M$-graded $R$-algebra, where $M$ is some monoid, and $I\subset S$ an homogeneous ideal. The original, naïve, question, was: is it true that $\sqrt{I}$ is homogeneous? In this generality,...
2
votes
0answers
188 views

Profinite Topology

Let $V$ and $W$ be pseudovarieties of finite groups. For a finite inverse monoid $M$, the $V$-kernel of $M$ is defined to be the intersection of all sets $f^{−1}(1)$, $f$ is a relational morphism ...
2
votes
0answers
154 views

Pro-p topology on free group

Let $H$ be a finitely generated subgroup of the free group $F(A)$ and $G_P$ the pseudovariety of all finite $p$-group with $p$ fixed prime number. We endow $F(A)$ with the pro-$G_p$ topology. Suppose ...
2
votes
0answers
90 views

A construction on commutative monoids similar to the semidirect product

Let $M_1$ and $M_2$ be commutative monoids, $M_1$ written additively with identity $0$ and $M_2$ multiplicatively with identity $1$. Furthermore, let $M_2$ act on the left on $M_1$ via monoid ...
2
votes
0answers
178 views

Standard name for a Monoid/Semigroup with $a+b \leq a, b$?

I have seen suplattice and inflattice being used when dealing with a lattice. What about when you don't have a lattice? For instance, for reals $a,b > 0$, define $$a \oplus b = \frac{1}{\frac{1}{a}...
2
votes
0answers
148 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
0answers
97 views

Reasoning about “approximately” associative structures and “almost monoids”.

If $(M,+)$ is a monoid then it obeys the laws: $$m_1 + 0 = 0 + m_1 = m_1$$ $$m_1+(m_2+m_3)=(m_1+m_2)+m_3$$ But what if I have a structure $(A,+)$ that is almost a monoid, but not quite. For example,...
1
vote
0answers
68 views

Name for condition on map of cancellative monoids

Let $M,N$ be cancellative monoids with identity $\epsilon$ and suppose that $k\colon M\rightarrow N$ is a function such that $k(\epsilon)=\epsilon$ for all $a,b\in M$, there exists $v\in N$ such ...
1
vote
0answers
74 views

on reductive monoids which are gorenstein

Let $M$ a reductive monoid, i.e. a integral normal affine scheme, which is a monoid whose group of units is a connected reductive group. By Rittatore http://www.cmat.edu.uy/cmat/docentes/alvaro/...
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]$ ...
0
votes
0answers
157 views

$\mathbb{Z}_2$ as a colimit of $\mathbb{Z}^*$

Consider the multiplicative monoid $(\mathbb{Z}^*,\cdot)$ of nonzero integers. By multiplication, $\mathbb{Z}_2$ is a right (or left) $\mathbb{Z}^*$-set. According to the co-Yoneda lemma $\mathbb{Z}_2$...
0
votes
0answers
69 views

Monoid prime ideals and prime congruences

I was wondering what the connection is between the notion of "prime congruence" on a monoid, and the notion of "prime ideal" in a monoid. Starting from a prime ideal $P$ in a monoid $M$, one can ...
0
votes
0answers
79 views

Embedding a cancellative monoid into another in such a way that $|X-x|=|X|$, where $X$ is a fixed finite set and $x\in X$

Preliminaries. Let $\mathbb A = (A, +)$ be a possibly non-commutative semigroup. For $X, Y \subseteq A$ we set $$ X - Y := \{a \in A: a + y \in X\text{ for some }y \in Y\}, $$ which is just the usual ...
0
votes
0answers
105 views

Probability of substring given string production probabilities

I originally posted this question on the Math StackExchange, but have not received answers there and thought it might be more appropriate to post it here. Let $\Sigma$ be an alphabet and let $y = x_1 ...
0
votes
0answers
90 views

Monoid action on an uncountably infinite set

The action of a monoid on a finite set is equivalent to a finite state machine, however I would like a categorical way to think about an uncountably infinite state machine (a state transition system?)....