Somme directe

Résumé

En mathématiques, et plus précisément en algèbre, le terme de somme directe désigne des ensembles munis de certaines structures, souvent construits à partir du produit cartésien d'autres ensembles du même type, et vérifiant la propriété universelle de la somme (ou « coproduit ») au sens des catégories. Sommes directes de groupes abéliens Produit direct (groupes)#Somme directe interne d'une famille de sous-groupes abéliensSomme directe interne de sous-groupes abéliens Somme directe interne de sous-espaces vectoriels Somme directe de deux sous-espaces vectoriels Soient F et F deux sous-espaces vectoriels d'un espace vectoriel E. On dit que F et F sont en somme directe si, pour tout élément u de la somme F + F, il existe un unique couple (u, u) de F×F tel que u = u + u. En d'autres termes, F et F sont en somme directe si la décomposition de tout élément de F + F en somme d'un élément de F et d'un élément de F est unique. On dit aussi dans ce cas que l

Source officielle

https://fr.wikipedia.org/wiki/Somme_directe

À 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 (8)

Publications associées

Chargement

Personnes associées

Chargement

Unités associées

Chargement

Concepts associés (43)

Concepts associés

Chargement

Cours associés (9)

Cours associés

Chargement

Séances de cours associées (21)

Séances de cours associées

Chargement

Finite metacyclic groups as active sums of cyclic subgroups

Nadia Romero Romero

The notion of active sum provides an analogue for groups of what the direct sum is for abelian groups. One natural question then is which groups are the active sum of a family of cyclic subgroups. Many groups have been found to give a positive answer to this question, while the case of finite metacyclic groups remained unknown. In this note we show that every finite metacyclic group can be recovered as the active sum of a discrete family of cyclic subgroups.

Elsevier2014

Chargement

Let k be an algebraically closed field of characteristic 2. We prove that the restricted nilpotent commuting variety C, that is the set of pairs of (n x n)-matrices (A, B) such that A(2) = B-2 = [A, B] = 0, is equidimensional. C can be identified with the 'variety of n-dimensional modules' for Z/2Z x Z/2Z, or equivalently, for k[X, Y]/(X-2, Y-2). On the other hand, we provide an example showing that the restricted nilpotent commuting variety is not equidimensional for fields of characteristic > 2. We also prove that if e(2) = 0 then the set of elements of the centralizer of e whose square is zero is equidimensional. Finally, we express each irreducible component of C as a direct sum of indecomposable components of varieties of Z/2Z x Z/2Z-modules. (c) 2007 Elsevier Inc. All rights reserved.

Elsevier2007

Chargement

Why H Z-algebra Spectra are Differential Graded Algebras?

Varvara Karpova

In homological algebra, to understand commutative rings R, one studies R-modules, chain complexes of R-modules and their monoids, the differential graded R-algebras. The category of R-modules has a rich structure, but too rigid to efficiently work with homological invariants and homotopy invariant properties. It appears more appropriate to operate in the derived category D(R), which is the homotopy category of differential graded R-modules. Algebra of symmetric spectra offers a generalization of homological algebra. In this frame, spectra are objects that take the place of abelian groups; in particular, the analogue of the initial ring Z is the sphere spectrum S. Tensoring over S endows the category of spectra with a symmetric monoidal smash product, analogous to the tensor product of abelian groups. Thus, spectra are S-modules, and ring spectra, which extend the notion of rings, are the S-algebras. To any discrete ring R, one can associate the Eilenberg-Mac Lane ring spectrum HR, which is commutative if R is.

2010

Chargement