Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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
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
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
0 votes
2 answers
240 views

Using group presentation for its corresponding semigroup?

Somewhere Colin M. Campbell noted: If $A$ is a semigroup defined as $$A=Sg(\pi)=\langle a_1,\cdots, a_d\mid u_1=v_1,\cdots,u_e=v_e\rangle $$ then the same generators with the same relations can ...
Mikasa's user avatar
  • 233
0 votes
1 answer
403 views

When does a power semigroup have a zero, and what can the zero be?

Let $S$ be a semigroup. The power semigroup of $S$ is the set $P(S)=2^S\setminus\lbrace\varnothing\rbrace $ with the operation $$AB=\lbrace ab\ |\ a\in A,\ b\in B\rbrace.$$ This operation is ...
Michał Masny'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
1 answer
128 views

What are the semigroups in which congruence classes can be multplied like sets?

For a semigroup $S$ and a congruence $\rho$ on $S$, let's say that $\rho$ is good when for all $a,b\in S$ we have that $[ab]=[a][b],$ where $[x]$ denotes the congruence class of $x$ modulo $\rho$ and ...
Michał Masny's user avatar
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
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
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
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
0 votes
0 answers
101 views

Spherical Rings

My question is concerned with filtered rings. It is a classical result that if $R$ is a finitely generated commutative ring graded by a semigroup $S$ then $S$ is also finitely generated. The reverse ...
Alex's user avatar
  • 501
0 votes
0 answers
72 views

Decomposition results for locally commutative semigroups

Every finite abelian group is the direct product of its cyclic groups of prime order, and every commutative monoid divides a product of its cyclic submonoids. Could these results generalized to ...
StefanH's user avatar
  • 798

1 2
3