Skip to main content
edited tags
Link
YCor
  • 63.9k
  • 5
  • 187
  • 286
Source Link
Agelos
  • 1.9k
  • 10
  • 17

Does every generating set of the first homology group of a Cayley graph give rise to a presentation of its group?

Let $G$ be a group, and fix a symmetric generating set $S$. Let $X$ be the corresponding Cayley graph.

Let $R$ be a set of words in $S$, each corresponding to the identity of $G$, such that the set of closed walks (some authors would write `closed paths') in $X$ induced by the elements of $R$ generates $H_1(X)$, i.e. the first simplicial homology group over $\mathbb Z$. Is it true that $<S \mid R>$ is a presentation of $G$?