What does "The cayley graph on every semidirect product of two cyclic groups with standard generating set has a hamiltonian cycle" mean?

There some other conditions satisfied by the above statement but, what does "standard set" mean? Is it the generator set considered to draw the cayley graph? If it is so how do I find a standard set like that?

Thanks a lot in advance.


You are right that this part of the sentence is trying to tell you which generating set to use to construct the Cayley graph of the group.

It's telling you: use "the standard one". In this case, "standard" is not mathematical terminology, but just means that we do the most obvious thing.

What the most obvious thing is might not necessarily be all that obvious. In this case, I would say that

  1. The standard generating set of a cyclic group is a single element generating the whole group.
  2. The standard generating set of the semidirect product of two groups is the union of the elements generating each group (viewed as subgroups of the semidirect product).

So in this case, the generating set you are asked to use consists of two elements: an element generating the first cyclic group, and an element generating the second.

  • $\begingroup$ Thank you very much. Will the Cayley graph obtained with the standard generating set be a subgraph of all other Cayley graphs constructed using any other generating set? Can we conclude something like that? $\endgroup$ – Buddhini Angelika Aug 27 '18 at 4:40
  • $\begingroup$ Not necessarily. The most you can say is that if one generating set is a subset of another, then the Cayley graph for the first will be a subgraph of the Cayley graph for the second. But consider, for example, the Cayley graphs of $\mathbb Z$ using the generating sets $\{1\}$ and $\{2,3\}$; neither is a subgraph of the other. $\endgroup$ – Misha Lavrov Aug 27 '18 at 4:49
  • $\begingroup$ How about if it is a semidirect product as mentioned above? If it is a semidirect product of finite cyclic groups $\endgroup$ – Buddhini Angelika Aug 27 '18 at 5:00
  • $\begingroup$ Same thing holds there; there is no relationship in general. $\endgroup$ – Misha Lavrov Aug 27 '18 at 5:02
  • $\begingroup$ Ok, thank you very much. $\endgroup$ – Buddhini Angelika Aug 27 '18 at 5:12

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.