For a free product of rings and algebras, see free product of associative algebras.
In mathematics, specifically group theory, the free product is an operation that takes two groups G and H and constructs a new group G ∗ H. The result contains both G and H as subgroups, is generated by the elements of these subgroups, and is the “universal” group having these properties, in the sense that any two homomorphisms from G and H into a group K factor uniquely through a homomorphism from G ∗ H to K. Unless one of the groups G and H is trivial, the free product is always infinite. The construction of a free product is similar in spirit to the construction of a free group (the universal group with a given set of generators).
The free product is the coproduct in the category of groups. That is, the free product plays the same role in group theory that disjoint union plays in set theory, or that the direct sum plays in module theory. Even if the groups are commutative, their free product is not, unless one of the two groups is the trivial group. Therefore, the free product is not the coproduct in the category of abelian groups.
The free product is important in algebraic topology because of van Kampen's theorem, which states that the fundamental group of the union of two path-connected topological spaces whose intersection is also path-connected is always an amalgamated free product of the fundamental groups of the spaces. In particular, the fundamental group of the wedge sum of two spaces (i.e. the space obtained by joining two spaces together at a single point) is, under certain conditions given in the Seifert van-Kampen theorem, the free product of the fundamental groups of the spaces.
Free products are also important in Bass–Serre theory, the study of groups acting by automorphisms on trees. Specifically, any group acting with finite vertex stabilizers on a tree may be constructed from finite groups using amalgamated free products and HNN extensions. Using the action of the modular group on a certain tessellation of the hyperbolic plane, it follows from this theory that the modular group is isomorphic to the free product of cyclic groups of orders 4 and 6 amalgamated over a cyclic group of order 2.
In mathematics, specifically group theory, the freeproduct is an operation that takes two groups G and H and constructs a new group G ∗ H. The result...
In algebra, the freeproduct (coproduct) of a family of associative algebras A i , i ∈ I {\displaystyle A_{i},i\in I} over a commutative ring R is the...
A product sample is a sample of a consumer product that is given to the consumer free of cost so that they may try a product before committing to a purchase...
combinatorial group theory, a normal form for a free group over a set of generators or for a freeproduct of groups is a representation of an element by...
elements of the automorphism group of a free group Normal form for free groups and freeproduct of groups Freeproduct von Dyck, Walther (1882). "Gruppentheoretische...
portmanteau of the words "free" and "premium", is a pricing strategy by which a basic product or service is provided free of charge, but money (a premium)...
In mathematics, specifically in group theory, the direct product is an operation that takes two groups G and H and constructs a new group, usually denoted...
can often define a direct product of objects already known, giving a new one. This induces a structure on the Cartesian product of the underlying sets from...
There are many products based on FreeBSD. Information about these products and the version of FreeBSD they are based on is often difficult to come by...
(2011). He was sponsored by No Comply Skate Shop and briefly received freeproduct from Osiris shoes as a flow-sponsored rider. Amelio at one point solicited...
Avast for Microsoft Windows, macOS, Android, and iOS. Avast offers free and paid products that provide computer security, browser security, antivirus software...
as examples the disjoint union of sets and of topological spaces, the freeproduct of groups, and the direct sum of modules and vector spaces. The coproduct...
a product of groups usually refers to a direct product of groups, but may also mean: semidirect productProduct of group subsets wreath productfree product...
In mathematics, the cross product or vector product (occasionally directed area product, to emphasize its geometric significance) is a binary operation...
of a freeproduct is itself a freeproduct of a free group and of its intersections with the conjugates of the factors of the original freeproduct. After...
which a consumer gets an item for free from a participating merchant in exchange for buying or trying out another product or service from a TrialPay advertiser...
billion and launched an enterprise product. In December 2019, Canva announced Canva for Education, a freeproduct for schools and other educational institutions...
multiplication. Freeproducts One can form a freeproduct of R-algebras in a manner similar to the freeproduct of groups. The freeproduct is the coproduct...
Victims are phished for their personal information and the promised freeproduct is never delivered. In its 2019 "Who Has Your Back?" report, the Electronic...
Karma's services are free to consumers. Revenue from targeted advertisements for financial products offsets the costs of its freeproducts and services. Credit...
those products — which is exactly what Impressions, an advertising and marketing company, was looking for.": 65 Inspired by Free Comic Book Day, Free RPG...
West which also did not test for SLS. EFP had removed its claims of SLS-freeproduct from its own website in late 2015. In April 2016, Good Morning America...
Product Red is a licensed brand by the company Red that seeks to engage the private sector in raising awareness and funds to help eliminate HIV/AIDS in...
In mathematics, a product of rings or direct product of rings is a ring that is formed by the Cartesian product of the underlying sets of several rings...