שינויים

: '''טענה'''. יהיו a,b שני אברים במרכז של חבורת p-סילו P, שהם צמודים בחבורה G. אז הם צמודים גם במנרמל <math>\ N_G(P)</math>.

: '''הוכחה'''. לפי ההנחה יש <math>\ g \in G</math> כך ש-<math>\ b = gag^{-1}</math>. נתבונן במרכז <math>\ H = C_G(a)</math>. לפי ההנחה כל אברי P מתחלפים עם a, ולכן <math>\ P\subseteq H</math>. מאותה סיבה גם <math>\ P \subset C_G(b) = C_G(gag^{-1}) = gC_G(a)g^{-1}</math>, ועל-ידי הצמדה מקבלים <math>\ g^{-1}Pg \subseteq H</math>. קיבלנו שתי תת-חבורות p-סילו של H, שהן צמודות שם לפי המשפט; כלומר, קיים <math>\ h \in H</math> כך ש-<math>\ g^{-1}Pg = h^{-1}Ph</math>. מכאן ש-<math>\ gh^{-1} \in N_G(P)</math>, אבל מכיוון ש-<math>\ h^{-1}ah=a</math>, מתקיים <math>\ (gh^{-1})a(gh^{-1})^{-1} = gag^{-1} = b</math>, כדרוש. [[משתמש:עוזי ו.|עוזי ו.]] 22:22, 2 באוקטובר 2012 (IST)