A monoid is an algebraic structure with a single associative binary operation and an identity element.

learn more… | top users | synonyms

0
votes
2answers
51 views

May a monoid have two disjoint submonoids?

I'm asking this question inspired by the similar question about group and its subgroups. I tried to modify the proof presented there to work for monoids but I failed. I'm also not able to find any ...
0
votes
1answer
52 views

If $G,H$ are monoids and not groups, prove that $f(e_G)=e_H$ may be wrong.

Problem: If $f:G\longrightarrow H$ is a homomorphism of groups, then $f(e_G)=e_H$ and $f(a^{-1})=f(a)^{-1}, \forall a\in G$. Show by example that the first conclusion may be false if $G, H$ are ...
3
votes
1answer
24 views

What are some examples of non-commutative monoids that are both idempotent and self-distributive (on both sides)?

In the presence of the axioms for a commutative monoid, idempotency is equivalent to self-distributivity. Proof. Suppose a commutative monoid is idempotent. Then: $$x(yz) = xxyz = (xy)(xz)$$ On the ...
2
votes
1answer
43 views

Monoidal product is coproduct in category of commutative monoids

If $V$ is a symmetric monoidal category, the category $\text{CMon}(V)$ of commutative monoids in $V$ has binary coproducts given by $\otimes$, the monoidal product of $V$. See for example Johnstone’s ...
7
votes
1answer
64 views

Is there a name for those commutative monoids in which the divisibility order is antisymmetric?

Every commutative monoid $M$ is naturally equipped with its divisibility preorder, defined as follows. $$x \mid y \leftrightarrow \exists a(ax=y)$$ Is there a name for those commutative monoids such ...
5
votes
1answer
80 views

What makes “the topos $\mathbf{M}_2$” such a good counterexample?

I'd like to ask this question sooner rather than later; it might be a bit half-baked. So I'm sorry. It's just that there's a chance I'll be side-tracked from Topos Theory for a couple of months (with ...
0
votes
0answers
44 views

Proof of Paper, Scissor, Rock as Monoid Instance in Coq

So while learning Coq I did a simple example with the game paper, scissor, rock. I defined a data type. Inductive PSR : Set := paper | scissor | rock. And three ...
0
votes
0answers
13 views

Finitely generated ordered monoids and noetherian subsets

Let $E$ be an additively written cancellable commutative monoid with no non-trivial units. Furnish $E$ with the order defined by "$x\leq y$ if and only if there exists $z\in E$ with $y=x+z$", so that ...
6
votes
1answer
90 views

Commutative monoids arising from categories with finite coproducts

If $\mathcal{C}$ is a category with finite coproducts, we may associate to it a commutative monoid $\mathcal{C}/\cong$ of isomorphism-classes of objects, with addition induced by the coproduct and ...
6
votes
1answer
56 views

Realizing the monoid $\mathbb{N}/(3=1)$ from a category with finite coproducts

If $\mathcal{C}$ is a category with finite coproducts (including an initial object $0$), then the set of isomorphism-classes of $\mathcal{C}$ becomes a commutative monoid with $0 := [0]$ and $[x] + ...
7
votes
1answer
66 views

Center of the categories $\mathbf{Grp}$ and $\mathbf{Ab}$.

This is Exercise II.5.8 from Mac Lane, Categories for the Working Mathematician. For the identity functor $I_C$ of any category, the natural transformations $\alpha:I_C\dot{\to}I_C$ form a ...
0
votes
1answer
22 views

Continuity of Multiplication by Fixed Element

This is likely a simple question that I'm just missing, but nothing immediately came to mind. When dealing with topological monoids, it is necessary to prove that the group operation is continuous. ...
0
votes
1answer
14 views

Every admissible ordering on a countably infinite monoid is induced by an isomorphism onto $(\Bbb{N}, \cdot)$.

Let $fg$ mean the functional composition of functions $f, g$. Let $M$ be a countably infinite, commutative, multiplicative monoid and let $f : M \to (\Bbb{N}_{\gt 0}, \cdot)$ be an isomorphism. ...
3
votes
1answer
25 views

Are these properties for a monoid enough for being the underlying monoid of an integral domain minus the zero?

If $R$ is an integral domain then $R-\{0\}$ equipped with the original multiplication can be recognized as a commutative and cancellative monoid. The inversible elements form a subgroup $R^*$ and it ...
0
votes
0answers
28 views

Finding a Monoid

I want to find the monoid $ colim_n \pi_0 (\mathcal{I} M_n(\mathbb{C})) $ which I know is isomorphic to $ \pi_0 (colim_n \mathcal{I} M_n(\mathbb{C})) $ where $ \mathcal{I}$ is the set of idempotents ...
3
votes
1answer
81 views

How many monoids of order three are there?

http://oeis.org/A058129 In the above link we can see the answer is 7. I have tried counting these and don't get 7. I am not sure what I am doing wrong so could someone go through counting these step ...
1
vote
1answer
40 views

Why is chosen for intersection instead of union?

Constructing a commutive monoid having idempotent elements (the underlying monoid of a Boolean ring) free over a set $X$, I arrive on a very natural way at monoid $M$ having the finite subsets of $X$ ...
2
votes
2answers
29 views

Semigroups and units

I am working my way though Basic Algebra 1. I am currently on chapter 1 , and more specifically I busy with the following exercise: "Let $S$ be a set a define a product in $S$ by $ab=b $. Show that ...
1
vote
0answers
33 views

Do normal group endomorphisms form a normal submonoid?

What it says on the tin. A group endomorphism $v\colon G\to G$ is called normal if $v(aba^{-1})=av(b)a^{-1}$ for all $a,b\in G$. Equivalently, the map $g\mapsto v(g^{-1})g$ is a group homomorphism. ...
3
votes
2answers
57 views

Why are the algebras of the associative operad unital?

According to the n-lab page: The associative operad Assoc is an operad which is generated by a binary operation $\Theta$ satisfying $$\Theta\circ(\Theta,1)=\Theta\circ(1,\Theta)$$ It then ...
1
vote
1answer
28 views

a characterization for subgroups of cancellative monoids.

Suppose $S$ is a cancellative monoid and $A\subseteq S$ and $$\{(x,y)\in S ^2\mid y\in Ax\}, ~ \{(x,y)\in S ^2\mid y\in xA\}$$ are equivalence relations on $S$. Is $A$ a group?
0
votes
1answer
35 views

Grothendieck Group for General Monoids

Is there an analog to Grothendieck group for general monoids? I imagine such thing could be constructed but I have not found this construction in standard text so I am not sure if it makes sense. (Or ...
1
vote
1answer
28 views

Can anything be said for the topology of a topological monoid?

A topological group is one in which the group operations (the multiplication and inverse) are continuous, or equivalently as a group object in $\mathbf{Top}$. They are uniformisable and hence are ...
0
votes
0answers
28 views

Ring Embeds in Monoid Ring

Let $(S,+)$ be a nontrivial commutative monoid and $R$ be a ring. Prove that $R$ embeds in $R[X;S]$ via $a \to aX^0$ I'm not exactly sure how to approach this... I think I may need to use the fact ...
7
votes
2answers
92 views

Are these adjoint functors to/from the category of monoids with semigroup homomorphisms?

Do the forgetful functors $G_H:\bf Monoid \to \bf Semigroup^1$ and $G_O:\bf Semigroup^1 \to \bf Semigroup$ have left and/or right adjoints? Here $\bf Semigroup$ is the category of semigroups with ...
5
votes
1answer
136 views

What is the “opposite” of a forgetful functor?

Consider a category $C$ and a monoid $M$. Consider a functor $F:C\to M$. It maps the objects of $C$ into the only object of $M$. But I don't want it to map every morphism of $C$ into the identity on ...
3
votes
1answer
18 views

Define $ker(f)$ for $f:(\mathbb{Z},+)\to (\mathbb{Z}/_{12},+)$

I need to define the $ker(f)$ for the following homomorphism $f:(\mathbb{Z},+)\to (\mathbb{Z}/_{12},+)$ Where $f(x) = [x]_{12}$ If I understood that correctly then the $ker(f) = \{a \in \mathbb{Z} ...
1
vote
0answers
58 views

Monoid on ordered partitions of a natural number

Fix a natural number $n$, and let $O_n$ be the set of ordered partitions of $n$. For example $O_3=\{1+1+1,1+2,2+1,3\}$ which can also be written as $\{1|2|3,1|23,12|3,123\}$. We can define two ...
-2
votes
1answer
54 views

Is it true to say that every tensor is an element of a monoid?

If we consider that: by definition, a tensor is an element of the tensor product of two algebraic structures the most abstract algrebraic structure on which the tensor product is defined are ...
5
votes
2answers
139 views

Relations between monoids and modules?

What is the relation between monoids and modules? Are they completely different algebraic structures, or is there a kind of inclusion relation like "elements of a module are also elements of a ...
1
vote
1answer
38 views

positive integer polynomial under the usual polynomial multiplication

consider the set of polynomials with positive integer coefficients together with the operation, usual multiplication of polynomials. now my first question is does this set together with the ...
1
vote
1answer
30 views

Findout if $\min(x,y)$ and $\max(x,y)$ are semigroup, monoid or group

I need to find out whether $A \oplus B := \max(A,B)$ or $A \ominus B := \min(A,B)$ form a semigroup, monoid or group for $\oplus : \mathbb{N} \times \mathbb{N} \to \mathbb{N}$ and $\ominus : ...
1
vote
1answer
53 views

In a dagger category, what do we call an arrow $f$ such that $f \circ f^\dagger \circ f = f$?

In a dagger category, what do we call an arrow $f$ satisfying $f \circ f^\dagger \circ f = f$? In $\mathrm{Rel}$ (and, more generally, an allegory) this is straightforwardly equivalent to $f \circ ...
0
votes
1answer
37 views

Cardinality of a Monoid and Constant Functions

Let $X$ be a set. Show that $((M(X),\circ)$ has an absorbing element iff $|X|\leq 1$ iff $M(X)$ is commutative. In this problem $((M(X),\circ)$ is a monoid and M(X) is the set of all maps from X to ...
1
vote
2answers
52 views

Monoid Definition

A monoid is $(M,*,e)$. I am having trouble understanding what the 'multiplication' operation represents. Is it an operation for an element which returns another element or an operation which takes ...
3
votes
0answers
35 views

On identity elements in monoids

In the definition of a monoid firstly we should have associativity. What I wonder about is the definition of the identity element; $\exists x \forall y\;\; x.y=y.x=y $ Which structure do we get if ...
6
votes
1answer
157 views

Are Monoids a category inside a category?

Looking at the definition of Monoids, it looks like they are an object inside a category with one object. I have also noticed that they have operations like composition and identity which must be ...
1
vote
1answer
46 views

Generalising cover maps from monoids to semigroups

Let $T,S$ be monoids. A partial surjective mapping $\psi : T \to S$ is called a cover map if for each $s \in S$ there exists some $\hat{s} \in T$ called a cover of $s$ such that for each $t \in ...
11
votes
2answers
126 views

Which of these constructions are left adjoints?

A groupoid can be regarded as a small category in which every arrow is an isomorphism A monoid can be regarded as a small category with only a single object A preorder can be regarded as a small ...
0
votes
0answers
42 views

Are these equivalent definitions of the Grothendieck group construction?

I'm learning K-theory and I'm slightly confused. Given an abelian monoid $M$, we can construct the Grothendieck group $$ G(M) = (M \times M)/\sim$$ and I've seen two definitions for the equivalence ...
1
vote
0answers
32 views

Monoid Ring of a Commutative Cancellative Ordered Monoid

Suppose $M$ is a commutative cancellative monoid with $0$ as the identity and $+$ as the operation, and $M$ is equipped with an order $\preceq$ defined by $$ m \preceq m' \text{ if and only if there ...
1
vote
1answer
74 views

Concluding about the relation of two monoids to a third a relation between the two monoids

Let $N, S, T$ be monoids and let $\varphi : N \to S$ and $\varphi' : N \to T$ be surjective homomorphisms such that for each $P \subseteq S$ there exists some $Q \subseteq T$ such that $$ ...
2
votes
1answer
63 views

Monoid and category

Let $M$ be a monoid. Let $a, b$ be elements of $M$. We denote $\operatorname{Hom}(a, b) = \{s\ |\ sb = a\}$. Then we get a category whose set of objects is $M$. We denote this category by $C(M)$. Let ...
0
votes
0answers
39 views

Recovering Ordered Monoid Operation from the Order

I have a partially ordered set $(X, \preceq)$ with the following properties: $X$ has a minimum. I'll name it $1$. For every $x \in X$, the principal filter ${\uparrow} x$ is order isomorphic to $X$. ...
2
votes
1answer
61 views

Translation help (French): “Monoïde cycliste”

I am reading this paper, and in section 4, they define the "monoïde cycliste" to be the quotient of the free monoid on two generators, $\{\alpha,\beta\}^*$, by the relations $\alpha\alpha\beta \sim ...
1
vote
1answer
71 views

Inclusion-Exclusion Proof without inverses

If $f$ is additive then it satisfies the inclusion-exclusion principle $$ f(\bigcup A) = \sum_{B \subset A} f(\bigcap B) \cdot (-1)^{|B|+1} $$ See ...
2
votes
0answers
62 views

yes, why does a negative times a negative make a positive? [duplicate]

for a while I have been interested in the details of the construction of the integers from the natural numbers. credit to the software, for as soon as I began writing this, for it drew my attention ...
1
vote
3answers
50 views

Formal definition of string-to-term substitution

Forgive me if this question seems elementary. Let L be a nonempty alphabet. We have an intuitive notion of substituting words for letters in a word. For example, substituting 'cd' for 'b' in the word ...
2
votes
0answers
47 views

Taking the (pseudo)inverse of a monoid operation.

Let $M$ be a monoid with binary operation $f : M \times M \to M$. I'm interested in functions $g : M \to M\times M$ that obey the property: $$ f(g(m)) = m $$ I want to understand what all of the ...
1
vote
2answers
53 views

Show that $M$ is a submonoid of the group of $2\times 2$ matrices of integers mod $13$.

Define $$M=\left\{\begin{bmatrix}a_{11}&a_{12}\\a_{21}&a_{22}\end{bmatrix}\in(\Bbb Z/13)_{22}:a_{12}=0\right\}\;.$$ (This is the set of $2\times 2$ matrices with integers mod $13$ with the ...