Embedding arbitrary algebras in groups
It is shown that there exists a group-theoretic word w in two variables and some constants (namely, the word \([a^ x,b^{x^{-1}}]\) in variables a, b and a constant x) which is universal in the sense that for any set A and binary operation \(f: A\times A\to A\), one can embed A in the underlying set of a group G, and choose values in G for the constants of w so that \(w(a,b)=f(a,b)\) for all a,b\(\in A\); and that here if A is finite, G can be taken finite as well. It is deduced that any finite family of finitary operations on a set A can be simultaneously represented by a family of group-theoretic words with constants, whose forms depend only on the system of arities of the operations. On the other hand, it is shown that such a representation of a binary operation is not always possible if G is required to be solvable. A similar construction is given satisfying the additional condition that the group structure on G extends any prescribed group structure on A. These constructions can be made functorial if one drops the restriction that G be finite when A is. Whether the functoriality and finiteness conditions can be obtained simultaneously remains an open question.
- scientific article; zbMATH DE number 4218336
- On algebraic embeddings of rings into groups
- Arithmetic embeddings of algebraic groups
- scientific article; zbMATH DE number 2152041
- Algebraic monoids and group embeddings
- Embeddings of Hecke algebras in group algebras
- scientific article; zbMATH DE number 468791
- GENERALISING GROUP ALGEBRAS
- Embedding group algebras into finite von Neumann regular rings
- Embedding Theorems for Groups
- Verbal definitions of operations on groups
- Wreath products of algebras: Generalizing the Krohn-Rhodes theorem to arbitrary algebras
- Embedding groups into distributive subsets of the monoid of binary operations
- Group Embeddings with Algorithmic Properties
- Embedding and representation theorems for clones and varieties
- scientific article; zbMATH DE number 468791 (Why is no real title available?)
- scientific article; zbMATH DE number 2152041 (Why is no real title available?)
- scientific article; zbMATH DE number 3395779 (Why is no real title available?)
- Embeddings of universal algebras into simple ones
This page was built for publication: Embedding arbitrary algebras in groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1085190)
