Impossibility Result for Identical Processes

Let \(A\) be a system of \(n\) processes, \(n>1\), arranged in a bi-directional ring. If all the processes in \(A\) are identical, then \(A\) does not solve the leader-election problem.

Notes

Result from Section 3.2 in Distributed algorithms. Nancy A. Lynch. 1997
Intuitively, stating that if a system is symmetric, it is impossible to achieve non-symmetric outcomes like leader-election.