Algèbre tensorielle | EPFL Graph Search

Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?

Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.

Découvrez-en plus sur les applications Graph.

En mathématiques, une algèbre tensorielle est une algèbre sur un corps dont les éléments (appelés tenseurs) sont représentés par des combinaisons linéaires de « mots » formés avec des vecteurs d'un espace vectoriel donné. Les seules relations de dépendance linéaire entre ces mots sont induites par les combinaisons linéaires entre les vecteurs. Si l'espace vectoriel sous-jacent est muni d'une base, son algèbre tensorielle s'identifie avec l'algèbre associative unitaire libre engendrée par cette base. Si cette base est finie, les tenseurs s'identifient avec des tableaux de coordonnées. L'algèbre tensorielle permet d'étendre en morphismes d'algèbres toutes les applications linéaires d'un espace vectoriel vers les algèbres associatives unitaires. À ce titre, la construction de l'algèbre tensorielle sur un espace vectoriel est adjointe à gauche à l'oubli de la structure multiplicative. Divers quotients de l'algèbre tensorielle constituent l'algèbre symétrique, l'algèbre extérieure... Un mot sur un ensemble est une suite finie d'éléments de cet ensemble, souvent notée sans séparateurs ni parenthèses. L'algèbre libre sur un ensemble est l'espace vectoriel des familles presque nulles indexées par les mots sur , muni de la multiplication induite par la concaténation. Chaque mot est identifié avec la suite qui vaut 1 en et 0 partout ailleurs. La non-commutativité des lettres d'un mot empêche certaines simplifications usuelles comme dans l'égalité suivante : Il n'y a pas d'annulation de (−) par (+), a contrario de l'identité remarquable valable pour les nombres réels ou complexes. Pour définir l'algèbre tensorielle sur un espace vectoriel , il suffit de considérer l'algèbre libre engendrée par tous les éléments de puis de la quotienter par l'idéal bilatère engendré par les relations linéaires sur . L'algèbre quotient est notée . Dans ce cadre, les vecteurs servant de lettres dans chaque mot sont souvent séparées par le symbole du produit tensoriel, semblable à la croix de multiplication inscrite dans un cercle.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (3)

Concepts associés (44)

Cours associés (10)

Séances de cours associées (29)

MATH-317: Algebra V - Galois theory

Galois theory aims at describing the algebraic symmetries of fields. After reviewing the basic material (from the 2nd year course "Ring and Fields") and in particular the Galois correspondence, we wi

MATH-436: Homotopical algebra

This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous

MATH-453: Computational linear algebra

This course provides an overview of advanced techniques for solving large-scale linear algebra problems, as they typically arise in applications. A central goal of this course is to give the ability t

A Hopf algebra model for Dwyer's tame spaces

Haoqing Wu

In this thesis, we give a modern treatment of Dwyer's tame homotopy theory using the language of

\infty

-categories.We introduce the notion of tame spectra and show it has a concrete algebraic description.We then carry out a study of

\infty

-operads and define tame spectral Lie algebras and tame spectral Hopf algebras. Finally, we prove that the homotopy theory of tame spectral Hopf algebras is equivalent to that of tame spaces. To recover Dwyer's Lie algebra model for tame spaces, we use Koszul duality to construct a universal enveloping algebra functor, and show it is an equivalence from the

\infty

-category of tame spectral Lie algebras to the

\infty

-category of tame spectral Hopf algebras.

EPFL2022

Hopf algebras and Hopf-Galois extensions in infinity-categories

Aras Ergus

In this thesis, we study interactions between algebraic and coalgebraic structures in infinity-categories (more precisely, in the quasicategorical model of (infinity, 1)-categories). We define a notion of a Hopf algebra H in an E-2-monoidal infinity-category and lift some results about ordinary Hopf algebras, such as the fundamental theorem of Hopf modules, to this setting. We also study Hopf-Galois extensions in this context. Given a candidate Hopf-Galois extension, i.e., a map f : A -> B of H-comodule algebras where H coacts on A trivially, we construct a structured version of the comparison map B (x)_A B -> H (x) B that allows us to compare the category of descent data for f with a category of "B-modules equipped with a semilinear coaction of H". We provide further insights into the case of commutative (i.e., E-infinity) comodule algebras over a commutative Hopf algebra, for instance a description of the aforementioned category of modules equipped with a semilinear coaction as the limit of a "categorified cobar construction". Moreover, we provide a simple description of comodules over a space in slice categories of the infinity-category of spaces, which enables us to realize multiplicative Thom objects as comodule algebras and thus incorporate them into the aforementioned framework.

EPFL2022

Higman ideal, stable Hochschild homology and Auslander-Reiten conjecture

Yuming Liu

Let A and B be two finite dimensional algebras over an algebraically closed field, related to each other by a stable equivalence of Morita type. We prove that A and B have the same number of isomorphism classes of simple modules if and only if their 0-degree Hochschild Homology groups HH (0)(A) and HH (0)(B) have the same dimension. The first of these two equivalent conditions is claimed by the Auslander-Reiten conjecture. For symmetric algebras we will show that the Auslander-Reiten conjecture is equivalent to other dimension equalities, involving the centers and the projective centers of A and B. This motivates our detailed study of the projective center, which now appears to contain the main obstruction to proving the Auslander-Reiten conjecture for symmetric algebras. As a by-product, we get several new invariants of stable equivalences of Morita type.

Springer-Verlag2012

En mathématiques, et plus précisément en algèbre et en analyse vectorielle, l'algèbre extérieure d'un espace vectoriel E est une algèbre associative graduée, notée . La multiplication entre deux éléments a et b est appelée le produit extérieur et est notée . Le carré de tout élément de E est zéro (), on dit que la multiplication est alternée, ce qui entraîne que pour deux éléments de E : (la loi est « anti-commutative »). L'algèbre extérieure est aussi appelée algèbre de Grassmann nommée ainsi en l'honneur de Hermann Grassmann.

En mathématiques, la notion de coalgèbre est une notion duale de celle d'algèbre sur un anneau ou sur un corps. Informellement, une algèbre A est un espace vectoriel (ou un -module) qui est muni en plus d'une multiplication, c'est-à-dire d'une application qui compose deux éléments de A pour en construire un troisième. Une coalgèbre C est donc un espace vectoriel (ou un -module) muni d'une comultiplication, c'est-à-dire-d'une application qui prend un élément de C et qui en retourne deux. Soit K un corps.

Amandes de signature : Ensembles de caractéristiques universelles pour la science des données

Explore les noyaux de signature, les cartes de caractéristiques, les algèbres tensor, et leurs applications dans la science des données et l'apprentissage automatique.

Théorie de l'homotopie des complexes de chaînes MATH-436: Homotopical algebra

Explore la théorie de l'homotopie des complexes de chaîne, en se concentrant sur les rétractions et les structures de catégorie de modèle.

Algèbre linéaire: formes multilinéaires MATH-110(a): Advanced linear algebra I

Explore les formes multilinéaires dans l'algèbre linéaire, en mettant l'accent sur leurs propriétés et applications.