שאלה שאני די מתבייש לשאול
אם G חבורה שפועלת על X. קל (אבל טיפה טרחני) להוכיח שאת X אפשר לייצג (בלי קשר לתורת ההצגות) כמחלקות שקילות על G^I, כאשר I קבוצת אינדקסים (למעשה המחלקות של ה- Orbit).
אני די בטוח שהתוצאה הזו כתובה איפשהו, רק שאני fucking לא מצליח למצוא את זה, בעיקר בשל ריבוי תוצאות.
, אני צריך לדעת איפה לחפש תוצאות על הצגה של X באמצעות G^I כאשר I קבוצת אינדקסים כלשהי. התוצאה שאני צריך היא די טירוויאלית וקל להוכיח אותה, אז בטוח שהיא נכתבה באיזשהו מקום, אני פשוט לא מצליח למצוא את זה (אתם יכולים לבד לנחש מה קורה כשמחפשים group action ו- representing ביחד).
אז מי ששוחה במושגים ומוכן לתת לי כיוון אפיה לחפש, או אפילו מקור שאני אוכל לצוטט, אני אודה מאד.
