Talk:Frattini's argument

Question about proof
The last line: NH(P) ≤ NG(P) ≤ M so M = H seems to unnecessarily include it's 1st expression NH(P) as it is not used by the proof. It only confuses. —Preceding unsigned comment added by 79.180.4.184 (talk • contribs)
 * It seems to me N_H(P) is needed. The goal of that part is to get that N_H(P) <= M, so that M <= H = N_H(P) M <= MM = M, so M = H. I expanded the proof a little to make it clearer how each part is used. JackSchmidt (talk) 14:05, 19 December 2007 (UTC)

Capitalization in the proof
There are severe problems with the capitalization in the proof, with lower case letters sometimes referring to groups and subgroups and upper case letters sometimes referring to group elements, and there isn't even consistency when referring to the same variable. One sentence even reads "Let G be an element of G". Groups and subgroups should be capitalized, group elements should not. I'm not going to make the change out of fear that someone will just undo it, but whoever has taken stewardship of the page should definitely make the correction. 216.80.125.44 (talk) 12:21, 17 August 2017 (UTC)