-
Notifications
You must be signed in to change notification settings - Fork 51
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Proof of Lemma 15.6 #55
Comments
This sounds like a good idea. You are a bit ahead of me, I'm in the middle of Chapter 13 right now. If Tom does not get to this first, I'll give it a considered look once I get there in a couple of weeks. |
I made a PR #56 for this proposed fix. I'm not a PreTeXT expert so I hope it's ok. |
The PreTeXt in the fix looks good. Certainly, your fix is cleaner, but I'm not sure if students will lose track of what is going on. I have to think about this one carefully. |
Lemma 15.6 says:
The proof is given like this
:
It would be cleaner, I think, to point out that the stabilizer of K is N(K) n H and then invoke Theorem 14.11 which says
that the size of an orbit is the index of the stabilizer.
The text was updated successfully, but these errors were encountered: