Some closure results for \(\mathcal{C}\)-approximable groups (Q521741): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Derek F. Holt / rank | |||
Property / author | |||
Property / author: Derek F. Holt / rank | |||
Normal rank | |||
Property / review text | |||
The authors investigate closure results for \({\mathcal C}\)-approximable groups. An \textit{invariant length function} on a group \(K\) is a map \(l: K \rightarrow [0, 1]\) such that, for all \(x, y \in K\), \(l(x) = 0 \leftrightarrow x = 1\), \(\,l(x^{-1}) = l(x)\), \(\,l(xy) \leq l(x) + l(y)\), \(\,l(xyx^{-1}) = l(y).\) For a group \(G\), a map \(\delta : G \rightarrow \mathbb{R}\) is a \textit{weight function} for \(G\) if \(\delta (1) = 0\) and \(\delta (g) > 0\) for all \(1\not= g \in G.\) Let \(G\) be a group with weight function \(\delta\). Let \(K\) be a group with invariant length function \(l\), \(\varepsilon > 0\), and \(F\) be a finite subset of \(G\). Then, the map \(\theta : G \rightarrow K\) is an \((F, \varepsilon , \delta , l)\)-quasihomomorphism if \[ \theta (1)=1, \quad \forall g, h \in F\, l(\theta (gh)\theta (h)^{-1}\theta (g)^{-1}) \leq \varepsilon , \] and \[ \forall g \in F\setminus \{1\}\, l(\theta (g) ) \geq \delta (g). \] Let \(\mathcal{C}\) be a class of groups with associated invariant length functions. Then, a group \(G\) is called \(\mathcal{C}\)-approximable if it has a weight function \(\delta \) such that for each \(\varepsilon > 0\) and for each finite subset \(F\) of \(G\) there exists an \((F, \varepsilon , \delta , l)\)-quasihomomorphism \(\theta : G \rightarrow K\) for some \(K \in {\mathcal{C}}.\) In particular, sofic groups are precisely those groups that are \({\mathcal{C}}\)-approximable with respect to the class \({\mathcal{C}}\) of finite symmetric groups with length function defined by the Hamming norms, and with weight function of the form \(\delta (g) = c\) for every \(1 \not= g \in G\) and for some fixed constant \(c>0.\) The hyperlinear, weakly sofic, linear sofic and LEF groups can be defined as \({\mathcal{C}}\)-approximable groups for some classes \({\mathcal{C}}\) of finite groups equipped with specific invariant length functions. Some known closure results involving various of these classes of groups were obtained by Arzhantseva, Ciobanu, Elek, Gal, Pǎunescu, Stolz, Szabo et al. In particular, the authors prove, each time for certain (but not necessarily the same) classes \({\mathcal{C}}\) that: (i) the direct product of two \({\mathcal{C}}\)-approximable groups is \({\mathcal{C}}\)-approximable (valid for LEF, weakly sofic and hyperlinear groups); (ii) the restricted standard wreath product \(G \wr H\) is \({\mathcal{C}}\)-approximable when \(G\) is and \(H\) is residually finite (valid for weakly sofic and sofic groups), and (iii) a group \(G\) with normal subgroup \(N\) is \({\mathcal{C}}\)-approximable when \(N\) is and \(G/N\) is amenable (valid for weakly sofic groups). | |||
Property / review text: The authors investigate closure results for \({\mathcal C}\)-approximable groups. An \textit{invariant length function} on a group \(K\) is a map \(l: K \rightarrow [0, 1]\) such that, for all \(x, y \in K\), \(l(x) = 0 \leftrightarrow x = 1\), \(\,l(x^{-1}) = l(x)\), \(\,l(xy) \leq l(x) + l(y)\), \(\,l(xyx^{-1}) = l(y).\) For a group \(G\), a map \(\delta : G \rightarrow \mathbb{R}\) is a \textit{weight function} for \(G\) if \(\delta (1) = 0\) and \(\delta (g) > 0\) for all \(1\not= g \in G.\) Let \(G\) be a group with weight function \(\delta\). Let \(K\) be a group with invariant length function \(l\), \(\varepsilon > 0\), and \(F\) be a finite subset of \(G\). Then, the map \(\theta : G \rightarrow K\) is an \((F, \varepsilon , \delta , l)\)-quasihomomorphism if \[ \theta (1)=1, \quad \forall g, h \in F\, l(\theta (gh)\theta (h)^{-1}\theta (g)^{-1}) \leq \varepsilon , \] and \[ \forall g \in F\setminus \{1\}\, l(\theta (g) ) \geq \delta (g). \] Let \(\mathcal{C}\) be a class of groups with associated invariant length functions. Then, a group \(G\) is called \(\mathcal{C}\)-approximable if it has a weight function \(\delta \) such that for each \(\varepsilon > 0\) and for each finite subset \(F\) of \(G\) there exists an \((F, \varepsilon , \delta , l)\)-quasihomomorphism \(\theta : G \rightarrow K\) for some \(K \in {\mathcal{C}}.\) In particular, sofic groups are precisely those groups that are \({\mathcal{C}}\)-approximable with respect to the class \({\mathcal{C}}\) of finite symmetric groups with length function defined by the Hamming norms, and with weight function of the form \(\delta (g) = c\) for every \(1 \not= g \in G\) and for some fixed constant \(c>0.\) The hyperlinear, weakly sofic, linear sofic and LEF groups can be defined as \({\mathcal{C}}\)-approximable groups for some classes \({\mathcal{C}}\) of finite groups equipped with specific invariant length functions. Some known closure results involving various of these classes of groups were obtained by Arzhantseva, Ciobanu, Elek, Gal, Pǎunescu, Stolz, Szabo et al. In particular, the authors prove, each time for certain (but not necessarily the same) classes \({\mathcal{C}}\) that: (i) the direct product of two \({\mathcal{C}}\)-approximable groups is \({\mathcal{C}}\)-approximable (valid for LEF, weakly sofic and hyperlinear groups); (ii) the restricted standard wreath product \(G \wr H\) is \({\mathcal{C}}\)-approximable when \(G\) is and \(H\) is residually finite (valid for weakly sofic and sofic groups), and (iii) a group \(G\) with normal subgroup \(N\) is \({\mathcal{C}}\)-approximable when \(N\) is and \(G/N\) is amenable (valid for weakly sofic groups). / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20F65 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20E22 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20F69 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 43A07 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6705121 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(\mathcal{C}\)-approximable group | |||
Property / zbMATH Keywords: \(\mathcal{C}\)-approximable group / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
sofic | |||
Property / zbMATH Keywords: sofic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
hyperlinear | |||
Property / zbMATH Keywords: hyperlinear / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
weakly sofic | |||
Property / zbMATH Keywords: weakly sofic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
linear sofic | |||
Property / zbMATH Keywords: linear sofic / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Vitaliĭ Roman'kov / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3101756975 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1601.01836 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Free entropy dimension in amalgamated free products / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Introduction to sofic and hyperlinear groups and Connes' embedding conjecture. With an appendix by Vladimir Pestov / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sofic groups: graph products and graphs of groups. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hyperlinearity, essentially free actions and \(L^2\)-invariants. The sofic property / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On sofic groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sofic representations of amenable groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Finitely Generated Infinite Simple Group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On sofic actions and equivalence relations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: About the metric approximation of Higman's group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4383659 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 16:53, 13 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some closure results for \(\mathcal{C}\)-approximable groups |
scientific article |
Statements
Some closure results for \(\mathcal{C}\)-approximable groups (English)
0 references
12 April 2017
0 references
The authors investigate closure results for \({\mathcal C}\)-approximable groups. An \textit{invariant length function} on a group \(K\) is a map \(l: K \rightarrow [0, 1]\) such that, for all \(x, y \in K\), \(l(x) = 0 \leftrightarrow x = 1\), \(\,l(x^{-1}) = l(x)\), \(\,l(xy) \leq l(x) + l(y)\), \(\,l(xyx^{-1}) = l(y).\) For a group \(G\), a map \(\delta : G \rightarrow \mathbb{R}\) is a \textit{weight function} for \(G\) if \(\delta (1) = 0\) and \(\delta (g) > 0\) for all \(1\not= g \in G.\) Let \(G\) be a group with weight function \(\delta\). Let \(K\) be a group with invariant length function \(l\), \(\varepsilon > 0\), and \(F\) be a finite subset of \(G\). Then, the map \(\theta : G \rightarrow K\) is an \((F, \varepsilon , \delta , l)\)-quasihomomorphism if \[ \theta (1)=1, \quad \forall g, h \in F\, l(\theta (gh)\theta (h)^{-1}\theta (g)^{-1}) \leq \varepsilon , \] and \[ \forall g \in F\setminus \{1\}\, l(\theta (g) ) \geq \delta (g). \] Let \(\mathcal{C}\) be a class of groups with associated invariant length functions. Then, a group \(G\) is called \(\mathcal{C}\)-approximable if it has a weight function \(\delta \) such that for each \(\varepsilon > 0\) and for each finite subset \(F\) of \(G\) there exists an \((F, \varepsilon , \delta , l)\)-quasihomomorphism \(\theta : G \rightarrow K\) for some \(K \in {\mathcal{C}}.\) In particular, sofic groups are precisely those groups that are \({\mathcal{C}}\)-approximable with respect to the class \({\mathcal{C}}\) of finite symmetric groups with length function defined by the Hamming norms, and with weight function of the form \(\delta (g) = c\) for every \(1 \not= g \in G\) and for some fixed constant \(c>0.\) The hyperlinear, weakly sofic, linear sofic and LEF groups can be defined as \({\mathcal{C}}\)-approximable groups for some classes \({\mathcal{C}}\) of finite groups equipped with specific invariant length functions. Some known closure results involving various of these classes of groups were obtained by Arzhantseva, Ciobanu, Elek, Gal, Pǎunescu, Stolz, Szabo et al. In particular, the authors prove, each time for certain (but not necessarily the same) classes \({\mathcal{C}}\) that: (i) the direct product of two \({\mathcal{C}}\)-approximable groups is \({\mathcal{C}}\)-approximable (valid for LEF, weakly sofic and hyperlinear groups); (ii) the restricted standard wreath product \(G \wr H\) is \({\mathcal{C}}\)-approximable when \(G\) is and \(H\) is residually finite (valid for weakly sofic and sofic groups), and (iii) a group \(G\) with normal subgroup \(N\) is \({\mathcal{C}}\)-approximable when \(N\) is and \(G/N\) is amenable (valid for weakly sofic groups).
0 references
\(\mathcal{C}\)-approximable group
0 references
sofic
0 references
hyperlinear
0 references
weakly sofic
0 references
linear sofic
0 references
0 references