Classification des catégories finies

Propriétaire

Description

Niveau: Supérieur, Master, Bac+5

• mémoire

1 Classification des catégories finies Samer Allouch Mémoire de M2, 15 juin 2007 Introduction: Le but du travail est d'étudier les correspondances, si elles existent, entre les catégories finies ordonnées d'ordre n et l'ensemble des matrices carrés de tailles n. Etant donné deux objets distincts ou non : X i , X j , d' une catégorie finie ordonnée A, Soit a ij =?A (X i , X j ) ?le nombre des morphismes de X i vers X j , évidement (a ij ) définie une matrice carrée M, alors on a une seule matrice associée à A. D'autre part si on a une matrice carrée de taille n, on va discuter les conditions sur les coefficients de la matrice pour trouver les catégories qui lui sont associées. En générale, il n'est pas nécessaire que les catégories existent, par exemple la matrice ??? ? ??? ? 11 22 n'a aucune catégorie associé, on essaye de classifier les matrices qui ne marchent pas et les matrices qui marchent avec leurs catégories associés. On a démontré dans le plan quelque lemme et corollaire pour faciliter le problème, par exemple une matrice et son transposé ont le même état, en plus une matrice et son symétrie, c.à.d sa conjuguée par un élément du groupe symétrique, ont le même état, et si une matrice est telle que il existe une sous matrice qui ne marche pas alors la matrice principale ne marche pas.

• catégorie ab


• composition usuelle


• applications ensemblistes avec la composition usuelle


• kk kk


• appelée catégorie


• injections ensemblistes sauf les applications identités


• catégorie


• morphisme

Sujets

• Mémoire
• Catégorie
• Morphisme

Informations

• Publié par: profil-afte-2012
• Publié le: 01 juin 2007
• Nombre de lectures: 7
• Langue: Français

Extrait

 

  Classification des catégories finies   Samer Allouch MémoiredeM2,15 juin 2007     Introduction:   Le but du travail est d'étudier les correspondances, si elles existent, entre les catégories finies ordonnées d'ordre n et l'ensemble des matrices carrés de tailles n. Etant donné deux objets distincts ou non :X i ,X j  une catégorie finie ordonnée, d' A , Soit a ij =│ A  (X i ,X j ) │le nombre des morphismes deX i versX j , évidement (a ij ) définie une matrice carrée M alors on a une seule matrice associée à, A.     D'autre part si on a une matrice carrée de taille n, on va discuter les conditions sur les coefficients de la matrice pour trouver les catégories qui lui sont associées. En générale, il n'est pas nécessaire que les catégories existent, par exemple la matrice    22 11     classifiern'a aucune catégorie associé, on essaye de ne les matrices qui marchent pas et les matrices qui marchent avec leurs catégories associés.   On a démontré dans le plan quelque lemme et corollaire pour faciliter le problème, par exemple une matrice et son transposé ont le même état, en plus une matrice et son symétrie, c.à.d sa conjuguée par un élément du groupe symétrique, ont le même état, et si une matrice est telle que il existe une sous matrice qui ne marche pas alors la matrice principale ne marche pas. Par "même état" on veut dire que si l'une marche alors l'autre marche et inversement, en plus si elle marche alors les deux ensembles des catégories sont isomorphes.   Finalement on peut définir une catégorie à partir d'une matrice carré dans certains exemples, ca c'est très important car la définition d'une catégorie est un peu complexe, on même temps on va étudier l'influence des propriétés matricielles sur les catégories.   Voici quelques-uns des resultats.       Pour M = (2), Cat (M) = Cat 1 (M)  Cat f (M) .

 

1

Pour  CatM = (3), (M) = cat 1 (M)  Cat(M, Z/3Z )  cat 1 g (M)  cat 2 f   (M)  cat 3 f (M)   cat 4 f (M)  cat 7 f (M).

 

   1a Soit (M) =   0 1    , et a≥1 alors Cat (M) =   { A catégorie/ Ob (A)={ X 1 , X 2 }  et    A  (X 1 , X 1 )=   { 1 X 1 } , A  (X 1 , X 2 )=   { f 1 , f 2 … f a } , A  (X 2 , X 1 )= ,    A  (X 2 , X 2 )=   { 1 X 2 } } .associes sont isomorphes, par la foncteuret toutes les catégories abstrait.   Soit M=    1 a 1 b    tel que 2a b,alors Cat (M) = .

     1 0 Soit M=       0   

1 1 0  0

    

    0

1 1     1       tel que n

∀ , on a Cat (M)

pour tout n>0.

   n n nn     M=      atriceN=   2 2   t 3 3 3  es  1 1  marche pas pour tout n>2, car la m3 ne La matrice     2 2 22       1 1 11 un sous matrice de M .   Ce mémoire rapproche la théorie et la logique pratique.             Définition :    Une semi catégorie A une classe d’objet, une classe des morphismes et une loi deconsiste en composition de morphismessatisfaisant les axiomes suivants:                 À tout morphisme   f A     correspond une paire d’objets de A appelés   source (f)   et                    but (f) . On note : source (f) | but (f).                      Pour toute pair d’objets    X,Y A , les morphismesX|Y   forment un ensemble

 

2