On donne une preuve complète de la classification des représentations d'énergie positive unitaires de l'algèbre Neveu-Schwarz, de telle manière qu'on obtient directement les caractères de la séries discrètes. Ensuite, on explicite leur loi de fusion de Connes et on prouve que les sous-facteurs de Jones-Wassermann sont irréductibles d'indice fini, on donne leur formule.

Cette thèse porte sur la structure de Lie de la cohomologie de Hochschild, donnée par le crochet de Gerstenhaber. Plus précisément, on étudie la structure d'algèbre de Lie du premier groupe de cohomologie et la structure de module de Lie des groupes de cohomologie de Hochschild de certaines algèbres monomiales. Une algèbre monomiale est définie comme le quotient de l'algèbre de chemins d'un carquois par un idéal bilatère admissible engendré par un ensemble de chemins de longueur au moins deux. On utilise les données combinatoires intrinsèques à de telles algèbres pour étudier la structure de Lie définie sur la cohomologie de Hochschild. En fait, on examine deux aspects de cette structure algébrique. Le premier est la relation entre la semi-simplicité du premier groupe de cohomologie de Hochschild et la nullité des groupes de cohomologie de Hochschild. Dans le second aspect, on se concentre sur la structure de module de Lie des groupes de cohomologie de Hochschild d'une famille d'algèbres particulière: celles dont le radical de Jacobson au carré est nul.

Pruesse et Ruskey ont trouvé un code Gray pour les idéaux d'un ensemble partiellement ordonné (poset) et un algorithme récursif pour les engendrer. Dans ce mémoire, un algorithme non-récursif qui engendre la même liste d'idéaux est présenté. De plus, plusieurs autres codes Gray classiques majoritairement reliés aux posets et leurs implantations sont étudiés. Plus particulièrement, les codes Gray de Chase et de Ruskey pour les combinaisons, celui de Ruskey et Proskurowski pour les mots de Dyck et celui de Walsh pour les involutions sans point fixe sont étudiés. Le code Gray de Chase est présenté sous forme d'un programme FORTRAN. Vajnovszki et Walsh ont trouvé une implantation plus simple sans en donner une preuve formelle; une telle preuve est présentée dans ce mémoire. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Code Gray, Idéal, Ensemble partiellement ordonné (poset), Extension linéaire, Poset forêt, Algorithme, Non-récursif, Sans-boucle, Temps constant amorti (CAT).

Dans la littérature, plusieurs recherches parlent du potentiel de l'utilisation de la technologie dans l'apprentissage de l'algèbre au secondaire. Cependant, peu de ces recherches portent sur la factorisation. Mon travail de recherche a été motivé par ces deux faits et avait pour objectif d'explorer si la calculatrice symbolique pouvait jouer un rôle significatif dans l'apprentissage de la factorisation. Dans ma recherche, je me suis inspirée de l'approche technique/théorique développée par Chevallard (1999), et adaptée ensuite par Artigue (2002a) et Lagrange (2000). Dans cette approche, les composantes technique et théorique sont étroitement liées et la dimension théorique ne peut progresser, dans les environnements technologiques, sans la présence de la dimension technique. Mon but a donc été d'explorer le rôle d'une approche technique/théorique, intégrée dans un environnement où l'on utilise la calculatrice symbolique, pour l'apprentissage de la notion de factorisation chez des élèves en 4ième secondaire. Pour atteindre ce but, j'ai fait une étude comparative entre deux groupes d'élèves de 4ième secondaire ayant des difficultés en algèbre: un groupe dont les élèves avaient chacun accès à une calculatrice symbolique (6 élèves) et un groupe où tel n'était pas le cas (10 élèves). Des feuilles d'activités avec des questions similaires pour les deux groupes ont été réalisées. Avant d'accomplir la séquence didactique composée des activités, les élèves avaient fait un pré-test pour que je puisse voir si les deux groupes avaient des connaissances semblables dans les composantes technique et théorique. La séquence didactique a été suivie par un post-test pour explorer les acquis des élèves et les différences entre les deux groupes. Des notes ont été consignées dans un journal de bord pour chacun des cours avec les deux groupes. De plus, j'ai été l'enseignante des deux groupes lors de cette étude. En comparant les résultats au pré-test des deux groupes, on s'est aperçu qu'ils étaient similaires pour la dimension technique, mais qu'iIs étaient légèrement plus forts pour la dimension théorique dans un groupe. Cependant, les résultats pour la dimension théorique étaient très bas dans les deux groupes. Les résultats au post-test nous ont indiqué que le groupe avec la calculatrice symbolique a accompli plus d'améliorations que le groupe sans calculatrice et ce, dans les deux dimensions (technique et théorique). À la suite de l'analyse des notes gardées dans le journal de bord et des réponses contenues dans les feuilles d'activités des élèves des deux groupes, on a pu dégager trois fonctions remplies par la calculatrice symbolique, qui expliqueraient les améliorations chez les élèves du groupe avec celle-ci. Les trois fonctions jouées par la calculatrice étaient les suivantes: la fonction génératrice de formes exactes, la fonction vérificatrice et la fonction instigatrice de discussions. Cette recherche m'a permis de réaliser que le fait d'avoir rendu accessible une calculatrice à des élèves ayant des difficultés en factorisation a eu un apport positif. En fait, ces jeunes ont plus appris avec cet outil, tant au niveau technique que théorique, que les autres élèves qui n'ont pas eu accès à cet outil. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Factorisation, Calculatrice symbolique, Système de calcul formel, Technique, Théorie, Théorique, Vérificatrice, Génératrice de formes exactes, Instigatrice de discussions.

.

Nous explicitons la cohomologie d'André-Quillen des algèbres sur une opérade à l'aide de la dualité de Koszul des opérades. Cette cohomologie est représentée par le complexe cotangent. Nous donnons des critères assurant que cette cohomologie s'écrit en termes de foncteur Ext. En particulier, c'est le cas des algèbres sur des opérades cofibrantes, ce qui fournit une nouvelle propriété de stabilité homotopique de ces algèbres. Nous généralisons ensuite la dualité de Koszul des algèbres associatives dans deux directions indépendantes. D'un côté, nous étendons la dualité de Koszul aux opérades non nécessairement augmentées de façon à étudier les algèbres unitaires. La notion de courbure apparaît pour coder le défaut d'augmentation. Nous obtenons ainsi les théories homotopiques et cohomologiques des algèbres associatives unitaires ou des algèbres de Frobenius avec unité et counité. Nous détaillons le cas des algèbres associatives unitaires. D'un autre côté, nous généralisons la dualité de Koszul aux algèbres sur une opérade. Nous montrons pour cela que le complexe cotangent est la bonne généralisation du complexe de Koszul.

Comme enseignante au secondaire, j'ai toujours attaché de l'importance à la compréhension des concepts abstraits et au sens que l'élève peut donner à ce qu'il apprend. J'ai voulu aller explorer la factorisation en algèbre, car elle cause souvent des difficultés chez les élèves. Une avenue intéressante pour l'enseignement de la factorisation est, selon moi, l'utilisation de représentations visuelles, comme la méthode du rectangle. Cette méthode permet de représenter l'expression à factoriser comme des aires de rectangles dont il faut trouver les mesures des côtés. En effet, dans l'Histoire, plusieurs mathématiciens ont utilisé des représentations visuelles pour factoriser des expressions algébriques. Les recherches sur le sujet m'ont amenée à distinguer cinq habiletés à développer autour de la factorisation : l'habileté à savoir reconnaître la forme de factorisation à utiliser selon l'expression algébrique, l'habileté à reconnaître des formes équivalentes, à reconnaître des formes qui ne se factorisent pas, à représenter visuellement une expression algébrique et à faire le lien entre la démarche algébrique et la représentation visuelle. De plus, ces recherches soulignent l'importance du rôle de l'enseignant. Je fais donc une étude de cas auprès d'une enseignante qui intègre des activités sur la factorisation construites par la chercheure et utilisant les représentations visuelles. Pour mieux comprendre comment l'enseignante s'approprie les représentations et les utilise pour développer des habiletés importantes chez ses élèves, je vais me concentrer pour l'analyse sur quelques composantes de l'intervention éducative : la composante épistémologique, didactique/cognitive et double dimension médiatrice/médiative. Les résultats principaux de cette étude montrent que l'enseignante s'approprie les représentations visuelles dès le premier cours. Elle les utilise à différents moments qui n'étaient pas prévus dans les discussions avec la chercheure, ce qui amène à distinguer trois rôles pour les représentations visuelles : donner du sens, contrer des erreurs et servir de réinvestissement à long terme. Un autre résultat important tourne autour des habiletés liées à la factorisation. L'expérimentation permet de mieux saisir ces habiletés. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Factorisation, représentation visuelle, pratique enseignante

Ce mémoire étudie la polynomialité de l'algèbre des invariants de l'algèbre des fonctions polynomiales sur le dual d'une certaine algèbre de Lie, lorsque cette dernière est la troncation canonique d'une sous-algèbre biparabolique d'une algèbre de Lie semi-simple complexe.

Soit K un corps algébriquement clos de caractéristique nulle. Il est bien connu, d'après un résultat de Duflo, Khalgui et Torasso, qu'une algèbre de Lie algébrique quasi-réductive (définie sur K) est stable. La réciproque est fausse en général. Se pose la question de savoir, si pour certaines classes particulières d'algèbres de Lie non réductives, il y a équivalence entre ces deux notions. Plus généralement, les sous-algèbres biparaboliques forment une classe très intéressante (incluant la classe des sous-algèbres paraboliques et de Levi) d'algèbres de Lie qui ne sont pas toutes réductives. Panyushev conjecture que si une sous-algèbre biparabolique est stable, alors son stabilisateur générique est un tore. Cette conjecture peut être reformulée ainsi : une sous-algèbre de Lie biparabolique est stable si et seulement si elle est quasi-réductive. Compte tenu des résultats obtenus par ce dernier pour le cas des sous-algèbres paraboliques d'une algèbre de Lie simple de type A et C, on donne dans cette thèse une réponse positive à cette conjecture pour la classe des sous-algèbres paraboliques d'une algèbre de Lie simple. Au passage, nous montrons également qu'une sous-algèbre de Lie de gl(n, K) qui stabilise une forme bilinéaire alternée de rang maximal et un drapeau en position générique est stable si et seulement si elle est quasi-réductive. / Let K be an algebraically closed field of characteristic 0. It is well known by work of Duflo, Khalgui and Torasso that any quasi-reductive algebraic Lie algebra (defined over K) is stable. However, there are stable Lie algebras which are not quasi-reductive. This raises the question, if for some particular class of non-reductive Lie algebras, there is equivalence between stability and quasi-reductivity. More generally, biparabolic subalgebras form a very interesting class (including the class of parabolic subalgebras and of Levi subalgebras) of non-reductive Lie algebras. It was conjectured by Panyushev that these two notions are equivalent for biparabolic subalgebras of a reductive Lie algebra. In this thesis, we give by considering the results of Panyushev for parabolic subalgerbras of simple Lie algebra of type A and C a positive answer to this conjecture in the case of parabolic subalgebras. In passing, we prove that these two notions are equivalent for certain subalgebras of gl(n,K) which stabilize an alternating bilinear form of maximal rank and a flag in generic position.

Étant donné un processus physique linéaire dont nous connaissons les équations d'évolution nous pouvons décrire son évolution par un certain nombre d'équations différentielles linéaires. Cette forme mathématique est souvent inexploitable, c'est pourquoi l'on préfère mettre le système sous forme d'équations d'états ou de fonction de transfert ; si le système est à commande échantillonnée on adopte une formulation matricielle dans l'espace d'état. L'une ou l'autre de ces formulations sont équivalentes et le choix ne dépend que des conclusions qui doivent être tirées sur l'évolution du système soumis à une certaine commande. Tout système, quelles que soient ses performances, est inutilisable s'il est instable ou s'il ne peut pas être stabilisé par adjonction d'un correcteur d'où l'importance primordiale d'une étude de stabilité. 11 existe un très grand nombre de méthodes d'étude de la stabilité des systèmes linéaires ; citons pour mémoire la méthode de Routh-hurwitz, les critères de Bode et de Nyquist ... Ces méthodes conviennent parfaitement pour des systèmes d'ordre peu élevé mais deviennent inexploitables, sans calculateur, pour des systèmes plus complexes. Le but de l'étude qui va suivre est de choisir un critère de stabilité s'adaptant au calcul numérique à partir duquel nous élaborerons divers programmes permettant de conclure sur la stabilité des systèmes (jusqu'à l'ordre 14) quelle que soit leur formulation ; rappelons qu'un système peut se mettre sous forme d'équations d'état, de fonction de transfert, d'équations différentielles.