מכפלות חצי ישרות

מבוא

במסגרת העיסוק שלנו בחבורות ראינו עוד ועוד דרכים לתאר חבורות ולבנות חבורות חדשות מחבורות קיימות. עכשיו הגיע הזמן לסגור את החור האחרון שאני רוצה לסגור כרגע (למרות שכמובן, זה רחוק מלהיות סוף הסיפור באופן כללי) ולהראות בניה כללית וחזקה למדי – בניה של מכפלה חצי ישרה, שהיא סוג של הכללה של המכפלה הישרה שהראיתי בפוסט קודם. מכפלה ישרה של שתי חבורות \(A,B\) הייתה חבורה \(A\times B=\left\{ \left(a,b\right)\ |\ a\in A,b\in B\right\} \) עם פעולת כפל "לפי קואורדינטות": \(\left(a_{1},b_{1}\right)\left(a_{2},b_{2}\right)=\left(a_{1}a_{2},b_{1}b_{2}\right)\). התוצאה תמיד הייתה חבורה אבלית מסדר \(\left|A\right|\cdot\left|B\right|\). את הבניה הזו, שהיא "חיצונית" (לוקחים שתי חבורות שאין בהכרח קשר ביניהן ובונים חבורה חדשה) אפשר היה לתאר גם באופן "פנימי": אם \(G\) חבורה עם תת-חבורות \(A,B\) אז אפשר תמיד להגדיר קבוצה \(A\cdot B=\left\{ ab\ |\ a\in A,b\in B\right\} \). ראינו בפוסט קודם שהקבוצה הזו היא מגודל \(\frac{\left|A\right|\cdot\left|B\right|}{\left|A\cap B\right|}\), ושאם מתקיים \(A\cap B=\left\{ e\right\} \) וכמו כן \(A,B\) שתיהן נורמליות ב-\(G\), אז \(AB\cong A\times B\). כלומר, בתנאים מסויימים החבורה \(AB\) שווה למכפלה הישרה של \(A,B\). ובתנאים אחרים?

אני לא אוהב לעשות טיזינג בפוסטים, אז הנה העיקר: על הקבוצה \(A\times B\) של הזוגות \(\left(a,b\right)\) אני יכול גם להגדיר פעולות נוספות, מתוחכמות קצת יותר, באמצעות מושג הפעולה של חבורה על קבוצה. בואו ניקח פעולה של \(A\) על \(B\) שיש לה את התכונה הנוספת שכל איבר של \(A\) פועל על \(B\) בתור אוטומורפיזם, כלומר לא סתם מערבב את אברי \(B\) אלא משמר את מבנה החבורה של \(B\). אז אפשר להגדיר פעולת כפל כזו: \(\left(a_{1},b_{1}\right)\left(a_{2},b_{2}\right)=\left(a_{1}\left(b_{1}\cdot a_{2}\right),b_{1}b_{2}\right)\). מה הולך פה? הקואורדינטה השניה מוכפלת בדיוק כמו במכפלה ישרה. בקואורדינטה הראשונה מתרחש תהליך דו-שלבי: ראשית מפעילים את \(b_{1}\) על \(a_{2}\), ורק אחר כך כופלים את התוצאה הזו ב-\(a_{1}\). הפעולה הזו מגדירה חבורה, שמסומנת ב-\(A\rtimes B\), וקוראים לדבר הזה מכפלה חצי ישרה של \(A\) ב-\(B\).

כמעט מייד ברורים שני דברים: ראשית, עבור הפעולה הטריוויאלית שבה כל איבר פועל כמו הזהות (\(b\cdot a=a\) לכל \(b\in B\) ולכל \(a\in A\)) קיבלנו שוב את המושג של מכפלה ישרה; ושנית, יש משהו מאוד לא סימטרי בהגדרה הזו, וכתוצאה מכך החבורות שנקבל כך יכולות להיות לא אבליות. זה דבר טוב: זה אומר שמצאנו בניה שתאפשר לנו לייצג חבורות לא אבליות מתוך חבורות קיימות, אפילו אם החבורות הקיימות כן אבליות. זה מה שמאפשר למכפלה חצי ישרה לתאר הרבה יותר סיטואציות משיכלנו קודם. זה מתבטא במשפט הבא: אם \(A,B\) הן תתי-חבורות של \(G\) כך ש-\(A\cap B=\left\{ e\right\} \), ואם \(A\) נורמלית ב-\(G\) (אבל \(B\) לא בהכרח נורמלית) אז \(AB\cong A\rtimes B\) כאשר הפעולה של \(B\) על \(A\) שמגדירה את המכפלה החצי ישרה היא פעולת ההצמדה של אברי \(A\) על ידי אברי \(B\).

עכשיו, משהסברתי מה אנחנו רוצים להשיג, בואו ניכנס לפרטים.

מכפלה חצי ישרה "פנימית"

בואו נתחיל עם דוגמה קונקרטיות כי בתחום הזה אסור לרחף יותר מדי באוויר. \(S_{3}\): חבורת התמורות על \(\left\{ 1,2,3\right\} \). הנה לנו שתי תתי-חבורות שלה: \(A=\left\{ e,\left(1\ 2\ 3\right),\left(1\ 3\ 2\right)\right\} \) ו-\(B=\left\{ e,\left(1\ 2\right)\right\} \). קל לוודא ששתיהן תתי-חבורות, וקל לוודא ש-\(A\) נורמלית אבל \(B\) לא נורמלית. למה? כי נורמליות פירושה להיות סגורים להצמדה; וכשמדברים על תמורות (וזו אחת הסיבות למה טוב לעבוד עם תמורות) המשמעות של הצמדה היא פשוטה – החלפה של התמורה הנוכחית בתמורה אחרת עם אותו מבנה מעגלי. מעל שלושה איברים יש לנו בסך הכל שתי תמורות שהמבנה המעגלי שלהן הוא מעגל יחיד מאורך 3, ולכן \(A\) סגורה להצמדה, אבל יש לנו שלוש תמורות שונות עם מבנה מעגלי של מעגל יחיד מאורך 2, ולכן \(B\) לא סגורה להצמדה ואינה נורמלית. מצד שני, אפשר לבדוק באופן ישיר שמתקיים \(AB=BA\). על פי מה שראינו בפוסט על מכפלות ישרות, די בכך ש-\(A,B\) תתי-חבורות עבורן \(AB=BA\) כדי להבטיח שהמכפלה \(AB\) תהיה חבורה בעצמה, ומכיוון ש-\(A\cap B=\left\{ e\right\} \) יוצא שזו חבורה עם \(3\cdot2=6\) איברים, כלומר קיבלנו ש-\(AB=S_{3}\) עצמה. מצד שני, אנחנו יודעים ש-\(S_{3}\) אינה אבלית, ולכן לא ייתכן ש-\(AB\cong A\times B\) מכיוון שמכפלה ישרה של חבורות כלשהן היא אבלית. מכאן שנדחף לנו בפרצוף הצורך למצוא "סוג חדש של מכפלה".

נעבור רגע לדבר על המקרה הכללי – \(A,B\) תתי-חבורות של \(G\) כך ש-\(A\) נורמלית ו-\(B\) לאו דווקא. איבר כללי של \(AB\) הוא מהצורה \(ab\) כך ש-\(a\in A\) ו-\(b\in B\). אם ניקח שני איברים שונים של \(AB\), שאסמן \(a_{1}b_{1}\) ו-\(a_{2}b_{2}\) ואכפול אותם (באמצעות הפעולה שקיימת כבר ב-\(G\)) אני אקבל \(\left(a_{1}b_{1}\right)\cdot\left(a_{2}b_{2}\right)\). האיבר הזה לא מוצג כרגע בצורה ה"נחמדה" שבה אני רוצה להציג איברים של \(AB\), כי אני רוצה לקבל הצגה שבה יש לי איבר מ-\(A\) שמוכפל באיבר מ-\(B\) ותו לא. מכיוון שאני יודע ש-\(AB=BA\) אני יכול להחליף את \(b_{1}a_{2}\) במשהו מהצורה \(a^{\prime}b^{\prime}\) ואז לקבל את ההצגה ה"נחמדה" שרציתי, אבל קצת איבדתי משהו – איבדתי את האיברים \(b_{1},a_{2}\) שהוחלפו באיברים כלליים שאני לא יודע עליהם כלום. אז בואו ננסה גישה שונה להציג את המכפלה הזו שלא תצריך אותי לאבד מידע.

התעלול שבו אני אנקוט יתבסס על כך ש-\(A\) היא תת-חבורה נורמלית, כלומר סגורה להצמדה; באופן כללי יותר הוא פשוט לא יעבוד. זה טריק ידוע, לקחת ביטוי שמתאר איבר בחבורה ולדחוף פנימה מכפלה באיבר וההופכי שלו. זה כמובן לא טריק שמוגבל לחבורות – אני מניח שרובכם מכירים את התעלול שמאפשר לי לראות ש-\(\frac{1}{\sqrt{2}}\)זה אותו דבר כמו \(\frac{\sqrt{2}}{2}\) – פשוט כופלים ב-\(\frac{\sqrt{2}}{\sqrt{2}}\). אז נעשה כאן את אותו הדבר עם \(b_{1}\):

\(a_{1}b_{1}a_{2}b_{2}=a_{1}b_{1}a_{2}b_{1}^{-1}b_{1}b_{2}\)

כעת קיבלתי איבר שהוא מהצורה:

\(\left(a_{1}\left(b_{1}a_{2}b_{1}^{-1}\right)\right)\left(b_{1}b_{2}\right)\)

מכיוון ש-\(A\) תת-חבורה נורמלית, \(b_{1}a_{2}b_{1}^{-1}\in A\) ולכן קיבלתי הצגה כמכפלה של איבר ב-\(A\) באיבר ב-\(B\), ואפילו מעט מאוד השתנה פה: את האיברים של \(B\) פשוט כפלתי זה בזה לפי הסדר שלהם, ואילו את האיברים של \(A\) גם כפלתי זה בזה, אבל רק אחרי שהצמדתי את \(a_{2}\) בעזרת \(b_{1}\).

נחזור לדוגמא שלנו: אני אסתכל על האיברים הבאים של \(AB\): ראשית על \(\left(1\ 2\ 3\right)\left(1\ 2\right)\) ושנית על \(\left(1\ 3\ 2\right)\) (שמוכפל מימין ב-\(e\) ואני לא טורח לכתוב זאת). המכפלה של שניהם היא \(\left(1\ 2\ 3\right)\left(1\ 2\right)\left(1\ 3\ 2\right)\) ועל פי הכלל שמצאנו, אפשר להצמיד את \(\left(1\ 3\ 2\right)\) על ידי \(\left(1\ 2\right)\) (כלומר, להחליף את 2 ב-1 ולהפך) ולקבל את \(\left(1\ 2\ 3\right)^{2}\cdot\left(1\ 2\right)\) , כלומר את \(\left(1\ 3\ 2\right)\left(1\ 2\right)\). אם תבדקו ישירות תראו שזה אכן שווה ל-\(\left(1\ 2\ 3\right)\left(1\ 2\right)\left(1\ 3\ 2\right)\).

מכפלה חצי ישרה "חיצונית"

מה שתיארתי עד כה היה מה שנקרא "מכפלה חצי ישרה פנימית". הסיטואציה הייתה שאני מתחיל מחבורה קיימת \(G\), מסתכל על תת-חבורות שלה שכבר מוגדרת בין איברים שלהן פעולת הכפל של \(G\), ומייצר מהן תת-חבורה אחרת של \(G\). כלומר, אני בסך הכל נותן אבחנה על הקשר בין שלוש תת-חבורות קיימות של \(G\). מה שמעניין יותר הוא האופן שבו אני יכול לקחת שתי חבורות \(A,B\) שאין ביניהן שום קשר ולבנות מתוכן חבורה חדשה, גדולה יותר. בחבורה הגדולה יותר הזו אני אוכל למצוא תת-חבורות שיהיו איזומורפיות ל-\(A,B\) ואני אקבל שהחבורה הזו היא המכפלה החצי ישרה של אותן תתי-חבורות. בואו ננסח פורמלית את מה שאני הולך לעשות.

ובכן, יהיו \(A,B\) חבורות כלשהן. בנוסף אליהן אני צריך גם פעולה של \(B\) על \(A\), אבל כפי שנראה בהמשך, לא סתם פעולה כלשהי (כלומר, הומומורפיזם של \(B\) לתוך חבורת הפרמוטציות של \(A\)) אלא פעולה שמכבדת את הפעולה של \(A\), דהיינו הומומורפיזם של \(B\) לתוך חבורת האוטומורפיזמים של \(A\). אוטומורפיזם של \(A\) הוא פונקציה \(f:A\to A\) שהיא חח"ע ועל (עד כאן זה תיאור של פרמוטציה) שבנוסף לכך מקיימת \(f\left(a_{1}a_{2}\right)=f\left(a_{1}\right)f\left(a_{2}\right)\), כלומר היא הומומורפיזם. נסמן ב-\(\text{Aut}\left(A\right)\) את חבורת האוטומורפיזמים של \(A\); אז אנחנו רוצים פעולה של \(B\) שמתוארת על ידי הומומורפיזם \(\varphi:B\to\text{Aut}\left(A\right)\). כן, החלק הזה מתחיל להיות מבלבל, עם הומומורפיזמים שמחזירים אוטומורפיזמים.

עכשיו אני מגדיר את החבורה \(G=A\rtimes_{\varphi}B\) כך: זו הקבוצה \(A\times B\triangleq\left\{ \left(a,b\right)\ |\ a\in A,b\in B\right\} \) עם פעולת הכפל \(\left(a_{1},b_{1}\right)\left(a_{2},b_{2}\right)=\left(a_{1}b_{1}\cdot a_{2},b_{1}b_{2}\right)\). כאן \(b_{1}\cdot a_{2}\) זה סימון מקוצר לפעולה של \(B\), כלומר \(b_{1}\cdot a_{2}\triangleq\varphi\left(b_{1}\right)\left(a_{2}\right)\). צריך עכשיו להשתכנע בכך ש-\(G\) היא חבורה, בכך ש-\(A,B\) איזומורפיות לתתי-חבורות שלה, וש-\(G\) היא מכפלה חצי ישרה פנימית של שתי-החבורות הללו. חוץ מזה אפשר יהיה גם להראות שתת החבורה שאיזומורפית ל-\(A\) היא תת-חבורה נורמלית.

להוכיח ש-\(A\rtimes_{\varphi}B\) זה… זה כואב. אין מנוס מלהודות בכך. צריך לעשות את כל החישובים ואין דרכי קיצור. בואו נלך אל הדבר שהוא תמיד הגרוע ביותר – אסוציאטיביות. מן הסתם האסוציאטיביות של \(A\rtimes_{\varphi}B\) תנבע מהאסוציאטיביות של \(A,B\) ומאיזו תכונה נחמדה של פעולת חבורה על קבוצה. בואו נעשה את הכל כולל הכל. אתם מוזמנים לדלג אם בא לכם.

\(\left[\left(a_{1},b_{1}\right)\left(a_{2},b_{2}\right)\right]\left(a_{3},b_{3}\right)=\left(a_{1}b_{1}\cdot a_{2},b_{1}b_{2}\right)\left(a_{3},b_{3}\right)\)

\(=\left(a_{1}\left(b_{1}\cdot a_{2}\right)\left(b_{1}b_{2}\cdot a_{3}\right),b_{1}b_{2}b_{3}\right)\)

עכשיו פסק זמן. בואו ניזכר בתכונה הבסיסית של פעולת חבורה: פעולה של מכפלת איברים אפשר לפרק לפעולה-על-פעולה. כלומר \(b_{1}b_{2}\cdot a_{3}=b_{1}\cdot\left(b_{2}\cdot a_{3}\right)\).

כמו כן, במקרה הספציפי שלנו הפעולה, כזכור, היא אוטומורפיזם של \(A\). במילים אחרות, \(b\cdot\left(xy\right)=\left(b\cdot x\right)\left(b\cdot y\right)\) עבור \(x,y\in A\). שני הדברים הללו מאפשרים לי לבצע את השלב הבא, שיתבסס על כך ש:

\(\left(b_{1}\cdot a_{2}\right)\left(b_{1}b_{2}\cdot a_{3}\right)=\left(b_{1}\cdot a_{2}\right)\left(b_{1}\cdot\left(b_{2}\cdot a_{3}\right)\right)=b_{1}\cdot\left(a_{2}\left(b_{2}\cdot a_{3}\right)\right)\)

ולכן נקבל

\(\left(a_{1}\left(b_{1}\cdot a_{2}\right)\left(b_{1}b_{2}\cdot a_{3}\right),b_{1}b_{2}b_{3}\right)=\left(a_{1}\left[b_{1}\cdot\left(a_{2}\left(b_{2}\cdot a_{3}\right)\right)\right],b_{1}b_{2}b_{3}\right)\)

\(=\left(a_{1},b_{1}\right)\left(\left(a_{2}\left(b_{2}\cdot a_{3}\right)\right),b_{2}b_{3}\right)\)

\(=\left(a_{1},b_{1}\right)\left[\left(a_{2},b_{2}\right)\left(a_{3},b_{3}\right)\right]\)

טוב, זה היה פחות כואב משחששתי, וכבונוס אפשר לראות יפה מאוד איפה נכנסת לתמונה העובדה שהפעולה של \(B\) היא אוטומורפיזם. כשאני מעודד מההצלחה היחסית הזו בואו נעבור לבדוק את שאר תכונות החבורה.

מי יהיה איבר היחידה, זה די ברור: \(\left(e_{A},e_{B}\right)\). זה נובע מייד מכך ש-\(e_{B}\cdot x=x\) לכל \(x\in A\); זו אחת מהתכונות שמאפיינות פעולה של חבורה על קבוצה, שאיבר היחידה תמיד פועל בתור פונקציית הזהות. נראה שגם מתבקש שההופכי של \(\left(a,b\right)\) יהיה \(\left(a^{-1},b^{-1}\right)\) (זה הרי קורה במכפלה ישרה וזה גם הדבר המתבקש ממילא). האמנם? מה קורה אם כופלים אותם?

\(\left(a,b\right)\left(a^{-1},b^{-1}\right)=\left(a\left(b\cdot a^{-1}\right),bb^{-1}\right)=\left(a\left(b\cdot a^{-1}\right),e_{B}\right)\)

ובכן, האם \(a\left(b\cdot a^{-1}\right)\) הוא \(e_{A}\)? לא. חסר לנו פה משהו. אם רק היינו יכולים לבטל את הפעולה של \(b\) איכשהו! ובכן, אפשר: במקום לבחור בתור ההופכי את \(\left(a^{-1},b^{-1}\right)\) נבחר את \(\left(b^{-1}\cdot a^{-1},b^{-1}\right)\). עכשיו נקבל

\(\left(a,b\right)\left(b^{-1}\cdot a^{-1},b^{-1}\right)=\left(a\left(b^{-1}b\cdot a^{-1}\right),bb^{-1}\right)=\left(aa^{-1},e_{B}\right)=\left(e_{A},e_{B}\right)\)

אבל יש עכשיו סוג של חוסר סימטריה בהגדרה שבגללו אני מרגיש צורך לוודא שגם כפל שבו הופכים את שני האיברים הללו נותן את אותה התוצאה:

\(\left(b^{-1}\cdot a^{-1},b^{-1}\right)\left(a,b\right)=\left(\left(b^{-1}\cdot a^{-1}\right)\left(b^{-1}\cdot a\right),b^{-1}b\right)=\)

\(=\left(b^{-1}\cdot\left(a^{-1}a\right),e_{B}\right)=\left(b^{-1}e_{A},e_{B}\right)=\left(e_{A},e_{B}\right)\)

כאשר שני המעברים האחרונים נובעים מכך שהפעולה של \(B\) היא אוטומורפיזם.

מכפלה חצי ישרה חיצונית היא מכפלה חצי ישרה פנימית!

זה מסיים את הצגת המושג של מכפלה חצי ישרה חיצונית. עכשיו אני רוצה לשכנע אתכם שזה אותו מושג כמו מכפלה חצי ישרה פנימית. כלומר, שאפשר לראות את \(A\rtimes_{\varphi}B\) גם בתור מכפלה חצי ישרה פנימית של שתי תתי חבורות – אלו שמתאימות בצורה הטריוויאלית ל-\(A,B\). אסמן אותן ב-\(H,K\). כלומר, אגדיר

\(H=\left\{ \left(a,e_{B}\right)\ |\ a\in A\right\} \)

\(K=\left\{ \left(e_{A},b\right)\ |\ b\in B\right\} \)

קל לראות ש-\(A\cong H\) ו-\(B\cong K\) אז אדלג על זה. יש שלושה דברים שאני כן רוצה להראות:

  1. \(H\) נורמלית ב-\(A\rtimes_{\varphi}B\). זו אחת מהדרישות לכך שנוכל לדבר על המכפלה החצי ישרה הפנימית של \(H,K\).
  2. \(\left|H\cap K\right|=1\) – זו עוד דרישה שבלעדיה ברור שהמכפלה הפנימית תהיה שונה מהחיצונית.
  3. לבסוף, החשוב ביותר – כשדיברנו על מכפלה פנימית, ה"פעולה" של \(K\) על \(H\) הייתה באמצעות הצמדה. במכפלה החיצונית של \(A,B\) הפעולה הוגדרה באמצעות \(\varphi\) שהתאימה לכל איבר של \(B\) אוטומורפיזם של \(A\). מה שעלינו להראות הוא שלכל איבר \(b\in B\), האוטומורפיזם ש-\(\varphi\) הצמידה לו הוא בדיוק מה שמוגדר על ידי הצמדה באמצעות \(\left(e_{A},b\right)\) (האיבר של \(K\) שמתאים ל-\(b\)). פורמלית, \(\left(b\cdot a,e_{B}\right)=\left(e_{A},b\right)\left(a,e_{B}\right)\left(e_{A},b\right)^{-1}\).

2 הוא מובן מאליו ונובע מההגדרה – האיבר המשותף היחיד הוא \(\left(e_{A},e_{B}\right)\). בואו נעבור ל-3 דווקא, כי הוא כולל חישוב פשוט יחסית (הצמדה של איבר של \(H\) עם מישהו מ-\(K\), להבדיל מהוכחה ש-\(H\) נורמלית שתצריך אותי להצמיד עם איבר כלשהו). כאן אין חוכמות גדולות, פשוט כופלים את שלושת האיברים על פי כללי הכפל (ומכיוון שכבר ראינו שיש אסוציאטיביות, לא חשוב איזו משתי ההכפלות נבצע קודם):

\(\left(e_{A},b\right)\left(a,e_{B}\right)\left(e_{A},b\right)^{-1}=\left(e_{A}\left(b\cdot a\right),e_{B}b\right)=\left(e_{A},b\right)^{-1}\)

\(\left(b\cdot a,b\right)\left(e_{A},b\right)^{-1}=\left(b\cdot a,b\right)\left(b^{-1}\cdot e_{A}^{-1},b^{-1}\right)\)

\(=\left(b\cdot a,b\right)\left(e_{A},b^{-1}\right)=\left(\left(b\cdot a\right)\left(b\cdot e_{A}\right),bb^{-1}\right)\)

\(=\left(b\cdot a,e_{B}\right)\)

וקיבלנו את המבוקש.

נשאר רק להראות ש-\(H\) נורמלית. האינטואיציה פה היא שראינו שהצמדה על ידי איבר של \(K\) משמרת את \(H\), ומן הסתם גם הצמדה על ידי איבר של \(H\) תשמר את \(H\). עכשיו, אנחנו יודעים ש-\(HK\) כוללת את כל אברי החבורה (זה נובע מתכונה 2), כלומר אפשר להציג כל איבר בחבורה בתור מכפלה של איבר מ-\(K\) באיבר מ-\(H\). זה תרגיל קל להוכיח שהצמדה על ידי מכפלה של שני איברים שכל אחד מהם בנפרד משמר את \(H\) עדיין משמרת את \(H\), מה שמסיים את ההוכחה.

ראינו כאן את הבניה הבסיסית האחרונה שאני רוצה להציג במסגרת סדרת הפוסטים שלי על חבורות. אבל מה עושים עם זה? אני מקווה לומר מילה וחצי על כך בהמשך.

3 תגובות על הפוסט “מכפלות חצי ישרות

  1. מכפלה ישרה היא אבלית רק אם שתי החבורות הנכפלות הן אבליות. הרי היא מכילה עותק של כל אחת מהחבורות המקוריות…

  2. היי גדי,
    תודה על הבלוג המקסים שלך.

    אפשר להזמין פוסט? איפה? (הפורום עדיין פעיל?)

כתיבת תגובה

האימייל לא יוצג באתר.