Torsion-free constructive nilpotent <Emphasis Type="Italic">R</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-groups

We consider a torsion-free nilpotent R _p -group, the p-rank of whose quotient by the commutant is equal to 1 and either the rank of the center by the commutant is infinite or the rank of the group by the commutant is finite. We prove that the group is constructivizable if and only if it is isomorphic to the central extension of some divisible torsion-free constructive abelian group by some torsion-free constructive abelian R _p -group with a computably enumerable basis and a computable system of commutators. We obtain similar criteria for groups of that type as well as divisible groups to be positively defined. We also obtain sufficient conditions for the constructivizability of positively defined groups.     

Cartan Subalgebras in C*-Algebras of Haus dorff étale Groupoids

The reduced C*-algebra of the interior of the isotropy in any Hausdorff étale groupoid G embeds as a C*-subalgebra M of the reduced C*-algebra of G. We prove that the set of pure states of M with unique extension is dense, and deduce that any representation of the reduced C*-algebra of G that is injective on M is faithful. We prove that there is a conditional expectation from the reduced C*-algebra of G onto M if and only if the interior of the isotropy in G is closed. Using this, we prove that when the interior of the isotropy is abelian and closed, M is a Cartan subalgebra. We prove that for a large class of groupoids G with abelian isotropy—including all Deaconu–Renault groupoids associated to discrete abelian groups—M is a maximal abelian subalgebra. In the specific case of k-graph groupoids, we deduce that M is always maximal abelian, but show by example that it is not always Cartan.     

Abelian Groups With Monomorphisms Invariant With Respect to Epimorphisms

If for any injective endomorphism α and surjective endomorphism β of an abelian group there exists its endomorphism γ such that βα = αγ (respectively, αβ = γα), then we say that the group possesses the R-property (respectively, the L-property). We show that if a reduced torsionfree group possesses the R-property or the L-property, then the endomorphism ring of the group is normal. We describe divisible groups and direct sums of cyclic groups possessing the R-property or the L-property.     

Modules with absolute endomorphism rings

Eklof and Shelah [8] call an abelian group absolutely indecomposable if it is directly indecomposable in every generic extension of the universe. More generally, we say that an R-module is absolutely rigid if its endomorphism ring is just the ring of scalar multiplications by elements of R in every generic extension of the universe. In [8] it is proved that there do not exist absolutely rigid abelian groups of size ≥ κ(ω), where κ(ω) is the first ω-Erd?s cardinal (for its definition see the introduction). A similar result holds for rigid systems of abelian groups. On the other hand, recently Göbel and Shelah [15] proved that for modules of size < κ(ω) this phenomenon disappears. Their result on R _ω -modules (i.e. on R-modules with countably many distinguished submodules) that establishes the existence of ‘well-behaving’ fully rigid systems of abelian groups of large sizes < κ(ω) will be extended here to a large class of R-modules by proving the existence of modules of any sizes < κ(ω) with endomorphism rings which are absolute. In order to cover rings as general as possible, we utilize a method developed by Brenner, Butler and Corner (see [2, 3, 5]) to reduce the number of distinguished submodules required in the construction from ?₀ to five.We give several applications of our results. They include modules over domains with four pairwise comaximal prime elements, and modules over quasi-local rings whose completions contain at least five algebraically independent elements.     

Arbitrary torsion classes and almost free abelian groups

Using the set theoretical principle ? for arbitrary large cardinals κ, arbitrary large strongly κ-free abelian groupsA are constructed such that Hom(A, G)={0} for all cotorsion-free groupsG with |G|<κ. This result will be applied to the theory of arbitrary torsion classes for Mod-Z. It allows one, in particular, to prove that the classF of cotorsion-free abelian groups is not cogenerated by aset of abelian groups. This answers a conjecture of Göbel and Wald positively. Furthermore, arbitrary many torsion classes for Mod-Z can be constructed which are not generated or not cogenerated by single abelian groups.     

Abelian Groups With Sufficiently <Emphasis Type="Italic">π</Emphasis>-Regular Endomorphism Ring

The notion of π-regular endomorphism ring of an abelian group, which generalizes the notion of regular endomorphism ring, was introduced in papers of L. Fuchs and K. Rangaswamy. They described periodic abelian groups with π-regular endomorphism ring and found necessary conditions for an abelian group to have π-regular endomorphism ring. In this paper, we study abelian groups with sufficiently π-regular endomorphism ring, which form a subclass of the class of abelian groups with π-regular endomorphism ring, and find necessary and sufficient conditions for an abelian group to have sufficiently π-regular endomorphism ring.     

Homoclinic points and isomorphism rigidity of algebraic ℤ<Superscript><Emphasis Type="Italic">d</Emphasis></Superscript>-actions on zero-dimensional compact abelian groups

Letd>1, and letα andβ be mixing ? ^d -actions by automorphisms of zero-dimensional compact abelian groupsX andY, respectively. By analyzing the homoclinic groups of certain sub-actions ofα andβ we prove that, if the restriction ofα to some subgroup Γ ? ? ^d of infinite index is expansive and has completely positive entropy, then every measurable factor mapφ: (X, α)→(Y, β) is almost everywhere equal to an affine map. The hypotheses of this result are automatically satisfied if the actionα contains an expansive automorphismα ⁿ ,n ∈ ? ^d , or ifα arises from a nonzero prime ideal in the ring of Laurent polynomials ind variables with coefficients in a finite prime field. Both these corollaries generalize the main theorem in [9]. In several examples we show that this kind of isomorphism rigidity breaks down if our hypotheses are weakened.     

Schur multipliers and the Lazard correspondence

Let G be a finite p-group of nilpotency class less than p?1, and let L be the Lie ring corresponding to G via the Lazard correspondence. We show that the Schur multipliers of G and L are isomorphic as abelian groups and that every Schur cover of G is in Lazard correspondence with a Schur cover of L. Further, we show that the epicenters of G and L are isomorphic as abelian groups. Thus the group G is capable if and only if the Lie ring L is capable.     

Interpretable groups in Mann pairs

In this paper, we study an algebraically closed field \(\Omega \) expanded by two unary predicates denoting an algebraically closed proper subfield k and a multiplicative subgroup \(\Gamma \). This will be a proper expansion of algebraically closed field with a group satisfying the Mann property, and also pairs of algebraically closed fields. We first characterize the independence in the triple \((\Omega , k, \Gamma )\). This enables us to characterize the interpretable groups when \(\Gamma \) is divisible. Every interpretable group H in \((\Omega ,k, \Gamma )\) is, up to isogeny, an extension of a direct sum of k-rational points of an algebraic group defined over k and an interpretable abelian group in \(\Gamma \) by an interpretable group N, which is the quotient of an algebraic group by a subgroup \(N_1\), which in turn is isogenous to a cartesian product of k-rational points of an algebraic group defined over k and an interpretable abelian group in \(\Gamma \).     

Roots of unity and torsion points of abelian varieties

We answer a question raised by Hindry and Ratazzi concerning the intersection between cyclotomic extensions of a number field K and extensions of K generated by torsion points of an abelian variety over K. We prove that the property called \((\mu )\) in Hindry and Ratazzi (J Ramanujan Math Soc 25(1):81–111, 2010) holds for any abelian variety, while the same is not true for the stronger version of the property introduced in Hindry and Ratazzi (J Inst Math Jussieu 11(1):27–65, 2012).     

Additive bases in groups

We study the problem of removing an element from an additive basis in a general abelian group. We introduce analogues of the classical functions X, S and E (defined in the case of ?) and obtain bounds on them. Our estimates on the functions S _G and E _G are valid for general abelian groups G while in the case of X _G we show that distinct types of behaviours may occur depending on G.     

Algebraic games—playing with groups and rings

Two players alternate moves in the following impartial combinatorial game: Given a finitely generated abelian group A, a move consists of picking some \(0 \ne a \in A\). The game then continues with the quotient group \(A/\langle a \rangle \). We prove that under the normal play rule, the second player has a winning strategy if and only if A is a square, i.e. \(A \cong B \times B\) for some abelian group B. Under the misère play rule, only minor modifications concerning elementary abelian groups are necessary to describe the winning situations. We also compute the nimbers, i.e. Sprague–Grundy values of 2-generated abelian groups. An analogous game can be played with arbitrary algebraic structures. We study some examples of non-abelian groups and commutative rings such as R[X], where R is a principal ideal domain.     

On the Structure of Medial Divisible <Emphasis Type="Italic">n</Emphasis>-Ary Groupoids

It is proved that a finitely generated medial divisible n-ary groupoid is a medial n-ary quasigroup, and each medial divisible n-ary groupoid is a homomorphic image of a medial n-ary quasigroup.     

Triviality of Iwasawa module associated to some abelian fields of prime conductors

Let p be an odd prime number and \(\ell \) an odd prime number dividing \(p-1\). We denote by \(F=F_{p,\ell }\) the real abelian field of conductor p and degree \(\ell \), and by \(h_F\) the class number of F. For a prime number \(r \ne p,\,\ell \), let \(F_{\infty }\) be the cyclotomic \(\mathbb {Z}_r\)-extension over F, and \(M_{\infty }/F_{\infty }\) the maximal pro-r abelian extension unramified outside r. We prove that \(M_{\infty }\) coincides with \(F_{\infty }\) and consequently \(h_F\) is not divisible by r when r is a primitive root modulo \(\ell \) and r is smaller than an explicit constant depending on p.     

On integral Cayley sum graphs

Let S be a subset of a finite abelian group G. The Cayley sum graph Cay⁺(G, S) of G with respect to S is a graph whose vertex set is G and two vertices g and h are joined by an edge if and only if g + h ∈ S. We call a finite abelian group G a Cayley sum integral group if for every subset S of G, Cay⁺(G, S) is integral i.e., all eigenvalues of its adjacency matrix are integers. In this paper, we prove that all Cayley sum integral groups are represented by Z₃ and Zn₂ ⁿ, n ≥ 1, where Z_k is the group of integers modulo k. Also, we classify simple connected cubic integral Cayley sum graphs.     

The Groups of Motions of Some Three-Dimensional Maximal Mobility Geometries

We find the groups of motions of eight three-dimensional maximal mobility geometries. These groups are actions of just three Lie groups SL₂(R)ΔN, SL₂(C) _R , and SL₂(R)?SL₂(R) on the space R³, where N is a normal abelian subgroup. We also find explicit expressions for these actions.     

On coset-spaces of compact Lie groups by subgroups of corank 2

Let G be a simple compact connected simply connected Lie group, H its connected Lie subgroup of corank 2 which coincides with the commutator group of the centralizer of a torus, and let Sam(G/H) = 0. We prove that if a compact connected simply connected Lie group G' acts transitively and locally effectively on the manifold G/H, then G' is isomorphic to G. if the root system of G consists of roots of the same length, then the action of G' on G/H is similar to the action of G.     

Large abelian normal subgroups

In this paper we study the family of finite groups with the property that every maximal abelian normal subgroup is self-centralizing. It is well known that this family contains all finite supersolvable groups, but it also contains many other groups. In fact, every finite group G is a subgroup of some member \(\Gamma \) of this family, and we show that if G is solvable, then \(\Gamma \) can be chosen so that every abelian normal subgroup of G is contained in some self-centralizing abelian normal subgroup of \(\Gamma \).     

Conjugacy classes in Möbius groups

Let \({\mathbb H^{n+1}}\) denote the n + 1-dimensional (real) hyperbolic space. Let \({\mathbb {S}^{n}}\) denote the conformal boundary of the hyperbolic space. The group of conformal diffeomorphisms of \({\mathbb {S}^{n}}\) is denoted by M(n). Let M _o (n) be its identity component which consists of all orientation-preserving elements in M(n). The conjugacy classification of isometries in M _o (n) depends on the conjugacy of T and T ^?1 in M _o (n). For an element T in M(n), T and T ^?1 are conjugate in M(n), but they may not be conjugate in M _o (n). In the literature, T is called real if T is conjugate in M _o (n) to T ^?1. In this paper we classify real elements in M _o (n). Let T be an element in M _o (n). Corresponding to T there is an associated element T _o in SO(n + 1). If the complex conjugate eigenvalues of T _o are given by \({\{e^{i\theta_j}, e^{-i\theta_j}\}, 0 < \theta_j \leq \pi, j=1,\ldots,k}\) , then {θ₁, . . . , θ _k } are called the rotation angles of T. If the rotation angles of T are distinct from each-other, then T is called a regular element. After classifying the real elements in M _o (n) we have parametrized the conjugacy classes of regular elements in M _o (n). In the parametrization, when T is not conjugate to T ^?1 , we have enlarged the group and have considered the conjugacy class of T in M(n). We prove that each such conjugacy class can be induced with a fibration structure.     

A family of non-isomorphism results

We calculate the local groups of germs associated with the higher dimensional R. Thompson groups nV. For a given \({n\in N\cup\left\{\omega\right\}}\) , these groups of germs are free abelian groups of rank r, for r ≤ n (there are some groups of germs associated with nV with rank precisely k for each index 1 ≤ k ≤ n). By Rubin’s theorem, any conjectured isomorphism between higher dimensional R. Thompson groups induces an isomorphism between associated groups of germs. Thus, if m ≠ n the groups mV and nV cannot be isomorphic. This answers a question of Brin.