The CI problem for infinite groups (Q504969): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 05C25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 05C60 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6675972 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Cayley graphs | |||
Property / zbMATH Keywords: Cayley graphs / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
isomorphisms | |||
Property / zbMATH Keywords: isomorphisms / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
infinite groups | |||
Property / zbMATH Keywords: infinite groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
CI-problem | |||
Property / zbMATH Keywords: CI-problem / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
CI-group | |||
Property / zbMATH Keywords: CI-group / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
CI-graph | |||
Property / zbMATH Keywords: CI-graph / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1502.06114 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3445773 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Isomorphism problem for a class of point-symmetric structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4189301 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Groups Whose Order Contains a Prime Number to the First Power I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The maximal finite groups of \(4\times 4\) integral matrices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Isomorphism problem for Cayley graphs of \(\mathbb{Z}^ 3_ p\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Graphs with circulant adjacency matrices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Large Zsigmondy Primes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3669446 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Property of Locally Finite Groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An elementary Abelian group of rank 4 is a CI-group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5520688 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On isomorphisms of finite Cayley graphs---a survey / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Further restrictions on the structure of finite CI-groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Which finitely generated abelian groups admit isomorphic Cayley graphs? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Digraphical regular representations of infinite finitely generated groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5254385 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The CI problem for infinite groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An elementary abelian group of large rank is not a CI-group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5668937 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finite rational matrix groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3344369 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4012114 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Maximal Finite Irreducible Subgroups of GL(n, Z ): II. The Six Dimensional Case / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3544791 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Elementary Abelian \(p\)-groups of rank \(2p+3\) are not CI-groups. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Elementary abelian \(p\)-groups of rank greater than or equal to \(4p-2\) are not CI-groups. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Point-symmetric graphs with a prime number of points / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 07:15, 13 July 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
0 references