Talk:Atiyah Conjecture and finite groups (Ex)
From Manifold Atlas
Revision as of 05:03, 10 January 2019 by Fabian Henneke (Talk | contribs)
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.