Timeline for Looking for a paper of Kemperman on semigroups
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 30, 2014 at 14:27 | vote | accept | Salvo Tringali | ||
| Mar 30, 2014 at 14:21 | comment | added | Salvo Tringali | [...] (multiplicatively written) grp for which there exist $x,y\in G$ s.t. $x^3=1$ and $y^nx\ne xy^m$ for every $m,n\in\mathbf{Z}$ with $m^2+n^2\ne 0$, e.g., a 2-generator 1-relator grp of the form $\langle u,v \mid u^3=1\rangle$. For $n\in{\bf N}$ we let $Y_n := \{y^k: k=0,\ldots,n\}$. Then, we fix $m,n\in{\bf N}$ and let $A:=Y_mx$ and $B:=xY_n$, so that $x\in A\cap B$. We have $$AB=\{y^hx^2y^k: h=0,\ldots,m, k=0,\ldots,n\}$$ and $$AxB=Y_mx^3Y_n=Y_mY_n=Y_{m+n}.$$ Thus, $|AB|=(m+1)(n+1)$ and $|AxB|=m+n+1$, since $y^hx^2y^k=y^rx^2y^s$ for some $h,k,r,s\in \bf Z$ only if $h=r$ and $k=s$. | |
| Mar 30, 2014 at 14:20 | comment | added | Salvo Tringali | I'm accepting this as an answer (I had completely forgot about the thread), but let me remark that the hand-written note on page 250, line 3 (claiming that the inclusion $A+d+B\subseteq C^\ast$ is "trivially impossible in view of $|A+d+B|=|A+B|=|C|>|C^\ast|$", where $A$ and $B$ are finite non-empty subsets of the base set, $G$, of a fixed cancellative monoid $\mathbb G$, $C$ is the sumset $A+B$, and $d\in A\cap B$) is incorrect. The point is basically that $\mathbb G$ is not abelian, even if Kemperman writes it additively. For a counterexample, let $\mathbb{G}$ be a [...] | |
| Mar 30, 2014 at 11:12 | history | answered | Seva | CC BY-SA 3.0 |