Characterization of subgroup perfect codes in Cayley graphs

Jiyong Chen,Yanpeng Wang,Binzhou Xia
DOI: https://doi.org/10.1016/j.disc.2020.111813
IF: 0.961
2020-05-01
Discrete Mathematics
Abstract:<p>A subset <span class="math"><math>C</math></span> of the vertex set of a graph <span class="math"><math>Γ</math></span> is called a perfect code in <span class="math"><math>Γ</math></span> if every vertex of <span class="math"><math>Γ</math></span> is at distance no more than 1 to exactly one vertex of <span class="math"><math>C</math></span>. A subset <span class="math"><math>C</math></span> of a group <span class="math"><math>G</math></span> is called a perfect code of <span class="math"><math>G</math></span> if <span class="math"><math>C</math></span> is a perfect code in some Cayley graph of <span class="math"><math>G</math></span>. In this paper we give sufficient and necessary conditions for a subgroup <span class="math"><math>H</math></span> of a finite group <span class="math"><math>G</math></span> to be a perfect code of <span class="math"><math>G</math></span>. Based on this, we determine the finite groups that have no nontrivial subgroup as a perfect code, which answers a question by Ma, Walls, Wang and Zhou.</p>
mathematics
What problem does this paper attempt to address?