Amenability of groups is characterized by Myhill's theorem (Q2327711)

The paper deals with a converse to \textit{J. Myhill}'s ``Garden-of-Eden'' theorem [Proc. Am. Math. Soc. 14, 685--686 (1963; Zbl 0126.32501)]. Let \(G\) be a non-amenable group. The author proves that there exists a cellular automaton carried by \(G\) that admits gardens of Eden but no mutually erasable patterns. The author then proves the following theorem. Let \(G\) be a group and let \(\mathbb{K}\) be a field such that \(\mathbb{K}G\) has no zero divisors. Then \(G\) is amenable if and only if \(\mathbb{K}G\) is an Ore domain.