|
משפט (Wedderburn): כל אלגברה פשוטה (ממימד סופי) מעל שדה, היא אלגברה של מטריצות מעל אלגברה עם חילוק. טענה סובייקטיבית 1: מטריצות זה משעמם, אלגברות עם חילוק זה מעניין. תצפית סובייקטיבית 2: קשה ללמוד אלגברות עם חילוק בלי לעסוק בו-זמנית בכל האלגברות הפשוטות.
הגדרה: 'חבורת Brauer' של השדה היא אוסף המחלקות של אלגברות פשוטות שהשדה הוא מרכזן. לצורך זה, שתי אלגברות שייכות לאותה מחלקה אם הן מטריצות מעל אותה אלגברה עם חילוק.
דרך החבורה הזו פותרים את שתי הבעיות: לומדים את החלק המעניין של התאוריה, אבל בהקשר הכללי יותר.
|
|