scholarly journals Spectral gap property and strong ergodicity for groups of affine transformations of solenoids

2018 ◽  
Vol 40 (5) ◽  
pp. 1180-1193
Author(s):  
BACHIR BEKKA ◽  
CAMILLE FRANCINI

Let $X$ be a solenoid, i.e. a compact, finite-dimensional, connected abelian group with normalized Haar measure $\unicode[STIX]{x1D707}$, and let $\unicode[STIX]{x1D6E4}\rightarrow \operatorname{Aff}(X)$ be an action of a countable discrete group $\unicode[STIX]{x1D6E4}$ by continuous affine transformations of $X$. We show that the probability measure preserving action $\unicode[STIX]{x1D6E4}\curvearrowright (X,\unicode[STIX]{x1D707})$ does not have the spectral gap property if and only if there exists a $p_{\text{a}}(\unicode[STIX]{x1D6E4})$-invariant proper subsolenoid $Y$ of $X$ such that the image of $\unicode[STIX]{x1D6E4}$ in $\operatorname{Aff}(X/Y)$ is a virtually solvable group, where $p_{\text{a}}:\operatorname{Aff}(X)\rightarrow \operatorname{Aut}(X)$ is the canonical projection. When $\unicode[STIX]{x1D6E4}$ is finitely generated or when $X$ is the $a$-adic solenoid for an integer $a\geq 1$, the subsolenoid $Y$ can be chosen so that the image $\unicode[STIX]{x1D6E4}$ in $\operatorname{Aff}(X/Y)$ is a virtually abelian group. In particular, an action $\unicode[STIX]{x1D6E4}\curvearrowright (X,\unicode[STIX]{x1D707})$ by affine transformations on a solenoid $X$ has the spectral gap property if and only if $\unicode[STIX]{x1D6E4}\curvearrowright (X,\unicode[STIX]{x1D707})$ is strongly ergodic.

2004 ◽  
Vol 11 (01) ◽  
pp. 79-85 ◽  
Author(s):  
Aleksander Urbański

The concept of the entropy of a doubly stochastic operator was introduced in 1999 by Ghys, Langevin, and Walczak. The idea was developed further by Kamiński and de Sam Lazaro, who also conjectured that the entropy of a convolution operator determined by a probability measure on a compact abelian group is equal to zero. We prove that this is true when the group is connected and the convolution operator is determined by a measure absolutely continuous with respect to the normalized Haar measure. Our result provides also a characterization of the set of doubly stochastic operators with non-zero entropy.


2017 ◽  
Vol 20 (4) ◽  
Author(s):  
Khadijeh Alibabaei

AbstractWe show that the wreath product of a finitely generated abelian group with a polycyclic group is a LERF group. This theorem yields as a corollary that finitely generated free metabelian groups are LERF, a result due to Coulbois. We also show that a free solvable group of class 3 and rank at least 2 does not contain a strictly ascending HNN-extension of a finitely generated group. Since such groups are known not to be LERF, this settles, in the negative, a question of J. O. Button.


1991 ◽  
Vol 43 (1) ◽  
pp. 115-122
Author(s):  
Wolfgang Mutter

In this paper we determine the left ideals in the near-ring Aff(V) of all affine transformations of a vector space V. It is shown that there is a Galois correspondence between the filters of affine subspaces of V and those left ideals of Aff(V) which are not left invariant. In particular, the not left invariant finitely generated left ideals of Aff(V) are precisely the annihilators of the affine subspaces of V. A similar correspondence exists between the filters of linear subspaces of V and the left invariant left ideals of Aff (V). If V is finite-dimensional, then all left ideals of Aff(V) are finitely generated.


2019 ◽  
Vol 41 (2) ◽  
pp. 570-577
Author(s):  
KHOA D. NGUYEN

Let $X$ be a finite-dimensional connected compact abelian group equipped with the normalized Haar measure $\unicode[STIX]{x1D707}$. We obtain the following mean ergodic theorem over ‘thin’ phase sets. Fix $k\geq 1$ and, for every $n\geq 1$, let $A_{n}$ be a subset of $\mathbb{Z}^{k}\cap [-n,n]^{k}$. Assume that $(A_{n})_{n\geq 1}$ has $\unicode[STIX]{x1D714}(1/n)$ density in the sense that $\lim _{n\rightarrow \infty }(|A_{n}|/n^{k-1})=\infty$. Let $T_{1},\ldots ,T_{k}$ be ergodic automorphisms of $X$. We have $$\begin{eqnarray}\frac{1}{|A_{n}|}\mathop{\sum }_{(n_{1},\ldots ,n_{k})\in A_{n}}f_{1}(T_{1}^{n_{1}}(x))\cdots f_{k}(T_{k}^{n_{k}}(x))\stackrel{L_{\unicode[STIX]{x1D707}}^{2}}{\longrightarrow }\int f_{1}\,d\unicode[STIX]{x1D707}\cdots \int f_{k}\,d\unicode[STIX]{x1D707},\end{eqnarray}$$ for any $f_{1},\ldots ,f_{k}\in L_{\unicode[STIX]{x1D707}}^{\infty }$. When the $T_{i}$ are ergodic epimorphisms, the same conclusion holds under the further assumption that $A_{n}$ is a subset of $[0,n]^{k}$ for every $n$. The density assumption on the $A_{i}$ is necessary. Immediate applications include certain Poincaré style recurrence results.


2011 ◽  
Vol 10 (03) ◽  
pp. 377-389
Author(s):  
CARLA PETRORO ◽  
MARKUS SCHMIDMEIER

Let Λ be a commutative local uniserial ring of length n, p be a generator of the maximal ideal, and k be the radical factor field. The pairs (B, A) where B is a finitely generated Λ-module and A ⊆B a submodule of B such that pmA = 0 form the objects in the category [Formula: see text]. We show that in case m = 2 the categories [Formula: see text] are in fact quite similar to each other: If also Δ is a commutative local uniserial ring of length n and with radical factor field k, then the categories [Formula: see text] and [Formula: see text] are equivalent for certain nilpotent categorical ideals [Formula: see text] and [Formula: see text]. As an application, we recover the known classification of all pairs (B, A) where B is a finitely generated abelian group and A ⊆ B a subgroup of B which is p2-bounded for a given prime number p.


2010 ◽  
Vol 17 (spec01) ◽  
pp. 799-802 ◽  
Author(s):  
Mehri Akhavan-Malayeri

Let W = G ≀ H be the wreath product of G by an n-generator abelian group H. We prove that every element of W′ is a product of at most n+2 commutators, and every element of W2 is a product of at most 3n+4 squares in W. This generalizes our previous result.


2017 ◽  
Vol 16 (10) ◽  
pp. 1750200 ◽  
Author(s):  
László Székelyhidi ◽  
Bettina Wilkens

In 2004, a counterexample was given for a 1965 result of R. J. Elliott claiming that discrete spectral synthesis holds on every Abelian group. Since then the investigation of discrete spectral analysis and synthesis has gained traction. Characterizations of the Abelian groups that possess spectral analysis and spectral synthesis, respectively, were published in 2005. A characterization of the varieties on discrete Abelian groups enjoying spectral synthesis is still missing. We present a ring theoretical approach to the issue. In particular, we provide a generalization of the Principal Ideal Theorem on discrete Abelian groups.


2012 ◽  
Vol 14 (03) ◽  
pp. 1250017 ◽  
Author(s):  
LEONARDO CABRER ◽  
DANIELE MUNDICI

An ℓ-groupG is an abelian group equipped with a translation invariant lattice-order. Baker and Beynon proved that G is finitely generated projective if and only if it is finitely presented. A unital ℓ-group is an ℓ-group G with a distinguished order unit, i.e. an element 0 ≤ u ∈ G whose positive integer multiples eventually dominate every element of G. Unital ℓ-homomorphisms between unital ℓ-groups are group homomorphisms that also preserve the order unit and the lattice structure. A unital ℓ-group (G, u) is projective if whenever ψ : (A, a) → (B, b) is a surjective unital ℓ-homomorphism and ϕ : (G, u) → (B, b) is a unital ℓ-homomorphism, there is a unital ℓ-homomorphism θ : (G, u) → (A, a) such that ϕ = ψ ◦ θ. While every finitely generated projective unital ℓ-group is finitely presented, the converse does not hold in general. Classical algebraic topology (à la Whitehead) is combined in this paper with the Włodarczyk–Morelli solution of the weak Oda conjecture for toric varieties, to describe finitely generated projective unital ℓ-groups.


2017 ◽  
Vol 481 ◽  
pp. 327-347 ◽  
Author(s):  
A. Caranti ◽  
F. Dalla Volta

2011 ◽  
Vol 10 (03) ◽  
pp. 475-489 ◽  
Author(s):  
PINAR AYDOĞDU ◽  
A. ÇIĞDEM ÖZCAN ◽  
PATRICK F. SMITH

Let R be a ring. Modules satisfying ascending or descending chain conditions (respectively, acc and dcc) on non-summand submodules belongs to some particular classes [Formula: see text], such as the class of all R-modules, finitely generated, finite-dimensional and cyclic modules, are considered. It is proved that a module M satisfies acc (respectively, dcc) on non-summands if and only if M is semisimple or Noetherian (respectively, Artinian). Over a right Noetherian ring R, a right R-module M satisfies acc on finitely generated non-summands if and only if M satisfies acc on non-summands; a right R-module M satisfies dcc on finitely generated non-summands if and only if M is locally Artinian. Moreover, if a ring R satisfies dcc on cyclic non-summand right ideals, then R is a semiregular ring such that the Jacobson radical J is left t-nilpotent.


Sign in / Sign up

Export Citation Format

Share Document