A set represented as the set-theoretic union of a family of algebraic systems (cf. Algebraic system) of a given class with intersections , where for all the intersection
is non-empty and is a subsystem of each of the systems . If there exists a system in the class containing all () as subsystems, then says one that the amalgam is imbeddable in the system .
An amalgam of two groups and, in general, any amalgam of groups , in which all intersections () coincide and are equal to , is always imbeddable in a group, e.g. in the free product of the groups () with the common subgroup . There are, however, amalgams of groups which are not imbeddable in a group. (For conditions for imbeddability of amalgams of groups in a group see ; for imbeddability of amalgams of semi-groups in a semi-group see ). See also Amalgam of groups.
Let be the class of all algebras over a given field or the class of commutative, anti-commutative or Lie algebras over a field . An amalgam of -algebras with identical intersections (for all ) is imbeddable in the -free product of these algebras with the common subalgebra . It has been shown  that an amalgam of associative skew-fields with identical intersections () is imbeddable in an associative skew-field.
|||A.G. Kurosh, "The theory of groups" , 2 , Chelsea (1960) pp. 33 (Translated from Russian)|
|||A.H. Clifford, G.B. Preston, "Algebraic theory of semi-groups" , 2 , Amer. Math. Soc. (1967)|
|||A.I. Shirshov, "On a hypothesis in the theory of Lie algebras" Sibirsk. Mat. Zh. , 3 : 2 (1962) pp. 297–301 (In Russian)|
|||P.M. Cohn, "The embedding of firs in skew fields" Proc. London Math. Soc. (3) , 23 (1971) pp. 193–213|
The amalgamation problem for a class of algebraic systems is generally understood to mean the problem of imbedding an amalgam of two systems, as defined above, in a system of the class. As mentioned above, the amalgamation problem for groups is solvable, but for other classes it can be an interesting and important question. E.g., it has been shown [a3], [a4] that the amalgamation problem for various classes of lattices is closely related to the interpolation problem in logic.
|[a1]||H. Neumann, "Generalized free products with amalgamated subgroups" Amer. J. Math. , 70 (1948) pp. 590–625|
|[a2]||H. Neumann, "Generalized free products with amalgamated subgroups" Amer. J. Math. , 71 (1949) pp. 491–540|
|[a3]||L.L. Maksimova, "Craig's interpolation problem and amalgamable varieties" Soviet Math. Dokl. , 18 (1977) pp. 1550–1553|
|[a4]||A.M. Pitts, "Amalgamation and interpolation in the category of Heyting algebras" J. Pure Appl. Alg. , 29 (1983) pp. 155–165|
Amalgam. L.A. Bokut'D.M. Smirnov (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Amalgam&oldid=17220