The CI problem for infinite groups (Q504969): Difference between revisions
From MaRDI portal
Changed an Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 06:23, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The CI problem for infinite groups |
scientific article |
Statements
The CI problem for infinite groups (English)
0 references
18 January 2017
0 references
Summary: A finite group \(G\) is a DCI-group if, whenever \(S\) and \(S^\prime\) are subsets of \(G\) with the Cayley graphs Cay\((G,S)\) and Cay\((G,S^\prime)\) isomorphic, there exists an automorphism \(\phi\) of \(G\) with \(\phi(S)=S^\prime\). It is a CI-group if this condition holds under the restricted assumption that \(S=S^{-1}\). We extend these definitions to infinite groups, and make two closely-related definitions: an infinite group is a strongly \(\operatorname{(D)CI}_f\)-group if the same condition holds under the restricted assumption that \(S\) is finite; and an infinite group is a \(\operatorname{(D)CI}_f\)-group if the same condition holds whenever \(S\) is both finite and generates \(G\). We prove that an infinite (D)CI-group must be a torsion group that is not locally-finite. We find infinite families of groups that are \(\operatorname{(D)CI}_f\)-groups but not strongly \(\operatorname{(D)CI}_f\)-groups, and that are strongly \(\operatorname{(D)CI}_f\)-groups but not (D)CI-groups. We discuss which of these properties are inherited by subgroups. Finally, we completely characterise the locally-finite DCI-graphs on \(\mathbb Z^n\). We suggest several open problems related to these ideas, including the question of whether or not any infinite (D)CI-group exists.
0 references
Cayley graphs
0 references
isomorphisms
0 references
infinite groups
0 references
CI-problem
0 references
CI-group
0 references
CI-graph
0 references