Le produit cartésien d'une famille de structures algébriques (modules, groupes, anneaux) muni d'opérations définies composante par composante, constitué de tous les n-uplets sans contrainte de finitude ; c'est le produit catégorique.

Principe

Caractérisé par la propriété universelle du produit : les applications vers le produit correspondent à des familles d'applications vers chaque facteur, avec les projections canoniques du produit vers chaque composante.

Démonstration

Le produit direct de deux groupes abéliens A et B est A×B muni de l'addition (a1,b1)+(a2,b2)=(a1+a2,b1+b2) ; un homomorphisme X→A×B équivaut à un couple d'homomorphismes X→A et X→B obtenus par composition avec les projections.

Mauvaise application

Employer le produit direct comme s'il était une somme directe pour des familles infinies ou supposer des propriétés comme la décomposition à support fini ; les calculs d'espace dual et les complétions topologiques diffèrent fortement entre produit et somme.

Conséquence

Permet de considérer simultanément de nombreux facteurs, forme des limites dans les catégories algébriques, et donne des produits de modules ou groupes qui conservent les projections et maintiennent de nombreuses propriétés structurelles composante par composante.

Inversion

Passer à la somme directe impose la contrainte de support fini et fournit un coproduit plutôt qu'un produit ; les propriétés de mappage passent des projections aux injections et modifient le comportement des duaux.

Limite

S'applique dans les catégories algébriques usuelles ; lorsque des structures additionnelles existent (topologie, graduations), le produit algébrique peut nécessiter une complétion ou ne pas refléter la continuité ou les restrictions de graduation souhaitées.

Tension sémantique

Souvent confondu avec la somme directe externe pour des familles finies et avec des constructions tensoriales ; le produit contient tous les tuples, tandis que d'autres constructions imposent finitude, combinaisons linéaires ou quotients.

Synthèse

Le produit direct est l'assemblage cartésien sans restriction des facteurs algébriques avec opérations composantes, représentant le produit catégorique et contrastant avec le coproduit à support fini donné par la somme directe.