Talk:Atiyah Conjecture and finite groups (Ex)
From Manifold Atlas
Let be a finite group and assume that is a skew field. Since a skew field is in particular a domain, the subring of is then also a domain. Let be an element of order and consider the norm element . Note that . Since and does not admit zero divisors, we conclude that , i.e., is necessarily the trivial group.