PDA

צפה בגרסה המלאה : האם G/K x K ~ G?



איש עם חץ
15-11-2015, 21:59
נניח שK תת חבורה נורמלית בG. האם מתקיים http://latex.codecogs.com/gif.latex?G/K%5Ctimes%20K%5Csimeq%20G
?
אם כן, איך נראה איזומורפיזם כנ"ל?

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

תודה לעוזרים!

איש עם חץ
18-11-2015, 15:35
עריכה: מסתבר שהטענה לא תמיד נכונה. בכ"מ הצלחתי לפתור את התרגיל שהיה קשור לזה.