-
The "spread" of Thompson's group $F$
Authors:
Gili Golan
Abstract:
Recall that a group $G$ is said to be $\frac{3}{2}$-generated if every non-trivial element $g\in G$ has a co-generator in $G$ (i.e., an element which together with $g$ generates $G$). Thompson's group $V$ was proved to be $\frac{3}{2}$-generated by Donoven and Harper in 2019. It was the first example of an infinite finitely presented non-cyclic $\frac{3}{2}$-generated group. In 2022, Bleak, Harper…
▽ More
Recall that a group $G$ is said to be $\frac{3}{2}$-generated if every non-trivial element $g\in G$ has a co-generator in $G$ (i.e., an element which together with $g$ generates $G$). Thompson's group $V$ was proved to be $\frac{3}{2}$-generated by Donoven and Harper in 2019. It was the first example of an infinite finitely presented non-cyclic $\frac{3}{2}$-generated group. In 2022, Bleak, Harper and Skipper proved that Thompson's group $T$ is also $\frac{3}{2}$-generated. Since the abelianization of Thompson's group $F$ is $\mathbb{Z}$, it cannot be $\frac{3}{2}$-generated. However, we recently proved that Thompson's group $F$ is "almost" $\frac{3}{2}$-generated in the sense that every element of $F$ whose image in the abelianization forms part of a generating pair of $\mathbb{Z}^2$ is part of a generating pair of $F$.
A natural generalization of $\frac{3}{2}$-generation is the notion of spread. Recall that the spread of a group $G$ is the supremum over all integers $k$ such that every $k$ non-trivial elements of $G$ have a common co-generator in $G$. The uniform spread of a group $G$ is the supremum over all integers $k$ for which there exists a conjugacy class $C\subseteq G$ such that every $k$ non-trivial elements of $G$ have a common co-generator which belongs to $C$. In this paper we study modified versions of these notions for Thompson's group $F$.
△ Less
Submitted 29 February, 2024;
originally announced February 2024.
-
On some generating set of Thompson's group $F$
Authors:
Gili Golan,
Mark Sapir
Abstract:
We prove that Thompson's group $F$ has a generating set with two elements such that every two powers of them generate a finite index subgroup of $F$.
We prove that Thompson's group $F$ has a generating set with two elements such that every two powers of them generate a finite index subgroup of $F$.
△ Less
Submitted 15 May, 2023; v1 submitted 30 October, 2022;
originally announced October 2022.
-
Thompson's group $F$ is almost $\frac{3}{2}$-generated
Authors:
Gili Golan
Abstract:
Recall that a group $G$ is said to be $\frac{3}{2}$-generated if every non-trivial element of $G$ belongs to a generating pair of $G$. Thompson's group $V$ was proved to be $\frac{3}{2}$-generated by Donoven and Harper in 2019. It was the first example of an infinite finitely presented non-cyclic $\frac{3}{2}$-generated group. Recently, Bleak, Harper and Skipper proved that Thompson's group $T$ is…
▽ More
Recall that a group $G$ is said to be $\frac{3}{2}$-generated if every non-trivial element of $G$ belongs to a generating pair of $G$. Thompson's group $V$ was proved to be $\frac{3}{2}$-generated by Donoven and Harper in 2019. It was the first example of an infinite finitely presented non-cyclic $\frac{3}{2}$-generated group. Recently, Bleak, Harper and Skipper proved that Thompson's group $T$ is also $\frac{3}{2}$-generated. In this paper, we prove that Thompson's group $F$ is "almost" $\frac{3}{2}$-generated in the sense that every element of $F$ whose image in the abelianization forms part of a generating pair of $\mathbb{Z}^2$ is part of a generating pair of $F$. We also prove that for every non-trivial element $f\in F$ there is an element $g\in F$ such that the subgroup $\langle f,g\rangle$ contains the derived subgroup of $F$. Moreover, if $f$ does not belong to the derived subgroup of $F$, then there is an element $g\in F$ such that $\langle f,g\rangle$ has finite index in $F$.
△ Less
Submitted 7 October, 2022;
originally announced October 2022.
-
On Maximal Subgroups of Thompson's Group $F$
Authors:
Gili Golan
Abstract:
We study subgroups of Thompson's group $F$ by means of an automaton associated with them. We prove that every maximal subgroup of $F$ of infinite index is closed, that is, it coincides with the subgroup of $F$ accepted by the automaton associated with it. It follows that every finitely generated maximal subgroup of $F$ is undistorted in $F$. We also prove that every finitely generated subgroup of…
▽ More
We study subgroups of Thompson's group $F$ by means of an automaton associated with them. We prove that every maximal subgroup of $F$ of infinite index is closed, that is, it coincides with the subgroup of $F$ accepted by the automaton associated with it. It follows that every finitely generated maximal subgroup of $F$ is undistorted in $F$. We also prove that every finitely generated subgroup of $F$ is contained in a finitely generated maximal subgroup of $F$ and construct an infinite family of non-isomorphic maximal subgroups of infinite index in $F$.
△ Less
Submitted 15 May, 2023; v1 submitted 7 September, 2022;
originally announced September 2022.
-
Crystalline quality in aluminium single crystals, characterized by X-Ray diffraction and Rocking-Curve analysis
Authors:
Gilad Orr,
Gad Golan
Abstract:
Aluminum single crystals are tested using X-Ray Bragg diffraction, which may have applications in microscopy and electronics fabrication industry. Yet, their efficiency for x- ray beam diffraction depends on the accurate crystal orientation, the microstructure and imperfections. Moreover, the final sample that is formed from the as-grown crystal by cutting, grinding, polishing and chemical etching…
▽ More
Aluminum single crystals are tested using X-Ray Bragg diffraction, which may have applications in microscopy and electronics fabrication industry. Yet, their efficiency for x- ray beam diffraction depends on the accurate crystal orientation, the microstructure and imperfections. Moreover, the final sample that is formed from the as-grown crystal by cutting, grinding, polishing and chemical etching, introduces various surface defects that penetrate deep into the crystal affecting its natural structure. Defect penetration is attributed to the fact that ultra-pure aluminum single crystals are soft and ductile with a hardness in the range of 2~2.5 mho. This leads to lattice deformation, resulting in a deviation from the crystallographic orientation of the final device, affecting the diffraction intensity and an apparent shift in the Bragg angle. In this work we investigate the influence of processing aluminum single crystals by mechanical and chemical means using XRD and Rocking-Curve broadening as a quantitative indication concerning the depth of the damage. This is a preliminary step in supporting future work on the study of electrical conduction in aluminum single crystals. Supplementing electrical conductivity measurements of aluminum, quality assessment of defects in front cell aluminum conductors can assist in designing novel low resistance aluminum conductors replacing the currently widely used and relatively rare silver.
△ Less
Submitted 12 June, 2022; v1 submitted 18 July, 2021;
originally announced July 2021.
-
Recycling rejected silicon wafers and dies for high grade PV cells
Authors:
Gad Golan,
Moshe Azoulay,
Gilad Orr
Abstract:
The recent return of the US to the Paris Climate Accord, massive increase in solar panel production and energy storage solutions has resulted in pressure on supply for solar cell materials and recycling of panels installed in the 90's and beginning of the 2000's which have reached their end of life. In this work we focus on recycling silicon wafers and dies by strip** previous structures from th…
▽ More
The recent return of the US to the Paris Climate Accord, massive increase in solar panel production and energy storage solutions has resulted in pressure on supply for solar cell materials and recycling of panels installed in the 90's and beginning of the 2000's which have reached their end of life. In this work we focus on recycling silicon wafers and dies by strip** previous structures from the die using potent acids after which its base material is characterized and binned. We demonstrate the process for silicon p-type substrates where n-type do** is attained by using a simple solution of phosphoric acid, which is diffused into the substrate using a furnace thus creating a PN junction. In case the substrate is n-type it could be replaced by boric acid. This is followed by deposition of a conductive antireflective coating, bus bars and rear wafer metal coating. The initial demonstrated laboratory results indicate the feasibility of recycling wafers using simple low cost standard industrial methods.
△ Less
Submitted 1 July, 2021;
originally announced July 2021.
-
GaN HEMT based high energy particles detection preamplifier
Authors:
G. Orr,
M. Azoulay,
G. Golan,
A. Burger
Abstract:
GaN high electron mobility transistors (HEMT) have gained some foothold in the power electronics industry due to wide frequency bandwidth and power handling. The material offers a wide bandgap and higher critical field strength compared to most wide bandgap semiconductors, resulting in better radiation resistance and theoretically higher speeds as the devices dimensions could be reduced without su…
▽ More
GaN high electron mobility transistors (HEMT) have gained some foothold in the power electronics industry due to wide frequency bandwidth and power handling. The material offers a wide bandgap and higher critical field strength compared to most wide bandgap semiconductors, resulting in better radiation resistance and theoretically higher speeds as the devices dimensions could be reduced without suffering voltage breakdown. This work consists of the underlying simulation work intended to examine the response of the GaN HEMTs preamlifying circuits for high resolution high energy radiation detectors. The simulation and experimental results illustrate the superior performance of the GaN HEMT in an amplifying circuit. Using a spice model for a commercially available GaN HEMT non distorted output to an input signal of 200 ps was displayed. Real world measurements underscore the fast response of the GaN HEMT with its measured slew rate at approximately 3000 V /μs a result only 17% lower than the result obtained from the simulation.
△ Less
Submitted 23 June, 2021;
originally announced June 2021.
-
On closed subgroups of the R. Thompson group $F$
Authors:
Gili Golan,
Mark Sapir
Abstract:
We prove that Thompson's group $F$ has a subgroup $H$ such that the conjugacy problem in $H$ is undecidable and the membership problem in $H$ is easily decidable. The subgroup $H$ of $F$ is a closed subgroup of $F$. That is, every function in $F$ which is a piecewise-$H$ function belongs to $H$. Other interesting examples of closed subgroups of $F$ include Jones' subgroups $\overrightarrow{F}_n$ a…
▽ More
We prove that Thompson's group $F$ has a subgroup $H$ such that the conjugacy problem in $H$ is undecidable and the membership problem in $H$ is easily decidable. The subgroup $H$ of $F$ is a closed subgroup of $F$. That is, every function in $F$ which is a piecewise-$H$ function belongs to $H$. Other interesting examples of closed subgroups of $F$ include Jones' subgroups $\overrightarrow{F}_n$ and Jones' $3$-colorable subgroup $\mathcal F$. By a recent result of the first author, all maximal subgroups of $F$ of infinite index are closed. In this paper we prove that if $K\leq F$ is finitely generated then the closure of $K$, i.e., the smallest closed subgroup of $F$ which contains $K$, is finitely generated. We also prove that all finitely generated closed subgroups of $F$ are undistorted in $F$. In particular, all finitely generated maximal subgroups of $F$ are undistorted in $F$.
△ Less
Submitted 2 May, 2021;
originally announced May 2021.
-
Electropolishing of single crystal and polycrystalline aluminum to achieve high optical and mechanical surfaces
Authors:
A. Brusov,
G. Orr,
M. Azulay,
G. Golan
Abstract:
Electropolishing has found wide application as the final surface treatment of metal products in mechanical engineering and instrumentation, medicine and reflective concentrators for PV cells. It was found that electropolishing (EP) not only reduces the surface roughness and changes its appearance, but improves many operational characteristics as well, such as corrosion resistance, endurance, tensi…
▽ More
Electropolishing has found wide application as the final surface treatment of metal products in mechanical engineering and instrumentation, medicine and reflective concentrators for PV cells. It was found that electropolishing (EP) not only reduces the surface roughness and changes its appearance, but improves many operational characteristics as well, such as corrosion resistance, endurance, tensile strength, and many others, and also changes the physicochemical properties, for example, reflectivity, electromagnetic permeability and electronic emission of some ferro-magnetic metals. This fact greatly expands the possibility of using this method in various fields of science and technology. This work is part of a study, examining electro polishing for reducing the crystalline defects adjacent to the surface, thus improving its physical properties, contributing to higher optical efficiency, when used in PV generation and storage devices. Five compositions were examined using different temperature and current density parameters. The polished samples were evaluated using reflectance spectrometry. The solution which was composed of Phosphoric acid - 85%, Acetic acid - 10%, Nitric acid - 5% was found to provide the best results. Another result obtained was that reflectance increased as the current density increased up to 25 A/dm2. Further increasing the current density resulted in deterioration of the surface and reduced reflectance. It was shown that careful lap** and polishing followed by electropolishing using the suggested solution may consist of an adequate treatment for preparing reflective concentrators for PV cells.
△ Less
Submitted 10 February, 2021;
originally announced February 2021.
-
Sintering BFO targets for sputtering
Authors:
Gilad Orr,
Andrey Goryachev,
Gady Golan
Abstract:
Ceramic $BiFeO_{3}$ samples were prepared by rapid sintering at $880^OC$. Two compositions were examined. A $56/44\ Bi_{2}O_{3}/Fe_{2}O_{3}\ mole\%$ composition and a $56Bi_{2}O_{3}\cdot44Fe_{2}O_{3}+6.5wt\%\,NaCl$ composition. The samples were heat treated at different times up to $8$ minutes and the phase content was examined as a function of the time using XRD measurements and analysis. It was…
▽ More
Ceramic $BiFeO_{3}$ samples were prepared by rapid sintering at $880^OC$. Two compositions were examined. A $56/44\ Bi_{2}O_{3}/Fe_{2}O_{3}\ mole\%$ composition and a $56Bi_{2}O_{3}\cdot44Fe_{2}O_{3}+6.5wt\%\,NaCl$ composition. The samples were heat treated at different times up to $8$ minutes and the phase content was examined as a function of the time using XRD measurements and analysis. It was demonstrated that using both compositions, maximum $BiFeO_{3}$ phase content is obtained after $3.5$ minutes. In the former approximately $50\%$ of the material transformed to $BiFeO_{3}$ while in the latter $98.5\%$.
△ Less
Submitted 1 February, 2021;
originally announced February 2021.
-
Autostackability of Thompson's group $F$
Authors:
Nathan Corwin,
Gili Golan,
Susan Hermiller,
Ashley Johnson,
Zoran Sunic
Abstract:
The word problem for Thompson's group $F$ has a solution, but it remains unknown whether $F$ is automatic or has a finite or regular convergent (terminating and confluent) rewriting system. We show that the group $F$ admits a natural extension of these two properties, namely autostackability, and we give an explicit bounded regular convergent prefix-rewriting system for $F$.
The word problem for Thompson's group $F$ has a solution, but it remains unknown whether $F$ is automatic or has a finite or regular convergent (terminating and confluent) rewriting system. We show that the group $F$ admits a natural extension of these two properties, namely autostackability, and we give an explicit bounded regular convergent prefix-rewriting system for $F$.
△ Less
Submitted 28 November, 2018;
originally announced November 2018.
-
Divergence of Thompson groups
Authors:
Gili Golan,
Mark Sapir
Abstract:
We prove that R. Thompson groups F, T, V have linear divergence functions.
We prove that R. Thompson groups F, T, V have linear divergence functions.
△ Less
Submitted 24 September, 2017;
originally announced September 2017.
-
Invariable generation of Thompson groups
Authors:
Tsachik Gelander,
Gili Golan,
Kate Juschenko
Abstract:
A subset $S$ of a group $G$ invariably generates $G$ if $G= \langle s^{g(s)} | s \in S\rangle$ for every choice of $g(s) \in G,s \in S$. We say that a group $G$ is invariably generated if such $S$ exists, or equivalently if $S=G$ invariably generates $G$. In this paper, we study invariable generation of Thompson groups. We show that Thompson group $F$ is invariable generated by a finite set, where…
▽ More
A subset $S$ of a group $G$ invariably generates $G$ if $G= \langle s^{g(s)} | s \in S\rangle$ for every choice of $g(s) \in G,s \in S$. We say that a group $G$ is invariably generated if such $S$ exists, or equivalently if $S=G$ invariably generates $G$. In this paper, we study invariable generation of Thompson groups. We show that Thompson group $F$ is invariable generated by a finite set, whereas Thompson groups $T$ and $V$ are not invariable generated.
△ Less
Submitted 28 November, 2016; v1 submitted 24 November, 2016;
originally announced November 2016.
-
Nonempty intersection of longest paths in $2K_2$-free graphs
Authors:
Gili Golan,
Songling Shan
Abstract:
In 1966, Gallai asked whether all longest paths in a connected graph share a common vertex. Counterexamples indicate that this is not true in general. However, Gallai's question is positive for certain well-known classes of connected graphs, such as split graphs, interval graphs, circular arc graphs, outerplanar graphs, and series-parallel graphs. A graph is $2K_2$-free if it does not contain two…
▽ More
In 1966, Gallai asked whether all longest paths in a connected graph share a common vertex. Counterexamples indicate that this is not true in general. However, Gallai's question is positive for certain well-known classes of connected graphs, such as split graphs, interval graphs, circular arc graphs, outerplanar graphs, and series-parallel graphs. A graph is $2K_2$-free if it does not contain two independent edges as an induced subgraph. In this paper, we show that in nonempty $2K_2$-free graphs, every vertex of maximum degree is common to all longest paths. Our result implies that all longest paths in a nonempty $2K_2$-free graph have a nonempty intersection. In particular, it gives a new proof for the result on split graphs, as split graphs are $2K_2$-free.
△ Less
Submitted 17 November, 2016;
originally announced November 2016.
-
The generation problem in Thompson group $F$
Authors:
Gili Golan
Abstract:
We show that the generation problem in Thompson group $F$ is decidable, i.e., there is an algorithm which decides if a finite set of elements of $F$ generates the whole $F$. The algorithm makes use of the Stallings $2$-core of subgroups of $F$, which can be defined in an analogue way to the Stallings core of subgroups of a finitely generated free group. Further study of the Stallings $2$-core of s…
▽ More
We show that the generation problem in Thompson group $F$ is decidable, i.e., there is an algorithm which decides if a finite set of elements of $F$ generates the whole $F$. The algorithm makes use of the Stallings $2$-core of subgroups of $F$, which can be defined in an analogue way to the Stallings core of subgroups of a finitely generated free group. Further study of the Stallings $2$-core of subgroups of $F$ provides a solution to another algorithmic problem in $F$. Namely, given a finitely generated subgroup $H$ of $F$, it is decidable if $H$ acts transitively on the set of finite dyadic fractions $\mathcal D$. Other applications of the study include the construction of new maximal subgroups of $F$ of infinite index, among which, a maximal subgroup of infinite index which acts transitively on the set $\mathcal D$ and the construction of an elementary amenable subgroup of $F$ which is maximal in a normal subgroup of $F$.
△ Less
Submitted 3 May, 2021; v1 submitted 8 August, 2016;
originally announced August 2016.
-
On the stabilizers of finite sets of numbers in the R. Thompson group $F$
Authors:
Gili Golan,
Mark Sapir
Abstract:
We study subgroups $H_U$ of the R. Thompson group $F$ which are stabilizers of finite sets $U$ of numbers in the interval $(0,1)$. We describe the algebraic structure of $H_U$ and prove that the stabilizer $H_U$ is finitely generated if and only if $U$ consists of rational numbers. We also show that such subgroups are isomorphic surprisingly often. In particular, we prove that if finite sets…
▽ More
We study subgroups $H_U$ of the R. Thompson group $F$ which are stabilizers of finite sets $U$ of numbers in the interval $(0,1)$. We describe the algebraic structure of $H_U$ and prove that the stabilizer $H_U$ is finitely generated if and only if $U$ consists of rational numbers. We also show that such subgroups are isomorphic surprisingly often. In particular, we prove that if finite sets $U\subset [0,1]$ and $V\subset [0,1]$ consist of rational numbers which are not finite binary fractions, and $|U|=|V|$, then the stabilizers of $U$ and $V$ are isomorphic. In fact these subgroups are conjugate inside a subgroup $\bar F<\Homeo([0,1])$ which is the completion of $F$ with respect to what we call the Hamming metric on $F$. Moreover the conjugator can be found in a certain subgroup $\F < \bar F$ which consists of possibly infinite tree-diagrams with finitely many infinite branches. We also show that the group $\F$ is non-amenable.
△ Less
Submitted 3 July, 2016; v1 submitted 17 May, 2016;
originally announced May 2016.
-
On subgroups of R. Thompson's group $F$
Authors:
Gili Golan,
Mark Sapir
Abstract:
We provide two ways to show that the R. Thompson group $F$ has maximal subgroups of infinite index which do not fix any number in the unit interval under the natural action of $F$ on $(0,1)$, thus solving a problem by D. Savchuk. The first way employs Jones' subgroup of the R. Thompson group $F$ and leads to an explicit finitely generated example. The second way employs directed 2-complexes and 2-…
▽ More
We provide two ways to show that the R. Thompson group $F$ has maximal subgroups of infinite index which do not fix any number in the unit interval under the natural action of $F$ on $(0,1)$, thus solving a problem by D. Savchuk. The first way employs Jones' subgroup of the R. Thompson group $F$ and leads to an explicit finitely generated example. The second way employs directed 2-complexes and 2-dimensional analogs of Stallings' core graphs, and gives many implicit examples. We also show that $F$ has a decreasing sequence of finitely generated subgroups $F>H_1>H_2>...$ such that $\cap H_i=\{1\}$ and for every $i$ there exist only finitely many subgroups of $F$ containing $H_i$.
△ Less
Submitted 12 January, 2017; v1 submitted 3 August, 2015;
originally announced August 2015.
-
On Jones' subgroup of R. Thompson group $F$
Authors:
Gili Golan,
Mark Sapir
Abstract:
Recently Vaughan Jones showed that the R. Thompson group $F$ encodes in a natural way all knots, and a certain subgroup $\vec F$ of $F$ encodes all oriented knots. We answer several questions of Jones about $\vec F$. In particular we prove that the subgroup $\vec F$ is generated by $x_0x_1, x_1x_2, x_2x_3$ (where $x_i, i=0,1,2,...$ are the standard generators of $F$) and is isomorphic to $F_3$, th…
▽ More
Recently Vaughan Jones showed that the R. Thompson group $F$ encodes in a natural way all knots, and a certain subgroup $\vec F$ of $F$ encodes all oriented knots. We answer several questions of Jones about $\vec F$. In particular we prove that the subgroup $\vec F$ is generated by $x_0x_1, x_1x_2, x_2x_3$ (where $x_i, i=0,1,2,...$ are the standard generators of $F$) and is isomorphic to $F_3$, the analog of $F$ where all slopes are powers of $3$ and break points are $3$-adic rationals. We also show that $\vec F$ coincides with its commensurator. Hence the linearization of the permutational representation of $F$ on $F/\vec F$ is irreducible.
△ Less
Submitted 16 April, 2015; v1 submitted 4 January, 2015;
originally announced January 2015.
-
Tarski numbers of group actions
Authors:
Gili Golan
Abstract:
The Tarski number of an action of a group G on a set X is the minimal number of pieces in a paradoxical decomposition of it. For any k>3 we construct a faithful transitive action of a free group of rank k-1 with Tarski number k. Using similar techniques we construct a group action of a free group F with Tarski number 6 such that the Tarski numbers of restrictions of this action to finite index sub…
▽ More
The Tarski number of an action of a group G on a set X is the minimal number of pieces in a paradoxical decomposition of it. For any k>3 we construct a faithful transitive action of a free group of rank k-1 with Tarski number k. Using similar techniques we construct a group action of a free group F with Tarski number 6 such that the Tarski numbers of restrictions of this action to finite index subgroups of F are arbitrarily large.
△ Less
Submitted 22 June, 2014;
originally announced June 2014.
-
Groups with Tarski number 5
Authors:
Gili Golan
Abstract:
The Tarski number of a non-amenable group G is the minimal number of pieces in a paradoxical decomposition of G. Until now the only numbers which were known to be Tarski numbers of some groups were 4 and 6. We construct a group with Tarski number 5 and mention a related result for Tarski numbers of group actions.
The Tarski number of a non-amenable group G is the minimal number of pieces in a paradoxical decomposition of G. Until now the only numbers which were known to be Tarski numbers of some groups were 4 and 6. We construct a group with Tarski number 5 and mention a related result for Tarski numbers of group actions.
△ Less
Submitted 9 June, 2014;
originally announced June 2014.
-
The Tarski numbers of groups
Authors:
Mikhail Ershov,
Gili Golan,
Mark Sapir
Abstract:
The Tarski number of a non-amenable group G is the minimal number of pieces in a paradoxical decomposition of G. In this paper we investigate how Tarski numbers may change under various group-theoretic operations. Using these estimates and known properties of Golod-Shafarevich groups, we show that the Tarski numbers of 2-generated non-amenable groups can be arbitrarily large. We also use the cost…
▽ More
The Tarski number of a non-amenable group G is the minimal number of pieces in a paradoxical decomposition of G. In this paper we investigate how Tarski numbers may change under various group-theoretic operations. Using these estimates and known properties of Golod-Shafarevich groups, we show that the Tarski numbers of 2-generated non-amenable groups can be arbitrarily large. We also use the cost of group actions to show that there exist groups with Tarski numbers 5 and 6. These provide the first examples of non-amenable groups without free subgroups whose Tarski number has been computed precisely.
△ Less
Submitted 10 July, 2014; v1 submitted 9 January, 2014;
originally announced January 2014.
-
Hindman's Coloring Theorem in arbitrary semigroups
Authors:
Gili Golan,
Boaz Tsaban
Abstract:
Hindman's Theorem asserts that, for each finite coloring of the natural numbers, there are distinct natural numbers $a_1,a_2,\dots$ such that all of the sums $a_{i_1}+a_{i_2}+\dots+a_{i_m}$ ($m\ge 1$, $i_1<i_2<\dots<i_m$) have the same color.
The celebrated Galvin--Glazer proof of Hindman's Theorem and a classification of semigroups due to Shevrin, imply together that, for each finite coloring o…
▽ More
Hindman's Theorem asserts that, for each finite coloring of the natural numbers, there are distinct natural numbers $a_1,a_2,\dots$ such that all of the sums $a_{i_1}+a_{i_2}+\dots+a_{i_m}$ ($m\ge 1$, $i_1<i_2<\dots<i_m$) have the same color.
The celebrated Galvin--Glazer proof of Hindman's Theorem and a classification of semigroups due to Shevrin, imply together that, for each finite coloring of each infinite semigroup $S$, there are distinct elements $a_1,a_2,\dots$ of $S$ such that all but finitely many of the products $a_{i_1}a_{i_2}\cdots a_{i_m}$ ($m\ge 1$, $i_1<i_2<\dots<i_m$) have the same color.
Using these methods, we characterize the semigroups $S$ such that, for each finite coloring of $S$, there is an infinite \emph{subsemigroup} $T$ of $S$, such that all but finitely many members of $T$ have the same color.
Our characterization connects our study to a classical problem of Milliken, Burnside groups and Tarski Monsters. We also present an application of Ramsey's graph-coloring theorem to Shevrin's theory.
△ Less
Submitted 12 September, 2013; v1 submitted 14 March, 2013;
originally announced March 2013.