Related papers: $\R^{n} \rtimes G(n)$ is Algebraically Determined
A discrete group which admits a faithful, finite dimensional, linear representation over a field $\mathbb F$ of characteristic zero is called linear. This note combines the natural structure of semi-direct products with work of A. Lubotzky…
Let $\text{GL}(n) = \text{GL}(n, {\mathbb C})$ denote the complex general linear group and let $G \subset \text{GL}(n)$ be one of the classical complex subgroups $\text{O}(n)$, $\text{SO}(n)$, and $\text{Sp}(2k)$ (in the case $n = 2k$). We…
Let $\Gamma$ be a countable discrete group, and let $\pi\colon \Gamma\to {\rm{GL}}(H)$ be a representation of $\Gamma$ by invertible operators on a separable Hilbert space $H$. We show that the semidirect product group…
The subject matter of this paper is the geometry of the affine group over the integers, $\mathsf{GL}(n,\mathbb{Z})\ltimes \mathbb{Z}^n$. Turing-computable complete $\mathsf{GL}(n,\mathbb{Z})\ltimes \mathbb{Z}^n$-orbit invariants are…
Let G be a Roelcke-precompact non-archimedean Polish group, B(G) the algebra of matrix coefficients of G arising from its continuous unitary representations. The Gel'fand spectrum H(G) of the norm closure of B(G) is known as the Hilbert…
We complement the characterization of the graph products of cyclic groups $G(\Gamma, \mathfrak{p})$ admitting a Polish group topology of [9] with the following result. Let $G = G(\Gamma, \mathfrak{p})$, then the following are equivalent:…
We present the (Lascar) Galois group of any countable theory as a quotient of a compact Polish group by an $F_\sigma$ normal subgroup: in general, as a topological group, and under NIP, also in terms of Borel cardinality. This allows us to…
We give a complete characterization of the graph products of cyclic groups admitting a Polish group topology, and show that they are all realizable as the group of automorphisms of a countable structure. In particular, we characterize the…
It is shown that a topological group G is topologically isomorphic to the isometry group of a (complete) metric space iff G coincides with its G-delta-closure in the Rajkov completion of G (resp. if G is Rajkov-complete). It is also shown…
A Lie group G is called a trace class group if for every irreducible unitary representation R of G and every C-infinity function f with compact support the operator R(f) is of trace class. In this note we prove that the semidirect product…
The power semigroup of a semigroup $ S $ is the semigroup of all nonempty subsets of $ S $ equipped with the naturally defined multiplication. A class $\mathcal{K} $ of semigroups is globally determined if any two members of $ \mathcal{K} $…
A finitely presented, torsion free, abelian-by-cyclic group can always be written as an ascending HNN extension Gamma_M of Z^n, determined by an n x n integer matrix M with det(M) \ne 0. The group Gamma_M is polycyclic if and only if…
For a class of groups $G$ over a field $\mathbb{F}$, including certain Lie groups, Algebraic groups and finite groups, we develop a general method to determine rational and real elements, thereby unifying earlier group-specific results into…
The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},\ldots , a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}\cdots a_{n} =a_{\sigma (1)} a_{\sigma (2)} \cdots a_{\sigma (n)}$, where…
In this work, we present algebraic results concerning the combined matrices $\mathcal{C}(A)$, where the entries of $A$ belong to a number field $K$ and $A$ is a non-singular matrix. In other words, $A$ is a $n\times n$ matrix belonging to…
Let $M_n(K)$ be the algebra of $n \times n$ matrix over an infinite integral domain $K$. Let $gl_n(K)$ be the Lie algebra of $n \times n$ matrix with the usual Lie product over $K$. Let $G = \{g_1,\ldots,g_n\}$ be a group of order $n$. We…
We give strong necessary conditions on the admissibility of a Polish group topology for an arbitrary graph product of groups $G(\Gamma, G_a)$, and use them to give a characterization modulo a finite set of nodes. As a corollary, we give a…
An oscillator group $G$ is a semidirect product of a Heisenberg group with a one-parameter group. In this article we construct Olshanski semigroups for infinite-dimensional oscillator groups. These are complex involutive semigroups which…
We introduce the first provably efficient algorithm to check if a finitely generated subgroup of an almost simple semi-simple group over the rationals is Zariski-dense. We reduce this question to one of computing Galois groups, and to this…
A new matrix product, called dimension-keeping semi-tensor product (DK-STP), is proposed. Under DK-STP, the set of $m\times n$ matrices becomes a semi-group $G({m\times n},\mathbb{F})$, and a ring, denoted by $R(m\times n,\mathbb{F})$.…