Abstract:A finite group $G$ is a DCI-group if, whenever $S$ and $S'$ are subsets of $G$ with the Cayley graphs Cay$(G,S)$ and Cay$(G,S')$ isomorphic, there exists an automorphism $\varphi$ of $G$ with $\varphi(S)=S'$. 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 (D)CI$_f$-group if the same condition holds under the restricted assumption that $S$ is finite; and an infinite group is a (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 (D)CI$_f$-groups but not strongly (D)CI$_f$-groups, and that are strongly (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.

Subgroups of finite index and the just infinite property

On (hereditarily) just infinite profinite groups that are not virtually pro-p

On the structure of just infinite profinite groups

Finite subgroups of the profinite completion of good groups

A property which ensures that a finitely generated hyper-(Abelian-by-finite) group is finite-by-nilpotent

Subindices and subfactors of finite groups

A Note on Finite Nilpotent Groups

Generalized Residual Finiteness of Groups

Finite groups in which some particular invariant subgroups are TI-subgroups or subnormal subgroups

Finite Groups All of Whose Subgroups are -Subnormal or -Subgroups

Residual finiteness and discrete subgroups of Lie groups

The CI problem for infinite groups

On the lattice of closed subgroups of a profinite group

Uniformly fully inert subgroups of abelian p-groups

Finite Germ Extensions

A Note On The Finitely Generated Fixed Subgroup Property

Gradewise Properties of Subgroups of Finite Groups

Finitely generated normal pro-$\mathcal C$ subgroups in right angled Artin pro-$\mathcal C$ groups

Finite groups with some particular maximal invariant subgroups being nilpotent or all non-nilpotent maximal invariant subgroups being normal

On the Norms of p-Nilpotent Residuals of Subgroups in a Finite Group