Abstract
An S-ring (a Schur ring) is said to be separable with respect to a class of groups \({\mathcal {K}}\) if every algebraic isomorphism from the S-ring in question to an S-ring over a group from \({\mathcal {K}}\) is induced by a combinatorial isomorphism. A finite group G is said to be separable with respect to \({\mathcal {K}}\) if every S-ring over G is separable with respect to \({\mathcal {K}}\). We prove that every abelian group G of order 9p, where p is a prime, is separable with respect to the class of all finite abelian groups. Modulo previously obtained results, this completes a classification of noncyclic abelian groups of odd order that are separable with respect to the class of all finite abelian groups. This also implies that the relative Weisfeiler–Leman dimension of a Cayley graph over G with respect to the class of all Cayley graphs over abelian groups is at most 2.
Similar content being viewed by others
References
Chen, G., Ponomarenko, I.: Coherent Configurations. Central China Normal University Press, Wuhan (2019)
Evdokimov, S.: Schurity and separability of association schemes, Thesis (2004) (in Russian)
Evdokimov, S., Ponomarenko, I.: On a family of Schur rings over a finite cyclic group. St. Petersburg Math. J. 13(3), 441–451 (2002)
Evdokimov, S., Ponomarenko, I.: Characterization of cyclotomic schemes and normal Schur rings over a cyclic group. St. Petersburg Math. J. 14(2), 189–221 (2003)
Evdokimov, S., Ponomarenko, I.: Permutation group approach to association schemes. Eur. J. Combin. 30(6), 1456–1476 (2009)
Evdokimov, S., Ponomarenko, I.: Schurity of $S$-rings over a cyclic group and generalized wreath product of permutation groups. St. Petersburg Math. J. 24(3), 431–460 (2013)
Evdokimov, S., Ponomarenko, I.: On separability problem for circulant $S$-rings. St. Petersburg Math. J. 28(1), 21–35 (2017)
Evdokimov, S., Kovács, I., Ponomarenko, I.: On schurity of finite abelian groups. Commun. Algebra 44(1), 101–117 (2016)
Fuhlbrück, F., Köbler, J., Verbitsky, O.: Identiability of graphs with small color classes by the Weisfeiler–Leman algorithm. arXiv:1907.02892 [cs.CC], pp. 1–74 (2019)
Gröhe, M.: Descriptive Complexity, Canonisation, and Definable Graph Structure Theory. Cambridge University Press, Cambridge (2017)
Kiefer, S., Ponomarenko, I., Schweitzer, P.: The Weisfeiler-Leman dimension of planar graphs is at most 3. J. ACM 66(6), Article 44 (2019)
Klin, M., Pech, C., Reichard, S.: COCO2P—a GAP package, 0.14, 07.02.2015. http://www.math.tu-dresden.de/~pech/COCO2P
Leung, K.H., Man, S.H.: On Schur rings over cyclic groups. II. J. Algebra 183(2), 273–285 (1996)
Leung, K.H., Man, S.H.: On Schur rings over cyclic groups. Isr. J. Math. 106, 251–267 (1998)
Muzychuk, M.: On the structure of basic sets of Schur rings over cyclic groups. J. Algebra 169(2), 655–678 (1994)
Muzychuk, M., Ponomarenko, I.: Schur rings. Eur. J. Combin. 30(6), 1526–1539 (2009)
Muzychuk, M., Ponomarenko, I.: On Schur 2-groups. J. Math. Sci. 219(4), 565–594 (2016)
Ponomarenko, I., Ryabov, G.: Abelian Schur groups of odd order. Sib. Elect. Math. Rep. 15, 397–411 (2018)
Reichard, S.: http://www.math.tu-dresden.de/~reichard/schur/newData/
Ryabov, G.: On separability of Schur rings over abelian $p$-groups. Algebra Log. 57(1), 49–68 (2018)
Ryabov, G.: Separability of Schur rings over an abelian group of order $4p$. J. Math. Sci. 243(4), 624–632 (2019)
Ryabov, G.: On separable abelian $p$-groups. Ars Math. Contemp. 17(2), 467–479 (2019)
Ryabov, G.: On separable Schur rings over abelian groups. Algebra Colloq. arXiv:1903.00409 [cs.GR], pp. 1–10 (2018) (accepted)
Schur, I.: Zur theorie der einfach transitiven Permutationgruppen. S.-B. Preus Akad. Wiss. Phys.-Math. Kl. 18(20), 598–623 (1933)
Weisfeiler, B., Leman, A.: Reduction of a graph to a canonical form and an algebra which appears in the process. NTI 2(9), 12–16 (1968)
Wielandt, H.: Finite Permutation Groups. Academic Press, New York (1964)
Acknowledgements
The author would like to thank two anonymous reviewers for their suggestions and comments which help to improve the text significantly.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The work is supported by the Russian Foundation for Basic Research (project 18-31-00051).
Rights and permissions
About this article
Cite this article
Ryabov, G. Separability of Schur Rings Over Abelian Groups of Odd Order. Graphs and Combinatorics 36, 1891–1911 (2020). https://doi.org/10.1007/s00373-020-02206-4
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00373-020-02206-4