All Questions
113 questions
4
votes
1
answer
154
views
Right reversibility of submonoids of nilpotent groups
Let $G$ be a finitely generated group (optionally torsion-free). Let $N$ be a submonoid of $G$ (that is, a subsemigroup with $1$).
A (cancellative) monoid/semigroup $S$ is right reversible if for ...
- 4,679
4
votes
1
answer
215
views
Name for a regular band
Is there a name for regular bands that satisfy $xyx=yx$ for all $x$,$y$?
user22363
4
votes
1
answer
91
views
Endomorphism of Brandt Semigroup $B_n(G)$, where $G$ is a finite group
I want to show that $End_0 (B_n(G)) = \cup\phi_{\sigma,g} \cup C_{I(B_n(G))}$, where $\phi_{\sigma,g} : B_n(G) \rightarrow B_n(G) $ is an endomorphism is defined by $(i,a,j)\phi_{\sigma,g} = (i\sigma ...
- 143
4
votes
1
answer
428
views
Cancellable elements of a power semigroup
For a semigroup $S,$ its power semigroup $P(S)$ is the semigroup of all non-empty subsets of $S$ with the operation given by $AB=\{ab\,|\,a\in A,b\in B\}.$ I would like to know about the cancellable ...
- 1,445
4
votes
1
answer
169
views
Is every invertible-free cancellative monoid action represented by "shifting" certain maps?
[Note: This question is closed. It's current content reflects a draft of a potential new question, modified from the original by adding conditions to the premises; see comments]
Let $W,X$ be ...
4
votes
1
answer
385
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) ...
- 10.5k
4
votes
1
answer
173
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 ...
- 10.5k
4
votes
2
answers
364
views
General linear inverse monoid
Let $V$ be a finite dimensional vector space over some field (say, $\mathbb C$). Consider the set $\operatorname{GLI}(V)$ of all linear isomorphisms between subspaces of $V$. This is a monoid under ...
user6976
4
votes
0
answers
157
views
On skew monoid rings and skew ordered series rings
To my knowledge (see, e.g., H.H. Brungs and G. Törner's Skew Power Series Rings and Derivations [J. Algebra 87 (1984), 368-379]), skew polynomial rings were first introduced by Ø. Ore in 1933: Given ...
- 10.5k
4
votes
0
answers
158
views
Is the group ring of an amenable group, viewed as multiplicative monoid, amenable?
Motivated by this question, it seems natural to ask the following:
Question 1: Is there a [finitely generated discrete] torsion-free virtually Abelian (but not Abelian) group $G$ so that the ...
- 4,432
4
votes
0
answers
234
views
Do you know rings without involutions, auto-anti-isomorphics? In that case, what is the minimal example?
Do you know rings without involutions, but auto-anti-isomorphic (isomorphic to their opposite)? In that case, what is the minimal example?
If a ring has an involution f, then f is an anti-automorphism;...
4
votes
1
answer
364
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$,...
- 10.5k
3
votes
3
answers
345
views
Examples of cancellative normal semigroups
I've got a couple of things to test against normality in cancellative semigroups. A normal semigroup $S$ is one in which for any $x\in S$ we have $xS=Sx.$ This implies the Ore condition $$x,y\in S\...
- 31
3
votes
1
answer
243
views
Embedding Semigroups in Rings
Let $S$ be a finite commutative semigroup with identity. Under what conditions (on the semigroup $S$) it is possible to find a ring $R$ such that the multiplicative structure of $R - \{0\}$ is ...
- 801
3
votes
1
answer
297
views
Is the universal inverse semigroup of a commutative semigroup an embedding?
The question of existence of a universal inverse semigroup of an arbitrary semigroup has been answered before (this is a construction similar to the Grothendieck group). Let's refer to the universal ...
- 2,464
3
votes
1
answer
252
views
Classification of associative polynomial functions
What is known about a classification of associative (binary) polynomial functions? First of all, it is interesting in two cases: over Integral domain (or even over field) and over ring of integers ...
- 6,962
3
votes
2
answers
101
views
A non-reduced, commutative BF-monoid s.t. $au = u$ for all $a \in \mathcal A(H)$ and $u \in H^\times$
Let $H$ be a monoid, and denote by $H^\times$ and $\mathcal A(H)$, respectively, the set of units (or invertible elements) and the set of atoms (or irreducible elements) of $H$ (an element $a \in H$ ...
- 10.5k
3
votes
1
answer
171
views
Every homomorphism between (rational) Puiseux monoids is multiplication by a non-negative rational
Let a (rational) Puiseux monoid be a non-trivial submonoid of the non-negative rational numbers under (the usual operation of) addition. It is not difficult to show that, if $f \colon H \to K$ is a (...
- 10.5k
3
votes
2
answers
165
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\}.$$
...
- 10.5k
3
votes
1
answer
122
views
A BF-monoid $H$ s.t. $H^\times$ is not divisor-closed
Let $H$ be a (multiplicative) monoid, and denote by $H^\times$ the set of units of $H$ and by $\mathcal A(H)$ the set of atoms of $H$ (let me recall that an element $a \in H$ is an atom if (i) $a \...
- 10.5k
3
votes
1
answer
191
views
Is every $n$-ary semigroup a subalgebra of an algebra derived from a binary semigroup?
Let $(A,f)$ be an $n$-ary semigroup ($n \ge 2$). Then there exists a ($2$-ary) semigroup $(\overline A,*)$ with an inclusion homomorphism $A \hookrightarrow \overline A$ such that that the restriction ...
- 190
3
votes
0
answers
89
views
Ordering the elements of a semigroup by $a \le b$ iff $a=b$ or $b=ab=ba$
Let $S$ be a semigroup, written multiplicatively. The binary relation $\le$ on (the underlying set of) $S$, whose graph consists of all pairs $(a,b) \in S \times S$ such that $a = b$ or $b = ab = ba$, ...
- 10.5k
3
votes
0
answers
79
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) ...
- 995
3
votes
0
answers
47
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 ...
- 10.5k
3
votes
0
answers
314
views
Certain conditions on cancellative semigroups
This is extracted from this question following Benjamin Steinberg's suggestion.
For a semigroup $S,$ let $P(S)$ denote the power semigroup of $S,$ which is made up of all non-empty subsets of $S$ ...
- 1,445
3
votes
0
answers
126
views
dual composition of binary relations
I'm not sure if this is of any interest at all, but I spent some time looking at it a couple of years ago so I'd like to ask for input on this.
Given two binary relations $\rho,\,\sigma$ on a set $X,$...
- 1,445
2
votes
2
answers
278
views
How much information does the multiplicative semigroup of an algebra contain?
How much do we know about an given algebra when we only know its semigroup strucure under the product law?
How far can two algebras be distinguished by knowing only their semigroup strucure?
The ...
- 221
2
votes
1
answer
229
views
Has the "semidirect monoid of a semiring" been considered anywhere?
Given a semiring $S$, we get a monoid $M(S)$ as follows:
The underlying set of $S$ is $S^2$
The identity element is $(0,1)$
The law of composition is given by $$(a,A)(b,B) = (Ba+b,AB),$$ where $a,A,b$...
- 3,793
2
votes
1
answer
148
views
Terminology for a ring where every right cancellable element is cancellable
Is there any standard terminology for a ring in which every right cancellable element is cancellable (or equivalently, every left zero divisor is a zero divisor)? I'm aware of some people going for ...
- 10.5k
2
votes
1
answer
404
views
Reference request: a cousin to the log semiring
Let $f$ be strictly increasing on $\mathbb{R}$. Then $x \oplus y := f^{-1}(f(x)+f(y))$ gives rise to a strict symmetric monoidal ($\Rightarrow$ commutative monoid) structure on $(\mathbb{R},\ge)$ with ...
- 15.4k
2
votes
1
answer
122
views
If $H$ is essentially equimorphic to $K$, then is $H$ atomic only if so is $K$?
I will first state my question, and then give all the relevant definitions.
Q. Let $H$ and $K$ be monoids, and assume $H$ is essentially equimorphic to $K$. Is it true that $H$ is atomic only if so ...
- 10.5k
2
votes
1
answer
211
views
Terminology for a monoid $(H, \cdot)$ s.t. $ax=a$ or $xa =a$ only if $x$ is a unit
Let $(H, \cdot)$ be a (multiplicative) monoid. Is there any consolidated name for the following Property $\text{(P)}$, or for the class of monoids for which it is satisfied?
$$\text{(P) If }\,xy = x\...
- 10.5k
2
votes
1
answer
290
views
Idempotents in Green J classes
I recently read this article Syntactic semigroups. In page $8$, he speaks about a J class having an idempotent is called regular:
A $\mathcal J$-class containing an idempotent is called regular. ...
- 233
2
votes
1
answer
1k
views
monoid ring and some structure within it - how is it called?
I am amateur - mathematics is my hobby, and I find some strange structure working with toy matrices structure so I try to ask some questions regarding it. Let me allow to introduce some structure ...
- 1,626
2
votes
0
answers
91
views
A recursive description of the smallest divisor-closed subsemigroup containing a set
Let $S$ be a semigroup and $\widehat{S}$ be its unitization, i.e., the monoid obtained from $S$ by adjoining an identity element if necessary (so that $\widehat{S} = S$ when $S$ is already a monoid).
...
- 10.5k
2
votes
0
answers
161
views
Embedding a monoid into a group via its monoid ring
Suppose I have a monoid $(M,\, \cdot,\, e)$ equipped with a monoid homomorphism $\textrm{length} : M \rightarrow \mathbb{N}_+$ into the monoid of natural numbers under addition where $e$ is the only ...
user491484
2
votes
0
answers
145
views
Semigroup ideals of a ring or an algebra
Let $R$ be a ring or an algebra. Suppose $B\subseteq R$ satisfies the property $BR \subseteq B$ and $RB\subseteq B$. Is there a general theory of subsets with this property in a ring (resp. algebra) ...
- 2,605
2
votes
0
answers
81
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 ...
- 18.7k
2
votes
0
answers
169
views
What is the difference between a monosemiring and a semigroup?
What is the difference between a monosemiring and a semigroup?
The following definitions are for clarity of my question.
A semigroup $S$ is a non empty set that satisfies closure and associativity ...
- 203
2
votes
0
answers
62
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) ...
- 10.5k
2
votes
0
answers
51
views
Existence of a canonical embedding from a quotient of $\mathscr{F}^\ast(\mathcal A(H))$ to another
Let $H$ be a multiplicative, commutative monoid, and denote by $H^\times$ the group of units of $H$, by $\mathcal A(H)$ the set of atoms (or irreducible elements) of $H$, by $\mathscr{F}^\ast(\mathcal ...
- 10.5k
2
votes
0
answers
139
views
Goldie's Theorem for Semigroups
Goldie's theorem is a theorem in noncommutative ring theory that gives a clear picture of semiprime Noetherian rings (actually a slightly broader class). Let $R$ be a semiprime Noetherian ring. The ...
- 6,870
1
vote
2
answers
375
views
What are the monoids in which every globally idempotent subsemigroup contains the identity element?
A semigroup is called globally idempotent when for any $x\in S$ there are $y,z\in S$ such that $x=yz$.
Is there a name for monoids whose every globally idempotent subsemigroup contains the identity ...
- 1,445
1
vote
2
answers
442
views
submonoids of Z_n
Anyone knows how to describe explicitly the submonoids of Z_n, regarded as a multiplicative
monoid?
1
vote
1
answer
215
views
Reference about cancellation property for semigroups
Have the semigroups with the following cancellation property been studied?
Property: Let $S$ be a semigroup and $x,y\in S$ such that $xz=yz,$ for all $z\in S,$ then $x=y$.
- 313
1
vote
2
answers
394
views
Relations in matrix semigroups
Suppose that $A_1, \dots, A_k \in M_n(\mathbb{Q})$ and $S$ is the semigroup generated by them. Two questions: are there always a finite set of relations $\{R_i\}$ among the $A_j$ such that $S$ is ...
- 4,636
1
vote
1
answer
96
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$ ...
- 10.5k
1
vote
1
answer
87
views
Semigroup algebras with one dimensional center
Let $S$ be a finite semigroup and $K$ a field of characteristic 0 (we can assume the complex numbers for simplicity).
Question: Is there a characterization when the center of the semigroup algebra $...
- 26.5k
1
vote
0
answers
66
views
First isomorphism theorem for inverse semigroups together with v-prehomomorphisms?
In this old paper D. B. McAlister has introduced another class of morphisms for inverse semigroups, called v-prehomomorphisms. For such a morphism $\theta : S \to T,$ instead of preserving the ...
- 1,093
1
vote
0
answers
139
views
Free monoids on posets
I've suddenly found myself working with some free monoids $F(S)$ in which the set $S$ is a poset, and the order extends to an order $F(S)$, satisfying
if (but not only if) $s_1, s_2, \ldots, s_r, t_1, ...
- 12.5k