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.     

Finite alperin 2-groups with cyclic second commutants

An Alperin group is a group in which every 2-generated subgroup has a cyclic commutant. Previously, we constructed examples of finite Alperin 2-groups with second commutant isomorphic to Z ₂ or Z ₄. Here, it is proved that for any natural n, there exists a finite Alperin 2-group whose second commutant is isomorphic to Z _2n .     

Computable torsion-free nilpotent groups of finite dimension

We find criteria for the computability (constructivizability) of torsion-free nilpotent groups of finite dimension. We prove the existence of a principal computable enumeration of the class of all computable torsion-free nilpotent groups of finite dimension. An example is constructed of a subgroup in the group of all unitriangular matrices of dimension 3 over the field of rationals that is not computable but the sections of any of its central series are computable.     

A characterization of finite symplectic polar spaces of odd prime order

A sufficient condition for the representation group for a nonabelian representation (Definition 1.1) of a finite partial linear space to be a finite p-group is given (Theorem 2.9). We characterize finite symplectic polar spaces of rank r at least two and of odd prime order p as the only finite polar spaces of rank at least two and of prime order admitting nonabelian representations. The representation group of such a polar space is an extraspecial p-group of order p1+2r and of exponent p (Theorems 1.5 and 1.6).     

Approximability of finite rank soluble groups by certain classes of finite groups

For soluble groups of finite rank we obtain the necessary and sufficient condition to be a virtually residually finite p-group. We also prove that a soluble group G of finite rank is residually π-finite for some finite set π of primes if and only if it has no subgroups of type Q and the torsion radical of G is a finite group.     

The Cohomology of Pro-p-Groups with Group Ring Coefficients and Virtual Poincare Duality

The relationship between the group-theoretic properties of a pro-p-group G and the G-module structure of the group $H^n (G,\mathbb{F}_q \left[\kern-0.15em\left[ G \right]\kern-0.15em\right])$ is studied. A necessary and sufficient condition for a pro-p-group G to contain an open Poincare subgroup of dimension n is obtained. This condition does not require that G have finite cohomological dimension and, therefore, applies to groups with torsion. Results concerning the possible values of $\dim _{\mathbb{F}p} H^n (G,\mathbb{F}_p \left[\kern-0.15em\left[ G \right]\kern-0.15em\right])$ are also obtained.     

K 0-group and similarity of operator weighted shifts

By using simultaneous triangularization technique, similarity for operator weighted shifts with finite multiplicity is characterized in terms of K0-group of commutant algebra. The result supports the conjecture posed by Cao et al. in 1999. Moreover, we discuss the relations between similarity and quasi-similarity for operator weighted shifts.     

Fractal Measures for Parabolic IFS

Let h be the Hausdorff dimension of the limit set of a conformal parabolic iterated function system in dimension d?2. In case the system of maps is finite, we provide necessary and sufficient conditions for the h-dimensional Hausdorff measure to be positive and finite and also, assuming the strong open set condition holds, characterize when the h-dimensional packing measure of the limit set is positive and finite. We also prove that the upper ball (box)-counting dimension and the Hausdorff dimension of this limit set coincide. As a byproduct we include a compact analysis of the behaviour of parabolic conformal diffeomorphisms in dimension 2 and separately in any dimension greater than or equal to 3.     

A characterization of powerful p-groups

In [10] Benjamin Klopsch and Ilir Snopce recently posted the conjecture that for p ≥ 3 and G a torsion-free pro-p group, d(G) = dim(G) is a sufficient and necessary condition for the pro-p group G to be uniform. They pointed out that this follows from the more general question of whether for a finite p-group d(G) = log _p (|Ω₁(G)|) is a sufficient and necessary condition for the group G to be powerful. In this short note we will give a positive answer to this question for p ≥ 5.     

On <Emphasis Type="Italic">T</Emphasis>-groups,supersolvable groups,and maximal subgroups

A group is called a T-group if all its subnormal subgroups are normal. Finite T-groups have been widely studied since the seminal paper of Gaschütz (J. Reine Angew. Math. 198 (1957), 87–92), in which he described the structure of finite solvable T-groups. We call a finite group G an NNM-group if each non-normal subgroup of G is contained in a non-normal maximal subgroup of G. Let G be a finite group. Using the concept of NNM-groups, we give a necessary and sufficient condition for G to be a solvable T-group (Theorem 1), and sufficient conditions for G to be supersolvable (Theorems 5, 7 and Corollary 6).     

Residual <Emphasis Type="Italic">p</Emphasis>-finiteness of generalized free products of groups

Let p be a prime number. Recall that a group G is said to be a residually finite p-group if for every non-identity element a of G there exists a homomorphism of the group G onto a finite p-group such that the image of a does not coincide with the identity. We obtain a necessary and sufficient condition for the free product of two residually finite p-groups with finite amalgamated subgroup to be a residually finite p-group. This result is a generalization of Higman’s theorem on the free product of two finite p-groups with amalgamated subgroup.     

Structure of the automorphism group for partially commutative class two nilpotent groups

Let R be a ring, which is either a ring of integers or a field of zero characteristic. For every finite graph Γ, we construct an R-arithmetic linear group H(Γ). The group H(Γ) is realized as the factor automorphism group of a partially commutative class two nilpotent R-group G _Γ. Also we describe the structure of the entire automorphism group of a partially commutative nilpotent R-group of class two.     

Derivations of CDC algebras

A CDC algebra is a reflexive operator algebra whose lattice is completely distributive and commutative. Nearly twenty years ago, Gilfeather and Moore obtained a necessary and sufficient condition for an isomorphism between CDC algebras to be quasi-spatial. In this paper, we give a necessary and sufficient condition for a derivation δ of CDC algebras to be quasi-spatial. Namely, δ is quasi-spatial if and only if δ(R) maps the kernel of R into the range of R for each finite rank operator R. Some examples are presented to show the sharpness of the condition. We also establish a sufficient condition on the lattice that guarantees that every derivation is quasi-spatial.     

A commutative analogue of the group ring

Throughout, all rings R will be commutative with identity element. In this paper we introduce, for each finite group G, a commutative graded Z-algebra R_G. This classifies the G-invariant commutative R-algebra multiplications on the group algebra R[G] which are cocycles (in fact coboundaries) with respect to the standard “direct sum” multiplication and have the same identity element.In the case when G is an elementary Abelian p-group it turns out that R_G is closely related to the symmetric algebra over F_p of the dual of G. We intend in subsequent papers to explore the close relationship between G and R_G in the case of a general (possibly non-Abelian) group G.Here we show that the Krull dimension of R_G is the maximal rank r of an elementary Abelian subgroup E of G unless either E is cyclic or for some such E its normalizer in G contains a non-trivial cyclic group which acts faithfully on E via “scalar multiplication” in which case it is r+1.     

On the second commutants of finite Alperin groups

We refer to an Alperin group as a group in which the commutant of every 2-generated subgroup is cyclic. Alperin proved that if p is an odd prime then all finite p-groups with the property are metabelian. Nevertheless, finite Alperin 2-groups may fail to be metabelian. We prove that for each finite abelian group H there exists a finite Alperin group G for which G″ is isomorphic to H.     

Galois ring extensions and localized modular rings of invariants of p-groups

We apply recent results on Galois-ring extensions and trace surjective algebras to analyze dehomogenized modular invariant rings of finite p-groups, as well as related localizations. We describe criteria for the dehomogenized invariant ring to be polynomial or at least regular and we show that for regular affine algebras with possibly non-linear action by a p-group, the singular locus of the invariant ring is contained in the variety of the transfer ideal. If V is the regular module of an arbitrary finite p-group, or V is any faithful representation of a cyclic p-group, we show that there is a suitable invariant linear form, inverting which renders the ring of invariants into a “localized polynomial ring” with dehomogenization being a polynomial ring. This is in surprising contrast to the fact that for a faithful representation of a cyclic group of order larger than p, the ring of invariants itself cannot be a polynomial ring by a result of Serre. Our results here generalize observations made by Richman [R] and by Campbell and Chuai [CCH].     

Quasi-injective dimension

Following our previous work about quasi-projective dimension [11], in this paper, we introduce quasi-injective dimension as a generalization of injective dimension. We recover several well-known results about injective and Gorenstein-injective dimensions in the context of quasi-injective dimension such as the following. (a) If the quasi-injective dimension of a finitely generated module M over a local ring R is finite, then it is equal to the depth of R. (b) If there exists a finitely generated module of finite quasi-injective dimension and maximal Krull dimension, then R is Cohen-Macaulay. (c) If there exists a nonzero finitely generated module with finite projective dimension and finite quasi-injective dimension, then R is Gorenstein. (d) Over a Gorenstein local ring, the quasi-injective dimension of a finitely generated module is finite if and only if its quasi-projective dimension is finite.     

Separation conditions for conformal iterated function systems

We extend both the weak separation condition and the finite type condition to include finite iterated function systems (IFSs) of injective C ¹ conformal contractions on compact subsets of \mathbbR^d{{\mathbb{R}}^d} . For conformal IFSs satisfying the bounded distortion property, we prove that the finite type condition implies the weak separation condition. By assuming the weak separation condition, we prove that the Hausdorff and box dimensions of the attractor are equal and, if the dimension of the attractor is α, then its α-dimensional Hausdorff measure is positive and finite. We obtain a necessary and sufficient condition for the associated self-conformal measure μ to be singular. By using these we give a first example of a singular invariant measure μ that is associated with a non-linear IFS with overlaps.