This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this articlebyintroducing citations to additional sources.
Find sources: "Free product of associative algebras" – news · newspapers · books · scholar · JSTOR (May 2024) |
This article may contain improper references to user-generated content. Please help improve it by removing references to unreliable sources, where they are used inappropriately. (May 2024) (Learn how and when to remove this message)
|
Algebraic structure → Ring theory Ring theory |
---|
Basic concepts Related structures
|
p-adic number theory and decimals
|
Noncommutative algebraic geometry Operator algebra |
|
Inalgebra, 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 productofgroups.
In the category of commutative R-algebras, the free product of two algebras (in that category) 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.
This algebra-related article is a stub. You can help Wikipedia by expanding it. |