Talk:Finite Group has Composition Series/Proof 2

I'm almost certain that this use of Zorn's Lemma is unnecessary. Since the group is finite, doesn't it have finitely many subgroups? We should probably prove some sort of Zorn's Lemma for Finite Sets. I need that anyway to prove that finite Boolean lattices have prime ideals. --CircuitCraft (talk) 16:39, 25 August 2023 (UTC)
 * This? Finite Non-Empty Subset of Ordered Set has Maximal and Minimal Elements --Usagiop (talk) 17:10, 25 August 2023 (UTC)