>>341

和：合計10,000ページにも及ぶ証明が作られ
英：a proof, totaling more than 10,000 pages, was supplied

合計10,000ページ以上やね
それと、「証明が作られ」は誤訳

http://d.hatena.ne.jp/kazu_FGF/20090409/1239310288
Finite Groups Fun　有限群 あるいは ちょこっと計算ファンの日記
2009-04-09 鈴木『群論』の問題を解いてみる−はじめにAdd Star
(抜粋)
しばらく前に岩波から鈴木通夫『群論 上,下』が復刊されている．

実は以前に苦労して古書を手に入れてときおり眺めていたのだが，やっぱりこの本はすごい．上巻は教科書風だが，群論の大抵のことは載っているし，下巻ではFeit-Thompsonの定理や有限単純群の分類についても言及されている．
無論，刊行当時の1977年ではまだ有限単純群の分類は完成していなかったし，本文中にもまだ未完成と記述されている箇所がある
　ところが，偶然にFeit-Thompsonの元論文がWebで無料で手に入ることを発見し，また昔の野望がアタマをもたげてきた．
（Wikiページ ”Feit-Thompson theorem”の下のリファレンスを参照） http://en.wikipedia.org/wiki/Feit%E2%80%93Thompson_theorem
Feit-Thompsonの証明はその部分的な解決である『奇数位数の CN群（単位元以外の元の中心化群がnilpotentになる群）は可解である』の証明を雛形としており，難解なFeit-Thompsonの証明を理解するには，そのCN群に対する証明を先に理解すべしというアドバイスが以前紹介したFT定理の解説本 Bender& Glauberman の前書きにも書かれている．
CN群に対する証明の元論文は上にあげたリファレンスにあり，これも無料である．また，Gorensteinの『Finite Groups』（のかなり後半）にも証明が載っているようである．
しかし，さらに遡ると，このCN群に対する証明は，鈴木通夫によるCA群（単位元以外の元の中心化群がAbelianになる群）に対する証明を雛形としているということであるから，CA群に対する証明を読んでみることから始めるのは悪くなさそうである．
そこで鈴木氏の『群論』に何かないかと調べてみたところ，まさにCA群に関する結果そのものずばりが，下巻の651ページあたりに載っているではないか！
もう，これは鈴木『群論』を読むしかない！

つづく