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

From MaRDI portal





scientific article; zbMATH DE number 2212223
Language Label Description Also known as
default for all languages
No label defined
    English
    On approximation of topological groups by finite quasigroups and finite semigroups
    scientific article; zbMATH DE number 2212223

      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