Embedding arbitrary algebras in groups
type: Item
instance of: scholarly article
title: Embedding arbitrary algebras in groups
zbMATH Open document ID: 0607.08003
DOI: 10.1007/BF01229964
author: George M. Bergman
published in: Algebra Universalis
publication date: 1988-01-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 08A40
Mathematics Subject Classification ID: 08A30
Mathematics Subject Classification ID: 20A05
zbMATH DE Number: 3981241
zbMATH Keywords: finite family of finitary operations
zbMATH Keywords: group-theoretic words with constants
zbMATH Keywords: group structure
zbMATH Keywords: functoriality
zbMATH Keywords: finiteness conditions
MaRDI profile type: Publication
cites work: Q3681018
cites work: Groups, trees and projective modules
cites work: Embedding Theorems for Groups
cites work: A Property of Finite Simple Non-Abelian Groups
cites work: Hyperidentities and hypervarieties
cites work: Some Universal Sets of Terms
Recommended article: Q3364540
Recommended article: On algebraic embeddings of rings into groups
Recommended article: Arithmetic embeddings of algebraic groups
Recommended article: Q4663640
Recommended article: Algebraic monoids and group embeddings
Recommended article: Embeddings of Hecke algebras in group algebras
Recommended article: Q4272226
Recommended article: GENERALISING GROUP ALGEBRAS
Recommended article: Embedding group algebras into finite von Neumann regular rings
Recommended article: Embedding Theorems for Groups
description: scientific article; zbMATH DE number 3981241