Tychonoff property for linear groups (Q1272284): Difference between revisions

Let \(G\) be a group. The notation \(G = FH\) means that G is a semidirect product of its subgroup \(F\) and its normal subgroup\(H\). If \(H\) is a subgroup of a topological group \(G\) then \(cl(H)\) denotes the closure H. The vector space of continuous additive characters of \(G\) is denoted by \(X(G)\). Let L be a locally convex linear topological space, \(\Phi: L\to R\) a linear continuous functional. Then \(K\) is a convex cone with compact base if \(B = K \cap (\Phi^{-1})(1)\) is a convex compact set and \(K = (R^+)B\). A topological group \(G\) is said to be a Tychonoff group if for any linear continuous action on the locally convex linear topological space \(L\) each \(G\)-invariant cone \(K\) of \(L\) with compact base includes a \(G\)-invariant ray \((R^+)x\). The main result of this paper is Theorem 1. Let \(G\) be a polycyclic group, \(H\) a maximal normal nilpotent subgroup of \(G\). Then the following conditions are equivalent: (1) \(G\) is a Tychonoff group; (2) \(G\) does not admit a homomorphism \(\phi\) into a group of the form \(O(n,R)(R^n)\) such that an intersection of \(cl(\phi(G))\) with \(R^n\) is a uniform subgroup and does not entirely lie in \(R^n\); (3) the center of the factor group \(F = G/H\) has finite index in \(F\) and any \(F\)-orbit in the vector space \(X(H)\) is either trivial or unbounded.