Skip to main content

All Questions

Filter by
Sorted by
Tagged with
8 votes
1 answer
437 views

Function $\phi$ such that $f(\phi(x,y)) = f(x) + f(y)$

I have a continuous function $f:\mathbb{R}^n\to\mathbb{R}$, and I am looking for a continuous (or at least measurable) function $\phi:\mathbb{R}^{2n}\to\mathbb{R}^n$ such that $f(\phi(x,y))=f(x)+f(y)$....
gmvh's user avatar
  • 3,065
4 votes
1 answer
239 views

True or false? Every left or right cancellative, duo semigroup is cancellative

A semigroup $S$ is duo if $aS = Sa$ for all $a \in S$, where $aS := \{ax: x \in S\}$ and similarly for $Sa$; for instance, every commutative semigroup is duo, and so is every group. On the other hand, ...
Salvo Tringali's user avatar
8 votes
1 answer
322 views

Does every cancellative duo semigroup embed into a group?

Prompted by the comments to a recent answer by YCor to a related question (here), I'd like to ask the following: Q. Does every cancellative duo semigroup embed into a group? A (multiplicatively ...
Salvo Tringali's user avatar
8 votes
2 answers
596 views

If a semigroup embeds into a group, then is it a subdirect product of groups?

The title has it all: Q. If a semigroup $S$ embeds into a group, then is $S$ (isomorphic to) a subdirect product of groups? If yes, then $S$ is a subdirect product of subdirectly irreducible groups,...
Salvo Tringali's user avatar
7 votes
2 answers
488 views

Is every cancellative semigroup a subdirect product of subdirectly irreducible cancellative semigroups?

By a classical result of Birkhoff (that is, Theorem 2 in [G. Birkhoff, Subdirect unions in universal algebra, Bull. AMS, 1944]) and the trivial fact that the class of semigroups is closed under the ...
Salvo Tringali's user avatar
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$, ...
Salvo Tringali's user avatar
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$.
Hector Pinedo's user avatar
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). ...
Salvo Tringali's user avatar
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 (...
Salvo Tringali's user avatar
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 $...
Mare's user avatar
  • 26.5k
4 votes
1 answer
146 views

When is semigroup algebra local?

Let $G$ be a finite semigroup (or monoid if that helps) and $K$ a field. Question: When is the semigroup algebra $KG$ local? Here local means that there is a unique maximal right (or left) ideal. ...
Mare's user avatar
  • 26.5k
6 votes
0 answers
177 views

Is the monoid of all cancellative finitely generated commutative monoids cancellative?

$\DeclareMathOperator\Mon{Mon}\DeclareMathOperator\Grp{Grp}$Let $\Mon'$ be the set of isomorphism classes of (small) commutative, unital, cancellative ($a + t = b + t$ implies $a = b$) monoids. It is ...
Leo Herr's user avatar
  • 1,084
7 votes
1 answer
444 views

Which monoids have a faithful irreducible representation?

Let $*$ be a binary operation on a set $M$, with an identity element $e\in M$. A monoid representation of $(M,*,e)$ is a map $\delta:M\to (S\to S)$ for some set $S$, such that $\delta(e)=\mathrm{id}_S$...
Bjørn Kjos-Hanssen's user avatar
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 ...
user avatar
7 votes
0 answers
295 views

A minimal semigroup generating subset of the additive reals

I asked this on MSE, but I was told to ask it here because it is a difficult question. Consider the additive magma of the real numbers, $(\mathbb{R};+)$. Does there exist a subset $S$ of the reals ...
user107952's user avatar
  • 2,023
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 ...
Salvo Tringali's user avatar
6 votes
1 answer
135 views

Automorphisms of special egg-box diagrams

By a egg-box diagram I will simply mean a (possibly infinite) rectangular array of holes, with some of the holes containing an egg (denoted by a filled-in circle) and the rest of the holes are empty (...
Pace Nielsen's user avatar
  • 18.7k
7 votes
1 answer
271 views

Algebraic proof that the monoid ring of a torsion-free monoid is reduced

In what follows, I say that a monoid $M$ is torsion-free if the $n$-th power map is injective for all $n \geq 1$. I have a proof of the following result: Claim: if $M$ is a torsion-free commutative ...
Moinsdeuxcat's user avatar
6 votes
1 answer
185 views

A name for semigroups in which left and right principal ideals coincide

Is there any standard name for semigroups $S$ in which $xS=Sx$ for all $x\in S$? Examples of such semigroups are commutative semigroups and Clifford inverse semigroups.
Taras Banakh's user avatar
  • 41.9k
8 votes
0 answers
285 views

Matrix decompositions as monoid isomorphisms. Ever considered before?

I've noticed some correspondences between some matrix decompositions and monoid isomorphisms (always to some free commutative monoid), in addition to the one I asked about in a previous question: ...
wlad's user avatar
  • 4,943
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) ...
Onur Oktay's user avatar
  • 2,605
0 votes
1 answer
49 views

More vocabulary for periodic elements in monoids

Let $M$ be a monoid, and let $x\in M$. One says that $x$ is periodic if $$x^{i+j}=x^j$$ for some integers $i\geq 1$ and $j\geq 0$. An easy division algorithm argument shows that if $m$ is the ...
Pace Nielsen's user avatar
  • 18.7k
8 votes
1 answer
238 views

Functions over monoids which factor in two different ways

This is a follow-up question to this MO question, which was asked by Richard Stanley in a comment to my answer there. Let $S$ be a commutative monoid and $f(x_1, \dots, x_n)$ be a function from $S^n$ ...
Tony Huynh's user avatar
  • 32.1k
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 ...
Bumblebee's user avatar
  • 1,093
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 ...
Salvo Tringali's user avatar
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, ...
Jeff Strom's user avatar
  • 12.5k
18 votes
1 answer
783 views

Are there any "simple" monoids with intermediate growth?

The discovery of the Grigorchuk group which has intermediate growth caused a number of other such groups to be found, but they are all fairly complicated, and as far as I know none of them are ...
saolof's user avatar
  • 1,947
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 ...
ARG's user avatar
  • 4,432
0 votes
0 answers
293 views

Quotient of monoids and monoid algebras

Let $ X $ be a monoid and $ R $ be a (two-sided) congruence relation on $ X $ which is generated by some relations $ u_i \equiv_R v_i $ for any $ i $ in some index set $ J $. Let $ K $ be a field, $ K[...
diddy's user avatar
  • 327
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;...
José María Grau Ribas's user avatar
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 ...
Steve Huntsman's user avatar
0 votes
0 answers
250 views

Has this theorem on cancellative monoid actions been discovered and published?

Does a statement equivalent to Theorem 3 below appear in the literature? If it does, what is the earliest published reference? Theorem 1. Let $W$ be a non-trivial cancellative invertible-free [1] ...
David Pokorny's user avatar
1 vote
0 answers
52 views

Is every cyclic right action of a cancellative invertible-free monoid on a set isomorphic to the set of shifts of some homography?

The terms are defined in a related question. [1] Conjecture 1. Let $A$ be a set, $W$ a cancellative invertible-free monoid, and $\cdot\colon A\times W\rightarrow A$ a cyclic right $W$-action generated ...
David Pokorny's user avatar
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 ...
David Pokorny's user avatar
0 votes
2 answers
284 views

Motivation and reference for Brauer algebras

I am looking for a good reference and motivation for Brauer monoid and Brauer algebras. Kindly help me with some suggestions. Thanks.
Learner's user avatar
  • 141
0 votes
0 answers
92 views

A semifield of characteristic zero may have a finite number of elements

A commutative semiring $(S, +, \cdot, 0, 1)$ with unity is said to be a semifield if for all $a, b\in S$, $a+b=0$ implies that $a=0$ and $b=0$, and $a.b=0$ implies that either $a=0$ or, $b=0$. I ...
gete's user avatar
  • 203
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 ...
Arshak Aivazian's user avatar
1 vote
0 answers
69 views

How exactly to adapt Brown's collapse from monoids to algebras?

In The Geometry of Rewriting Systems (Springerlink behind paywall), Kenneth Brown describes a method to collapse the bar resolution of a monoid. Roughly: Given a simplicial set $X$ equipped with a ...
Hilario Fernandes's user avatar
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$...
goblin GONE's user avatar
  • 3,793
5 votes
2 answers
332 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 ...
Mare's user avatar
  • 26.5k
1 vote
0 answers
116 views

A generalized Cauchy type functional equation

Let $(S,+)$ be an abelian semigroup . Let $f:S \to \mathbb C$ be a function such that for some positive integer $n>1$, $f(x+y)^n=(f(x)+f(y))^n,\forall x,y \in S$. Then is it true that $f(x+y)=f(x)...
user521337's user avatar
  • 1,209
10 votes
1 answer
274 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. ...
Benjamin Steinberg's user avatar
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 ...
Pace Nielsen's user avatar
  • 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 ...
gete's user avatar
  • 203
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) ...
M.H.Hooshmand's user avatar
4 votes
1 answer
434 views

Regarding a new algebraic structure

By "left semigroup-joined-semigroup" I mean an algebraic structures $(S,\cdot,*)$ such that both $\cdot,*$ are associative, and the following property holds (see this ) $$ x*(y\cdot z)=x*y*z\;\; ; \;...
M.H.Hooshmand's user avatar
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 ...
David Handelman's user avatar
7 votes
1 answer
167 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 \...
Salvo Tringali's user avatar
21 votes
1 answer
759 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-...
M. Winter's user avatar
  • 13.6k
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 ...
Salvo Tringali's user avatar