A Cantor-Bernstein Theorem for Complete MV-Algebras - download pdf or read online

By De Simone A., Mundici D.

Show description

Read or Download A Cantor-Bernstein Theorem for Complete MV-Algebras PDF

Best algebra books

Download PDF by Serre J Pierre: Représentations linéaires des groupes finis

Advent du livre par l’auteur :

    Ce livre est shapeé de trois events, de niveaux et de buts assez différents :

    La première partie a été écrite à l’usage des chimistes théoriciens. Elle disclose l. a. correspondance, due à Frobenius, entre représentations linéaires et caractères. Il s’agit de résultats fondamentaux, d’usage consistent aussi bien en mathématique qu’en chimie quantique, ou en body. J’ai essayé d’en donner des démonstrations aussi élémentaires que attainable, n’utilisant que l. a. définition même d’un groupe et les rudiments de l’algèbre linéaire. Les exemples (§ 5) ont été choisis parmi ceux qui sont utiles aux chimistes.

    La deuxième partie est un cours donné en 1966 aux élèves de seconde année de l’École Normale. Elle complète l. a. première sur les issues suivants :
a) Degrés des représentations et propriétés d’intégralité des caractères (§ 6).
b) Représentations induites, théorèmes d’Artin et de Brauer, et applications (§§ 7 à 11).
c) Questions de rationalité (§§ 12 et 13).
    Les moyens utilisés sont ceux de l’algèbre linéaire (en un sens plus huge que pour l. a. première partie) : algèbres de groupes, modules, produits tensoriels non commutatifs, algèbres semi-simples.

    La troisième partie est une advent à los angeles théorie de Brauer : passage de l. a. caractéristique zero à los angeles caractéristique p (et inversement). J’ai utilisé librement le langage des catégories abéliennes (modules projectifs, groupes de Grothendieck), bien adapté à ce style de question.
    Les principaux résultats sont :
a) Le fait que l’homomorphisme de décomposition est surjectif : toute représentation irréductible de caractéristique p peut être relevée « virtuellement » (i. e. dans un groupe de Grothendieck convenable) en caractéristique 0.
b) Le théorème de Fong-Swan permettant de supprimer le mot « virtuellement » de l’énoncé précédent, pourvu que le groupe considéré soit
p-résoluble.
    J’ai également donné quelques purposes aux représentations d’Artin.

===== desk des matières =====

Introduction

I. Représentations et caractères

    § 1. Généralités sur les représentations linéaires
        1. 1. Définitions
        1. 2. Premiers exemples
        1. three. Sous-représentations
        1. four. Représentations irréductibles
        1. five. Produit tensoriel de deux représentations

    § 2. Théorie des caractères
        2. 1. Le caractère d’une représentation
        2. 2. Le lemme de Schur; premières applications
        2. three. Les family members d’orthogonalité des caractères
        2. four. Décomposition de l. a. représentation régulière
        2. five. Nombre des représentations irréductibles
        2. 6. los angeles décomposition canonique d’une représentation
        2. 7. Décomposition explicite d’une représentation

    § 3. Sous-groupes, produits, représentations induites
        3. 1. Sous-groupes commutatifs
        3. 2. Produit de deux groupes
        3. three. Représentations induites

    § 4. Extension aux groupes compacts
        4. 1. Groupes compacts
        4. 2. Mesure invariante sur un groupe compact
        4. three. Représentations linéaires des groupes compacts

    § 5. Exemples
        5. 1. Le groupe cyclique C_n
        5. 2. Le groupe C_∞
        5. three. Le groupe diédral D_n
        5. four. Le groupe D_nh
        5. five. Le groupe D_∞
        5. 6. Le groupe D_∞h
        5. 7. Le groupe alterné A₄
        5. eight. Le groupe symétrique S₄
        5. nine. Le groupe du cube

    Bibliographie (Partie I)

II. Représentations en caractéristique zéro

    § 6. L’algèbre du groupe
        6. 1. Représentations et modules
        6. 2. Décomposition de C[G]
        6. three. Le centre de C[G]
        6. four. Rappels sur les entiers
        6. five. Propriétés d’intégralité des caractères. Applications

    § 7. Représentations induites; critère de Mackey
        7. 1. Rappels
        7. 2. Caractère d’une représentation induite; formule de réciprocité
        7. three. restrict aux sous-groupes
        7. four. Critère d’irréductibilité de Mackey

    § 8. Exemples de représentations induites
        8. 1. Sous-groupes distingués; functions aux degrés des représentations irréductibles
        8. 2. Produits semi-directs par un groupe commutatif
        8. three. Rappels sur certaines periods de groupes finis
        8. four. Théorème de Sylow
        8. five. Représentations linéaires des groupes hyper-résolubles

    § 9. Théorème d’Artin
        9. 1. L’anneau R(G)
        9. 2. Énoncé du théorème d’Artin
        9. three. Première démonstration
        9. four. Deuxième démonstration de i) ⇒ ii)

    § 10. Théorème de Brauer
        10. 1. Éléments p-adiques; sous-groupes p-élémentaires
        10. 2. Caractères induits provenant des sous-groupes p-élémentaires
        10. three. building de caractères
        10. four. Démonstration des théorèmes 18 et 18'
        10. five. Théorème de Brauer

    § 11. functions du théorème de Brauer
        11. 1. Caractérisations des caractères
        11. 2. Un théorème de Frobenius
        11. three. Réciproque du théorème de Brauer
        11. four. Spectre de A ⨂ R(G)

    § 12. Questions de rationalité
        12. 1. Les anneaux de R_K(G) et \\bar{R}_K(G)
        12. 2. Indices de Schur
        12. three. Réalisabilité sur les corps cyclotomiques
        12. four. Rang du groupe R_K(G)
        12. five. Généralisation du théorème d’Artin
        12. 6. Généralisation du théorème de Brauer
        12. 7. Démonstration du théorème 28

    § 13. Questions de rationalité : exemples
        13. 1. Le cas du corps des nombres rationnels
        13. 2. Le cas du corps des nombres réels

    Bibliographie (Partie II)

III. creation à los angeles théorie de Brauer

    § 14. Les groupes R_K(G), R_k(G) et P_k(G)
        14. 1. Les anneaux R_K(G) et R_k(G)
        14. 2. Les groupes P_k(G) et P_A(G)
        14. three. constitution de P_k(G)
        14. four. constitution de P_A(G)
        14. five. Dualités
        14. 6. Extension des scalaires

    § 15. Le triangle cde
        15. 1. Définition de c : P_k(G) → R_k(G)
        15. 2. Définition de d : R_K(G) → R_k(G)
        15. three. Définition de e : P_k(G) → R_K(G)
        15. four. Premières propriétés du triangle cde
        15. five. Exemple : le cas des p'-groupes
        15. 6. Exemple : le cas des p-groupes
        15. 7. Exemple : produits de p'-groupes et de p-groupes

    § 16. Théorèmes
        16. 1. Propriétés du triangle cde
        16. 2. Caractérisation de l’image de e
        16. three. Caractérisation des A[G]-modules projectifs par leur caractère
        16. four. Exemples de A[G]-modules projectifs : représentations irréductibles de défaut nul

    § 17. Démonstrations
        17. 1. Changement de groupe
        17. 2. Le théorème de Brauer dans le cas modulaire
        17. three. Démonstration du théorème 33
        17. four. Démonstration du théorème 35
        17. five. Démonstration du théorème 37
        17. 6. Démonstration du théorème 38

    § 18. Caractères modulaires
        18. 1. Le caractère modulaire d’une représentation
        18. 2. Indépendance des caractères modulaires
        18. three. Traductions
        18. four. Une part de d
        18. five. Exemple : caractères modulaires du groupe symétrique S₄
        18. 6. Exemple : caractères modulaires du groupe alterné A₄

    § 19. program aux représentations d’Artin
        19. 1. Représentations d’Artin et de Swan
        19. 2. Rationalité des représentations d’Artin et de Swan
        19. three. Un invariant

    Annexe

    Bibliographie (Partie III)

Index des notations
Index terminologique

Additional resources for A Cantor-Bernstein Theorem for Complete MV-Algebras

Sample text

A key point of difference from the proof with Vκ is that L (AC). This is shown by showing L (WO), where (WO) is the statement ‘every set can be well-ordered’, which is equivalent to (AC). The idea, essentially, is that L has a well-ordered grading Lα and on each of the Lα one defines a well-order using transfinite induction, the ordering on Lα+1 being formed from that on Lα using the fact that each element of Lα+1 is a definable subset of Lα and so corresponds to a formlua φ(x, x1 , . . , xn ).

Since ℵβ < cf (ℵα ), any function f : ωβ → ωα must have sup f “ωβ < ωα ; otherwise we should be contradicting the minimality of cf (ℵα ). Therefore the set A of all such functions is Aγ , γ<α where Aγ is the set of all functions f : ωβ → ωγ . 2(i), = ℵβ+1 , by (GCH), < ℵα , |Aγ | = since β < α and α is a limit ordinal. 2(ii), ℵγ+1 , by (GCH), ℵα , since γ < α and α is a limit ordinal. ℵα = ℵα . (ii) Suppose cf (ℵα ) ≤ ℵβ ≤ ℵα . 2(ii), ℵα+1 , by (GCH). Since ℵα+1 is the next cardinal above ℵα , it follows that ℵα ℵβ = ℵα+1 .

17 For α a limit ordinal, we define 2< ℵα = sup 2ℵβ : β < α . Note that (GCH) would imply that 2< ℵα = sup {ℵβ+1 : β < α} = ℵα . 18 If α is a limit ordinal, then 2ℵα = 2< ℵα cf (ℵα ). 32 i∈I Ai , Proof. Let κ = cf (ℵα ) = cf (α). Then ℵα = supi<κ ℵαi , for some αi < α (i < κ). ℵα = i<κ ℵαi . κ = 2 ℵα . ♦ The following theorem shows that there are constraints on the continuum function at singular cardinals beyond those we have already considered. In fact, the full list of such constraints is still unknown.

Download PDF sample

A Cantor-Bernstein Theorem for Complete MV-Algebras by De Simone A., Mundici D.


by Jason
4.5

Rated 4.52 of 5 – based on 34 votes