Search results
Results from the WOW.Com Content Network
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 ...
In mathematics, particularly in combinatorial group theory, a normal form for a free group over a set of generators or for a free product of groups is a representation of an element by a simpler element, the element being either in the free group or free products of group. In case of free group these simpler elements are reduced words and in ...
The Zappa–Szép product of groups is a generalization that, in its internal version, does not assume that either subgroup is normal. There is also a construction in ring theory, the crossed product of rings. This is constructed in the natural way from the group ring for a semidirect product of groups.
The free functor F : Set → Grp (which assigns to every set S the free group over S) is left adjoint to forgetful functor U and is, therefore, cocontinuous. This explains why the free product of two free groups G and H is the free group generated by the disjoint union of the generators of G and H.
Grushko's theorem is, in a sense, a starting point in Dunwoody's theory of accessibility for finitely generated and finitely presented groups. Since the ranks of the free factors are smaller than the rank of a free product, Grushko's theorem implies that the process of iterated splitting of a finitely generated group G as a free product must ...
Since the edge groups of Z are trivial, it follows that H is equal to the free product of the vertex groups of Z and the free group F(X) which is the fundamental group (in the standard topological sense) of the underlying graph Z of Z. This implies the conclusion of the Kurosh subgroup theorem.
In group theory, the wreath product is a special combination of two groups based on the semidirect product. It is formed by the action of one group on many copies of another group, somewhat analogous to exponentiation .
The nLab is a wiki for research-level notes, expositions and collaborative work, including original research, in mathematics, physics, and philosophy, with a focus on methods from type theory, category theory, and homotopy theory.