תן G להיות קבוצה H G.Prove כי רק את הזכות coset של H ב G כי הוא subring של G הוא H עצמו.?

תן G להיות קבוצה H G.Prove כי רק את הזכות coset של H ב G כי הוא subring של G הוא H עצמו.?
Anonim

תשובה:

בהנחה שהשאלה (כפי שמובהרת בהערות) היא:

תן # G # להיות קבוצה ו #H leq G #. להוכיח כי רק את הזכות coset # H # in # G # כי היא תת קבוצה של # G # J # H # עצמה.

הסבר:

תן # G # להיות קבוצה ו #H leq G #. עבור אלמנט #g ב- G #, את התושבת הנכונה של # H # in # G # זה מוגדר כ:

# => Hg = {hg: h in H} #

נניח זאת #Hg leq G #. ואז אלמנט הזהות #e ב- Hg #. עם זאת, אנו יודעים זאת בהכרח #e ב- H #.

מאז # H # היא הזכות coset ושתי custets הנכון חייב להיות זהה או disjoint, אנו יכולים להסיק #H = Hg #

=================================================

במקרה זה לא ברור, בואו ננסה הוכחה ביטול סמלים.

תן # G # להיות קבוצה ולתת # H # להיות תת קבוצה של # G #. עבור אלמנט # גרם # שייך ל # G #, שיחה # Hg # את התושבת הנכונה של # H # in # G #.

נניח כי את הזכות coset # Hg # היא תת קבוצה של # G #. ואז אלמנט הזהות # e # שייך ל # Hg #. עם זאת, אנו כבר יודעים כי אלמנט הזהות # e # שייך ל # H #.

שני cosets הנכון חייב להיות זהה או disjoint. מאז # H # היא זכות coset, # Hg # הוא coset הנכון, ושניהם מכילים # e #, הם לא יכולים להיות מנותקים. לפיכך, # H # ו # Hg # חייב להיות זהה, או #H = Hg #