# Questions tagged [monoids]

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.

**1**

vote

**0**answers

36 views

### Generating totally ordered free commutative monoids

Let’s say I have a set $A$. I build the free commutative monoid $M$ generated by $A$.
When can a well-order on $A$ be extended to $M$, in a way that is compatible with its monoid structure? I am ...

**1**

vote

**1**answer

47 views

### Generalizing cycle/pseudo-tree factorizations for permutations/transformations to arbitrary binary relations

It's well known every permutation has a unique factorization into disjoint cycles (up to a re-ordering of these factors since they commute), while similarly it can be shown that every transformation ...

**1**

vote

**1**answer

83 views

### Do these sorts of submonoids go by a particular name?

Given any monoid $M$ for every element $x\in M$ we can define two submonoids of $M$ as follows:
$$r(x)=\{y\in M:xy=x\}$$
$$l(x)=\{y\in M:yx=x\}$$
Do these sorts of sub-monoids go by a particular name?...

**2**

votes

**1**answer

67 views

### Size of a minimum generating set for full transformation monoids

Given any finite set $X$ the set $\mathcal{T}(X)=X^X$ of all functions from $X$ to $X$ clearly forms a monoid under composition. Now if we call any family of functions $\mathcal{F}\subseteq \mathcal{T}...

**6**

votes

**1**answer

360 views

### Homotopy type of a specific discrete monoid

Consider the discrete monoid $M$ of nondecreasing continuous maps from $[0,1]$ to itself preserving the extremities. Note that the monoid is right-cancellative ($x.z=y.z$ implies $x=y$, since $z$ is ...

**4**

votes

**0**answers

55 views

### Questions on weakly symmetric algebras

A finite dimensional algebra $A$ over a field $K$ is called weakly symmetric in case $soc(P)=top(P)$ for every indecomposable projective module $P$ and it is called symmetric in case $D(A) \cong A$ as ...

**3**

votes

**1**answer

53 views

### Faces of polyhedral cones and open immersions of affine toric schemes

Let $V$ be an $\mathbb{R}$-vector space of finite dimension, let $N$ be a $\mathbb{Z}$-structure on $V$, and let $M$ be its dual $\mathbb{Z}$-structure on the dual space $V^*$.
Let $\sigma\subseteq V$...

**8**

votes

**2**answers

279 views

### On functors preserving monoid objects

If $C$ is a monoidal category, we can define the category $Mon(C)$ of monoids in $C$; call $U_C : Mon(C) \to C$ the forgetful functor. I'm interested in functors between categories of monoids:
...

**8**

votes

**1**answer

154 views

### Group completion of topological monoids

Let $M$ be an abelian monoid. For sake of simplicity we shall assume that in $M$ the cancellation law holds true. With this last assumption we define the group completion $G$ of $M$ as $$G:=M\times M/\...

**1**

vote

**1**answer

89 views

### Indecomposable monoids

Let $M$ be a commutative reduced and cancellative monoid and $K(M)$ its group of quotients.
We say that $M$ is indecomposable if for every divisor-closed submonoids $M_1$ and $M_2$, $M=M_1\oplus M_2$...

**6**

votes

**1**answer

179 views

### name for monoids inducing bimonoids in Rel?

Let Rel be the category of sets and relations, which is a (compact closed) symmetric monoidal category under the cartesian product of sets. We write $A \nrightarrow B$ to indicate a relation from $A$ ...

**-4**

votes

**1**answer

189 views

### Do monoid homomorphisms from $X^X$ to a group factor through $\text{Sym}(X)$? [closed]

Let $X$ be a set and let $(X^X,\circ)$ denote the monoid of all maps $f: X\to X$, together with composition. Let $(\text{Sym}(X),\circ)$ be the group of all bijections from $X$ to itself.
Does there ...

**1**

vote

**0**answers

43 views

### What is known about the cohomology of the matrix monoid?

When I say the cohomology of a monoid, I mean that of its classifying space (considering the monoid as a category with a single object).
Let $M_n(R)$ be the monoid of matrices with matrix ...

**9**

votes

**1**answer

211 views

### A flatness result of Fiedorwicz for amalgamated free products of monoids in connection with classifying spaces of monoids

In Lemma 5.2(a) of Z. Fiedorowicz, Classifying Spaces of Topological Monoids and Categories American Journal of Mathematics Vol. 106, No. 2 (Apr., 1984), pp. 301-350 the author proves the following.
...

**2**

votes

**1**answer

110 views

### Semigroups admitting Commutative Group actions

Let $(S,*)$ be a semigroup admitting a distinguished element $0$ such that $z*s = s*z = z$, for all $s \in S$. Moreover, let $(\mathbb{G},\cdot)$ be a commutative group. Consider an action
$$
\mathbb{...

**1**

vote

**0**answers

69 views

### partially commutative like monoids [duplicate]

Let $G$ be a simple graph with vertex $I$ and edge set $E$. I am defining $M(G)$ to be the quotient of the free monoid $I^*$ on $I$ by the relations $ab=ba$ and $c^2 = 1$ (empty word) whenever $\{a,b\}...

**1**

vote

**0**answers

141 views

### partially commutative monoid [closed]

Let $G$ be a simple graph with vertex $I$ and edge set $E$. I am defining $M(G)$ to be the quotient of the free monoid $I^*$ on $I$ by the relations $ab=ba$ and $c^2 = 1$ whenever $\{a,b\} \notin E(G)$...

**6**

votes

**0**answers

69 views

### Representing meet-semilattices with vector spaces of specified dimensions

Take $K$ to be a field and take $L$ to be a finite meet-semilattice. I'm interested in the set of functions $n: L \rightarrow \mathbb{Z}^{\ge 0}$ such that there is some function $V$ from $L$ to ...

**1**

vote

**1**answer

67 views

### amalgamated sum of monoids

Consider the amalgamated sum $Q_1 \rightarrow^{v_1} Q_1 \oplus_P Q_2 \leftarrow^{v_2} Q_2$ of $Q_1 \leftarrow^{u_1} P \rightarrow^{u_2} Q_2$ with $Q_1,Q_2,P$ being monoids.
Why does $v:= v_i \circ u_i$...

**1**

vote

**0**answers

118 views

### Presentation of amalgamated sum as a quotient of the direct sum

I am currently reading Arthur Ogus' "Lectures on Logarithmic Algebraic Geometry" (https://math.berkeley.edu/~ogus/preprints/log_book/logbook.pdf).
I'm trying to understand why the amalgamated sum of ...

**0**

votes

**0**answers

42 views

### a generalization of group (monoid with order-by-order invertible elements)

Fix a filtered monoid, $H=H_0\supsetneq H_1\supsetneq H_2\supsetneq\cdots$. Suppose for any $h\in H$ and any $n\in \Bbb{N}$ exists $h_n\in H$ such that $h\cdot h_n\in H_n$ and $h_n\cdot h\in H_n$. If ...

**3**

votes

**2**answers

212 views

### Question about actions of full transformation monoids

[Reposted from math.stackexchange]
Consider a monoid $M$ acting on a set $X$, where $M$ is the full transformation monoid on some set $A$ (i.e., the set of all functions from $A$ to itself, with ...

**7**

votes

**3**answers

347 views

### Nielsen-Schreier theorem for monoids

Let $S$ be a finitely generated free abelian semigroup (or monoid), and let $T \subset S$ be a sub-semigroup (sub-monoid). Does the Nielsen-Schreier theorem hold in this case, that is, will $S$ still ...

**2**

votes

**0**answers

54 views

### A semigroup property related to von Neumann regularity

A very common and useful notion in rings is that of von Neumann regular elements: those elements $a\in R$ such that there exists $b\in R$ satisfying $aba=a$. As this is a property defined solely ...

**2**

votes

**1**answer

249 views

### Name for this algebraic structure?

I've found myself looking at a structure $\mathbb{M}$ whose important properties are:
$\mathbb{M}$ is a discretely ordered additive monoid.
$\mathbb{M}$ has a least element, and this least element is ...

**3**

votes

**0**answers

67 views

### Is the elasticity of a submonoid of the free abelian monoid over a finite set either rational or infinite?

Let $P$ be a finite set, $\mathscr F(P)$ the free abelian monoid with basis $P$, and $H$ a submonoid of $\mathscr F(P)$.
Given $x \in H \setminus \{1_H\}$, we let $\mathsf L_H(x)$ be the set of all $...

**1**

vote

**0**answers

26 views

### Generating larger atoms from smaller ones in a simple $\text{C}_0$-monoid

Let $P$ be a finite set, $\mathscr F(P)$ the free abelian monoid with basis $P$ (which I'll write multiplicatively), $H$ a submonoid of $\mathscr F(P)$, and $\mathcal A(H)$ the set of atoms of $H$ (...

**3**

votes

**1**answer

223 views

### Are local rings of monoid algebras geometrically unibranch?

Let $\mathrm{M}$ be a finitely generated submonoid of $\mathbb{Z}^{\oplus d}$ for some $d$, let $A := k[\mathrm{M}]$ be the associated monoid algebra over a field $k$, let $\mathfrak{m} \subset A$ be ...

**3**

votes

**0**answers

66 views

### Semigroups containing an ideal with a local identity

I'm looking for some classes of semigroups containing a (proper) ideal with a local identity (i.e., ideal submonoid). Can somebody give some examples or/and theorems for the followings cases:
(a) ...

**3**

votes

**0**answers

122 views

### Can monoids of “continuous words” be realized as initial monoid objects?

Whenever $X$ is a set, write $X^*$ for the monoid freely generated by $X$. The elements of $X$ are, of course, words in the letters $X$. When $X$ is finite, there also seems to be a great many ...

**2**

votes

**0**answers

52 views

### QF-3 monoid algebras

A finite dimensional algebra $A$ is called QF-3 in case the injective envelope of the regular module is projective. For example all Frobenius algebras are QF-3.
Given a monoid algebra $kG$ of a finite ...

**3**

votes

**0**answers

47 views

### If $H$ is an atomic, unit-cancellative monoid such that the set of atoms of $H$ is finite up to associates, then $H$ is BF

In a previous version of this post, $H$ was an atomic commutative monoid such that the quotient $H/H^\times$ is finitely generated, and I was asking if such conditions were enough for $H$ to be BF. ...

**5**

votes

**0**answers

175 views

### Derived tensor products and Tor of commutative monoids

Two commutative monoids $M,N$ have a tensor product $M\otimes N$ satisfying the universal property that there is a tensor-Hom adjunction for any other commutative monoid $L$: $$\text{Hom}(M\otimes N,L)...

**6**

votes

**1**answer

142 views

### For which abelian groups $G$ does the monoid of zero-sum sequences over $G$ embed into a ring as a divisor-closed subsemigroup?

Let $K$ be a multiplicatively written semigroup (either commutative or not) and $H$ a subsemigroup of $K$. We say that $H$ is divisor-closed (in $K$) if $x \in H$ for all $x, y \in K$ such that $x \...

**20**

votes

**1**answer

631 views

### Extending $\Bbb N$ to a semiring with isomorphic additive and multiplicative structure

Seen $(\Bbb N,+,\cdot)$ as a semiring, is it possible to extend it to a semiring $(R,+,\cdot)$ so that the additive and multiplicative monoids become isomorphic? This means there is some monoid-...

**3**

votes

**0**answers

44 views

### Counting the monic atoms $f$ in the semiring $\mathbf N[x]$ with $f(0)=1$, bounded coefficients, and degree $k$ (in the limit as $k \to \infty$)

Let $H$ be the multiplicative monoid of the (usual) semiring of polynomials in one variable $x$ with coefficients in $\mathbf N$. Given $\alpha, k \in \mathbf N$, denote by $\mathcal A_k(\alpha)$ the ...

**9**

votes

**1**answer

139 views

### Detecting/Characterising positive elements in free groups

Let $X$ be a set, and let $F(X)$ be the free group generated by $X$.
I will say that an element of $F(X)$ is positive if it is in the monoid generated by all the conjugates in $F(X)$ of every member ...

**3**

votes

**1**answer

82 views

### Representation-finite symmetric monoid algebras

Is it known when a monoid algebra over a field is symmetric and representation-finite? For groups the answer is nice, so maybe there is a nice generalisation giving conditions on the field and the ...

**4**

votes

**1**answer

147 views

### On the factorization of powers of atoms in the ring of integers of a number field

Let $H$ be a multiplicatively written monoid with identity $1_H$. An atom of $H$ is a non-unit element $a \in H$ that doesn't split into the product of two non-unit elements.
Given $x \in H$, we ...

**11**

votes

**2**answers

425 views

### Identifying a group without 2-torsion

Suppose we have a finitely presented group $G$ with solvable word problem. (For instance, the command RWSGroup in Magma terminates giving us a finite [but possibly gigantic] rewrite system.) Is there ...

**7**

votes

**4**answers

987 views

### When $X \times Y \cong X \times Z$ implies $Y \cong Z$ (in the category of finite topological spaces)

The title has it all. I'm looking for a reference to the following:
Q. Let $X, Y, Z$ be finite, non-empty (topological) spaces. When does $X \times Y \cong X \times Z$ imply $Y \cong Z$ (in the ...

**3**

votes

**1**answer

180 views

### Short proof a monoid is a group iff every splitting is right homogeneous

In the paper "Schreier split epimorphisms between monoids" by Bourn, Nelson, Martins-Ferreira, Montoli and Sobral, Semigroup Forum
June 2014, the authors prove a characterization of groups among ...

**1**

vote

**1**answer

153 views

### Monoids (or semigroups) with a “finite decomposition” property

In my research I have come across the following condition on a monoid.
Every element $x$ satisfies the following property: there exists a natural number $n$ such that for any $m \geq n$ and any ...

**1**

vote

**1**answer

53 views

### If $H$ is commutative and unit-cancellative, then so is the monoid of non-empty ideals of $H$

Let $H$ be a (multiplicatively written) commutative monoid with identity $1_H$. Given $X, Y \subseteq H$, we take
$$XY := \{xy: x \in X,\, y \in Y\}.$$
We call a set $I \subseteq H$ an ideal of $H$ ...

**4**

votes

**1**answer

125 views

### Which monoids can be realized as the monoid of ideals of a commutative monoid?

Let $H$ be a commutative monoid (written multiplicatively). We say that a set $I \subseteq H$ is an ideal of $H$ if $IH = I$. The set $\mathcal I(H)$ of all ideals of $H$ is made into a (commutative) ...

**4**

votes

**1**answer

192 views

### Values attained by the coheight of $(H \setminus H^\times)^k$ as a function of $H$ and $k$

Edit (Apr 24, 2017). I'm updating this post in the light of the latest developments of a related thread.
Let $H$ be a multiplicatively written, commutative monoid, and set $M := H \setminus H^\times$,...

**3**

votes

**2**answers

112 views

### Weak ideal systems $r$ for which the $r$-coheight satisfies a kind of triangle inequality

Let $H$ be a multiplicatively written, commutative monoid with identity $1_H$, and let $\mathcal P(H)$ be the power set of $H$. If $X, Y \subseteq H$, we will set $$XY := \{xy: x \in X,\, y \in Y\}.$$
...

**9**

votes

**1**answer

136 views

### Inductive and reducible functions

The question was asked by a Computer Scientist and is closely related to parallel computing. But it is clearly of algebraic nature, so I decided to post it here.
Let $X$ be a set and $\bar X$ be the ...

**2**

votes

**0**answers

60 views

### Extensions of an ideal-theoretic criterion for a monoid to be BF

Let $H$ be a multiplicatively written, commutative monoid. We denote by $H^\times$ the set of units (or invertible elements) of $H$, and by $\mathcal A(H)$ the set of atoms (or irreducible elements) ...

**3**

votes

**1**answer

104 views

### Monoids where every two non-unit elements have a common power

Q1. Is there any standard name for a (multiplicatively written) monoid $H$ with the property that, for all $x, y \in H \setminus H^\times$, there exist $m, n \in \mathbf N^+$ and $u, v \in H^\times$ ...