Researchers have proven that every finite group can be represented with a "just finite" presentation. This means that for any finite group, there exists a set of generators and relations such that removing any single relation from the set will result in a presentation for an infinite group. This resolves a long-standing open question in the field of group theory. AI
Summary written by gemini-2.5-flash-lite from 1 source. How we write summaries →
RANK_REASON The cluster contains an academic paper detailing a mathematical proof. [lever_c_demoted from research: ic=1 ai=0.1]