### References & Citations

# Mathematics > Combinatorics

# Title: The role of the Axiom of Choice in proper and distinguishing colourings

(Submitted on 30 Nov 2020 (v1), last revised 1 Feb 2021 (this version, v2))

Abstract: Call a colouring of a graph \emph{distinguishing} if the only automorphism of a graph which preserves it is the identity. We investigate the role of the Axiom of Choice in the existence of certain proper or distinguishing colourings in both vertex and edge variants with special emphasis on locally finite connected graphs. In particular, we show that every locally finite connected graph has a distinguishing colouring or every locally finite connected graph has a proper colouring with at most countable number of colours if and only if K\H{o}nig's Lemma holds. Furthermore, we show that it is improvable in ZF that such colourings exists even for every connected graph with maximum degree three. We also formulate few conditions about distinguishing and proper colourings which are equivalent to the Axiom of Choice.

## Submission history

From: Marcin Stawiski [view email]**[v1]**Mon, 30 Nov 2020 22:37:05 GMT (10kb)

**[v2]**Mon, 1 Feb 2021 11:20:01 GMT (197kb)

Link back to: arXiv, form interface, contact.