תוכן עניינים
6 יחסים: אם ורק אם, תנאי הופף, חבורת אוטומורפיזמים, חבורה פתירה, הרחבת HNN, החבורה הציקלית האינסופית.
אם ורק אם
אם ורק אם (ראשי תיבות: אמ"ם) או "אימוּם" (בלשון חז"ל: תנאי כפול, וסימונו בלוגיקה פורמלית: \Leftrightarrow, \leftrightarrow או ≡) בתחום הלוגיקה המתמטית הוא קַשָּׁר לוגי בין שתי טענות השקולות זו לזו במובן שכל אחת אמיתית כשהשנייה אמיתית, אך אם אחת אינה אמיתית גם השנייה שגויה.
לִרְאוֹת חבורת באומסלג-סוליטר ואם ורק אם
תנאי הופף
#הפניהתכונת הופף.
לִרְאוֹת חבורת באומסלג-סוליטר ותנאי הופף
חבורת אוטומורפיזמים
בתורת החבורות, חבורת האוטומורפיזמים של חבורה G, שסימונה המקובל \operatorname(G), היא אוסף כל האוטומורפיזמים של החבורה לעצמה, כלומר, אוסף הפונקציות ההפיכות \sigma: G \rightarrow G, המקיימות את התנאי \sigma(xy).
לִרְאוֹת חבורת באומסלג-סוליטר וחבורת אוטומורפיזמים
חבורה פתירה
בתורת החבורות, חבורה פתירה היא חבורה שיש לה סדרה נורמלית סופית שכל הגורמים בה אבליים.
לִרְאוֹת חבורת באומסלג-סוליטר וחבורה פתירה
הרחבת HNN
במתמטיקה, הרחבת HNN היא דרך לבנות חבורה חדשה מחבורה קיימת.
לִרְאוֹת חבורת באומסלג-סוליטר והרחבת HNN
החבורה הציקלית האינסופית
#הפניה חבורה ציקלית.
לִרְאוֹת חבורת באומסלג-סוליטר והחבורה הציקלית האינסופית