A BIJECTION OF INVARIANT MEANS ON AN AMENABLE GROUP WITH THOSE ON A LATTICE SUBGROUP

Suppose G is an amenable locally compact group with lattice subgroup $\Gamma $ . Grosvenor [‘A relation between invariant means on Lie groups and invariant means on their discrete subgroups’, Trans. Amer. Math. Soc.288(2) (1985), 813–825] showed that there is a natural affine injection $\iota : {\text {LIM}}(\Gamma )\to {\text {TLIM}}(G)$ and that $\iota $ is a surjection essentially in the case $G={\mathbb R}^d$ , $\Gamma ={\mathbb Z}^d$ . In the present paper it is shown that $\iota $ is a surjection if and only if $G/\Gamma $ is compact.

On generalized subnormal subgroups of finite metanilpotent groups

In this paper, the description of hereditary saturated lattice formations and lattice subgroup functors in the class of all finite metanilpotent groups was found.

On the lattice of subgroups of the lamplighter group

The techniques of modules and actions of groups on rooted trees are applied to study the subgroup structure and the lattice subgroup of lamplighter type groups of the form ℒn,p = (ℤ/pℤ)n ≀ ℤ for n ≥ 1 and p prime. We completely characterize scale invariant structures on ℒ1,2. We determine all points on the boundary of binary tree (on which ℒ1,p naturally acts in a self-similar manner) with trivial stabilizer. We prove the congruence subgroup property (CSP) and as a consequence show that the profinite completion [Formula: see text] of ℒ1,p is a self-similar group generated by finite automaton. We also describe the structure of portraits of elements of ℒ1,p and [Formula: see text] and show that ℒ1,p is not a sofic tree shift group in the terminology of [T. Ceccherini-Silberstein, M. Coornaert, F. Fiorenza and Z. Sunic, Cellular automata between sofic tree shifts, Theor. Comput. Sci.506 (2013) 79–101; A. Penland and Z. Sunic, Sofic tree shifts and self-similar groups, preprint].

On the entropy of actions of nilpotent Lie groups and their lattice subgroups

We consider a natural class $\mathcal {ULG}$ of connected, simply connected nilpotent Lie groups which contains ℝn, the group $\mathcal {UT}_n(\mathbb {R})$ of all triangular unipotent matrices over ℝ and many of its subgroups, and is closed under direct products. If $G \in \mathcal {ULG}$, then $\Gamma _1 = G\cap \mathcal {UT}_n(\mathbb {Z})$ is a lattice subgroup of G. We prove that if $G \in \mathcal {ULG}$ and Γ is a lattice subgroup of G, then a free ergodic measure-preserving action T of G on a probability space (X,ℬ,μ) has completely positive entropy (CPE) if and only if the restriction TΓ of T to Γ has CPE. We can deduce from this the following version of a well-known conjecture in this case: the action T has CPE if and only if T is uniformly mixing. Moreover, such T has a Lebesgue spectrum with infinite multiplicity. We further consider an ergodic free action T with positive entropy and suppose TΓ is ergodic for any lattice subgroup Γ of G. This holds, in particular, if the spectrum of T does not contain a discrete component. Then we show the Pinsker algebra Π(T) of T exists and coincides with the Pinsker algebras Π(TΓ) of TΓ for any lattice subgroup Γ of G. In this case, T always has Lebesgue spectrum with infinite multiplicity on the space ℒ20(X,μ)⊖ℒ20(Π(T)) , where ℒ20(Π(T)) contains all Π(T) -measurable functions from ℒ20(X,μ) . To prove these results, we use the following formula: h(T)=∣G(Γ)∣−1hK (TΓ) , where h(T) is the Ornstein–Weiss entropy of T, hK (TΓ) is a Kolmogorov–Sinai entropy of TΓ, and the number ∣G(TΓ)∣ is the Haar measure of the compact subset G(Γ) of G. In particular, h(T)=hK (TΓ1) , and hK (TΓ1)=∣G(Γ)∣−1hK (TΓ) . The last relation is an analogue of the Abramov formula for flows.

Lattice subgroups of free congruence groups

Let Г(1) denote the homogeneous modular group of 2 × 2 matrices with integral entries and determinant 1. Let (1) be the inhomogeneous modular group of 2 × 2 integral matrices of determinant 1 in which a matrix is identified with its negative. (N), the principal congruence subgroup of level N, is the subgroup of (1) consisting of all T ∈ (1) for which T ≡ ± I (mod N), where N is a positive integer and I is the identity matrix. A subgroup of (1) is said to be a congruence group of level N if contains (N) and N is the least such integer. Similarly, we denote by Г(N) the principal congruence subgroup of level N of Г(1), consisting of those T∈(1) for which T ≡ I (mod N), and we say that a sub group of Г(1) is a congruence group of level N if contains Г (N) and N is minimal with respect to this property. In a recent paper [9] Rankin considered lattice subgroups of a free congruence subgroup of rank n of (1). By a lattice subgroup of we mean a subgroup of which contains the commutator group . In particular, he showed that, if is a congruence group of level N and if is a lattice congruence subgroup of of level qr, where r is the largest divisor of qr prime to N, then N divides q and r divides 12. He then posed the problem of finding an upper bound for the factor q. It is the purpose of this paper to find such an upper bound for q. We also consider bounds for the factor r.