zbMATH — the first resource for mathematics

Further restrictions on the structure of finite CI-groups. (English) Zbl 1124.05045
Summary: A group \(G\) is called a CI-group if, for any subsets \(S,T\subset G\), whenever two Cayley graphs Cay\((G,S)\) and Cay\((G,T)\) are isomorphic, there exists an element \(\sigma \in \text{Aut}(G)\) such that \(S\sigma = T\). The problem of seeking finite CI-groups is a long-standing open problem in the area of Cayley graphs. This paper contributes towards a complete classification of finite CI-groups. First it is shown that the Frobenius groups of order \(4p\) and \(6p\), and the metacyclic groups of order \(9p\) of which the centre has order 3 are not CI-groups, where \(p\) is an odd prime. Then a shorter explicit list is given of candidates for finite CI-groups. Finally, some new families of finite CI-groups are found, that is, the metacyclic groups of order \(4p\) (with centre of order 2) and of order \(8p\) (with centre of order 4) are CI-groups, and a proof is given for the Frobenius group of order \(3p\) to be a CI-group, where \(p\) is a prime.
Reviewer: Reviewer (Berlin)

05C25 Graphs and abstract algebra (groups, rings, fields, etc.)
20B25 Finite automorphism groups of algebraic, geometric, or combinatorial structures
Full Text: DOI
[1] Ádám, A., Research problem 2-10, J. Combin. Theory, 2, 309, (1967)
[2] Alspach, B., Isomorphisms of Cayley graphs on abelian groups, Graph Symmetry: Algebraic Methods and Applications, 497, 1-23, (1997)
[3] Alspach, B.; Parsons, T. D., Isomorphisms of circulant graphs and digraphs, Discrete Math., 25, 97-108, (1979) · Zbl 0402.05038
[4] Babai, L., Isomorphism problem for a class of point-symmetric structures, Acta Math. Acad. Sci. Hungar., 29, 329-336, (1977) · Zbl 0378.05035
[5] Babai, L.; Frankl, P., Isomorphisms of Cayley graphs I, 35-52, (1978), Amsterdam · Zbl 0404.05029
[6] Babai, L.; Frankl, P., Isomorphisms of Cayley graphs II, Acta Math. Acad. Sci. Hungar., 34, 177-183, (1979) · Zbl 0449.05029
[7] Conder, M.; Li, C. H., On isomorphisms for finite Cayley graphs, European J. Combin., 19, 911-919, (1998) · Zbl 0916.05034
[8] J.D. Dixon and B. Mortimer, Permutation Groups, Springer-Verlag, New York, 1996. · Zbl 0951.20001
[9] Djokovic, D. Z., Isomorphism problem for a special class of graphs, Acta Math. Acad. Sci. Hungar., 21, 267-270, (1970) · Zbl 0205.54504
[10] Dobson, E., Isomorphism problem for Cayley graph of ℤ_{\(p\)}3, Discrete Math., 147, 87-94, (1995) · Zbl 0838.05081
[11] Dobson, E., Isomorphism problem for metacirculant graphs of order a product of distinct primes, Canad. J. Math., 50, 1176-1188, (1998) · Zbl 0917.05051
[12] Elspas, B.; Turner, J., Graphs with circulant adjacency matrices, J. Combin. Theory, 9, 297-307, (1970) · Zbl 0212.29602
[13] Godsil, C. D., On Cayley graph isomorphisms, Ars Combin., 15, 231-246, (1983) · Zbl 0519.05036
[14] Hirasaka, M.; Muzychuk, M., The elementary abelian group of odd order and rank 4 is a CI-group, J. Combin. Theory Ser. A, 94, 339-362, (2001) · Zbl 1002.20030
[15] B. Huppert, Endliche Gruppen, Springer, Berlin, 1967. · Zbl 0217.07201
[16] Li, C. H., Finite CI-groups are soluble, Bull. London Math. Soc., 31, 419-423, (1999) · Zbl 0927.05036
[17] Li, C. H., On Cayley isomorphism of finite Cayley graphs—A survey, Discrete Math., 256, 301-334, (2002) · Zbl 1018.05044
[18] Li, C. H., The finite primitive permutation groups containing an abelian regular subgroup, Proc. London Math. Soc., 87, 725-747, (2003) · Zbl 1040.20001
[19] Li, C. H.; Praeger, C. E., The finite simple groups with at most two fusion classes of every order, Comm. Algebra, 24, 3681-3704, (1996) · Zbl 0878.20010
[20] Li, C. H.; Praeger, C. E., On finite groups in which any two elements of the same order are fused or inverse-fused, Comm. Algebra, 25, 3081-3118, (1997) · Zbl 0883.20013
[21] Li, C. H.; Praeger, C. E., On the isomorphism problem for finite Cayley graphs of bounded valency, European J. Combin., 20, 279-292, (1999) · Zbl 0924.05035
[22] Muzychuk, M., Ádám’s conjecture is true in the square-free case, J. Combin. Theory (A), 72, 118-134, (1995) · Zbl 0833.05063
[23] Muzychuk, M., On Ádám’s conjecture for circulant graphs, Discrete Math., 167/168, 497-510, (1997) · Zbl 0877.05040
[24] Muzychuk, M., An elementary abelian group of large rank is not a CI-group, Discrete Math., 264, 167-185, (2003) · Zbl 1027.05046
[25] Nowitz, L. A., A non Cayley-invariant Cayley graph of the elementary Abelian group of order 64, Discrete Math., 110, 223-228, (1992) · Zbl 0771.05048
[26] Pálfy, P. P., On regular pronormal subgroups of symmetric groups, Acta Math. Acad. Sci. Hungar., 34, 187-292, (1979) · Zbl 0437.20003
[27] Pálfy, P. P., Isomorphism problem for relational structures with a cyclic automorphism, European J. Combin., 8, 35-43, (1987) · Zbl 0614.05049
[28] Praeger, C. E., Finite transitive permutation groups and finite vertex-transitive graphs, Graph Symmetry: Algebraic Methods and Applications, 497, 277-318, (1997) · Zbl 0885.05072
[29] G. Royle, “Constructive enumeration of graphs,” PhD Thesis, University of Western Australia, 1987. · Zbl 0633.05034
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.