Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.
AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.
In algebra, the free product (coproduct) of a family of associative algebras over a commutative ring R is the associative algebra over R that is, roughly, defined by the generators and the relations of the 's. The free product of two algebras A, B is denoted by A ∗ B. The notion is a ring-theoretic analog of a free product of groups. In the , the free product of two algebras (in that ) is their tensor product. We first define a free product of two algebras. Let A and B be algebras over a commutative ring R. Consider their tensor algebra, the direct sum of all possible finite tensor products of A, B; explicitly, where We then set where I is the two-sided ideal generated by elements of the form We then verify the universal property of coproduct holds for this (this is straightforward.) A finite free product is defined similarly.