On approximation of topological groups by finite quasigroups and finite semigroups (Q2567485)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On approximation of topological groups by finite quasigroups and finite semigroups
scientific article

    Statements

    On approximation of topological groups by finite quasigroups and finite semigroups (English)
    0 references
    0 references
    0 references
    5 October 2005
    0 references
    Let \(G\) be a locally compact group, \(C\subset G\) a compact subset, \(U\subset G\) a relatively compact neighborhood of the unity in \(G\), and \((H,\odot)\) a finite algebra with a binary operation. The following terminology is used: (1) a \(U\)-grid of \(C\), if \(C\subset MU\) for a subset \(M\subset G\); (2) a \((C, U)\)-homomorphism, if \(\forall x,y\in H,\;(j(x),j(y), f(x)\cdot j(y)\in C)\Rightarrow(j(x\odot y)\in j(x) j(y)U)\); (3) the pair \(\langle H, j\rangle\) is a \((C, U)\)-approximation of \(G\), if \(j(H)\) is a \(U\)-grid of \(C\) and \(j: H\to G\) is a \((C, U)\)-homomorphism; (4) \(G\) is approximable by the systems from \(K\), a class of finite algebras, if for any compact set \(C\subset G\) and for any neighborhood \(U\), there is a \((C, U)\)-approximation \(\langle H, j\rangle\) of \(G\), such that \(H\in K\) and \(j\) is an injection. The authors consider necessary and sufficient conditions for a locally compact group to be approximable by more general finite algebraic systems, finite groups, and they obtain the following important results: 1. A locally compact group is approximable by finite quasigroups if and only if it is unimodular. 2. Any locally compact group \(G\) is approximable by \(l\)-finite quasigroups (\(r\)-quasigroups). 3. A locally compact group is approximable by finite semigroups if and only if it is approximable by finite groups.
    0 references
    \(U\)-grid of \(C\)
    0 references
    pair \(\langle H,j\rangle\)
    0 references
    finite quasigroup
    0 references
    finite semigroup
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references