On automorphisms of finite Abelian <Emphasis Type="Italic">p</Emphasis>-groups

Let A be a finitely generated abelian group. We describe the automorphism group Aut(A) using the rank of A and its torsion part p-part A _p . For a finite abelian p-group A of type (k ₁, ..., k _n ), simple necessary and sufficient conditions for an n × n-matrix over integers to be associated with an automorphism of A are presented. Then, the automorphism group Aut(A) for a finite p-group A of type (k ₁, k ₂) is analyzed. This work has begin during the visit of the second author to the Faculty of Mathematics and Computer Science, Nicolaus Copernicus University during the period July 31–August 13, 2005. This visit was supported by the Nicolaus Copernicus University and a grant from Cnpq.     

Fitting Height of a Finite Group with a Metabelian Group of Automorphisms

Let M = FH be a finite group that is a product of a normal abelian subgroup F and an abelian subgroup H. Assume that all elements in M?F have prime order p, and F has at most one subgroup of order p. Examples of such groups are dihedral groups for p = 2 and the semidirect product of a cyclic group F by a group H of prime order p such that C _F (H) = 1 or |C _F (H)| =p and C _{F/C F (H)}(H) = 1. Suppose that M acts on a finite group G in such a manner that C _G (F) = 1. We prove that the Fitting height h(G) of G is at most h(C _G (H))+ 1. Moreover, the Fitting series of C _G (H) coincides with the intersection of C _G (H) with the Fitting series of G.     

Automorphisms of Relatively Free Nilpotent Lie Algebras

Let L be a relatively free nilpotent Lie algebra over ? of rank n and class c, with n ≥ 2; freely generated by a set 𝒵. Give L the structure of a group, denoted by R, by means of the Baker–Campbell–Hausdorff formula. Let G be the subgroup of R generated by the set 𝒵 and N _Aut(L)(G) the normalizer in Aut(L) of the set G. We prove that the automorphism group of L is generated by GL _n (?) and N _Aut(L)(G). Let H be a subgroup of finite index in Aut(G) generated by the tame automorphisms and a finite subset X of IA-automorphisms with cardinal s. We construct a set Y consisting of s + 1 IA-automorphisms of L such that Aut(L) is generated by GL _n (?) and Y. We apply this particular method to construct generating sets for the automorphism groups of certain relatively free nilpotent Lie algebras.     

The automorphism group of a nonsplit metacyclic p-group

This note considers a finite group G = HK, which is a product of a subgroup H and a normal subgroup K, and determines subgroups of Aut G. The special case when G is a nonsplit metacyclic p-group, where p is odd, is then considered and the structure of its automorphism group Aut G is given. Received: 13 September 2007, Revised: 22 November 2007     

Locally Finite Groups with All Subgroups Normal-by-(Finite Rank)

A group is said to have finite (special) rank ≤ sif all of its finitely generated subgroups can be generated byselements. LetGbe a locally finite group and suppose thatH/H_Ghas finite rank for all subgroupsHofG, whereH_Gdenotes the normal core ofHinG. We prove that thenGhas an abelian normal subgroup whose quotient is of finite rank (Theorem 5). If, in addition, there is a finite numberrbounding all of the ranks ofH/H_G, thenGhas an abelian subgroup whose quotient is of finite rank bounded in terms ofronly (Theorem 4). These results are based on analogous theorems on locally finitep-groups, in which case the groupGis also abelian-by-finite (Theorems 2 and 3).     

Solvable Subgroups of Out(F n ) are Virtually Abelian

Let F _n be the free group of rank n, let Aut(F _n ) be its automorphism group and let Out(F _n ) be its outer automorphism group. We show that every solvable subgroup of Out(F _n ) has a finite index subgroup that is finitely generated and free Abelian. We also show that every Abelian subgroup of Out(F _n ) has a finite index subgroup that lifts to Aut(F _n ).     

Transfer and Tate’s theorem

Let H be a subgroup of a finite group G, and assume that p is a prime that does not divide |G : H|. In favorable circumstances, one can use transfer theory to deduce that the largest abelian p-groups that occur as factor groups of G and of H are isomorphic. When this happens, Tate’s theorem guarantees that the largest not-necessarily-abelian p-groups that occur as factor groups of G and H are isomorphic. Known proofs of Tate’s theorem involve cohomology or character theory, but in this paper, a new elementary proof is given. It is also shown that the largest abelian p-factor group of G is always isomorphic to a direct factor of the largest abelian p-factor group of H. Received: 17 June 2008     

p-Hypercyclically embedding and Π-property of subgroups of finite groups

Let G be a finite group, E a normal subgroup of G and p a fixed prime. We say that E is p-hypercyclically embedded in G if every p-G-chief factor of E is cyclic. A subgroup H of G is said to satisfy Π-property in G if |G∕K:N_G∕K((H∩L)K∕K)| is a π((H∩L)K∕K)-number for any chief factor L∕K in G; we say that H has Π*-property in G if H∩O^π(H)(G) has Π-property in G. In this paper, we prove that E is p-hypercyclically embedded in G if and only if some classes of p-subgroups of E have Π*-property in G. Some recent results are extended.     

The Kernel of the Adjoint Representation of a p-Adic Lie Group Need Not Have an Abelian Open Normal Subgroup

Let G be a p-adic Lie group with Lie algebra 𝔤 and Ad: G → Aut(𝔤) be the adjoint representation. It was claimed in the literature that the kernel K?ker(Ad) always has an abelian open normal subgroup. We show by means of a counterexample that this assertion is false. It can even happen that K = G, but G has no abelian subnormal subgroup except for the trivial group. The arguments are based on auxiliary results on subgroups of free products with central amalgamation.     

On the Frattini normal embeddability of products ofp-groups

ItH _i is a finite non-abelianp-group with center of orderp, for 1≦j≦R, then the direct product of theH _i does not occur as a normal subgroup contained in the Frattini subgroup of any finitep-group. If the Frattini subgroup Φ of a finitep-groupG is cyclic or elementary abelian of orderp ², then the centralizer of Φ inG properly contains Φ. Non-embeddability properties of products of groups of order 16 are established.     

The unitary group over the integers of an unramified local field

Let L be a lattice over the integers of a local field F which has a nontrivial involution. Then U⁺(L) (the subgroup of rotations of the unitary group U(L)) is generated by unitary transvections and quasitransvections contained in U⁺(L) (Theorem 7.8). Let g be a tableau. Then the mixed commutator subgroup of U⁺(L) and U(g) (the congruence subgroup of U⁺(L) corresponding to g) equals E(g) (the subgroup generated by unitary transvections and quasitransvections with orders contained in g) (Theorem 7.7). Finally, let G be a subgroup of U⁺(L) with _o(G) = g, then G is a normal subgroup of U⁺(L) if and only if U(g) G E(g).     

Gap Property of Bi-Lipschitz Constants of Bi-Lipschitz Automorphisms on Self-similar Sets

For a given self-similar set E ∪→ R^d satisfying the strong separation condition, let Aut（E） be the set of all bi-Lipschitz automorphisms on E. The authors prove that {f ∈ Aut（E） ： blip（f） = 1} is a finite group, and the gap property of bi-Lipschitz constants holds, i.e., inf{blip（f） ≠ 1： f ∈ Aut（E）} 〉 1, where lip（g） =sup x,y∈E x≠y ｜g（x）-g（y）｜/｜x-y｜ and blip（g） =max（lip（g）, liP（g^-1））.     

Finite nonabelian <Emphasis Type="Italic">p</Emphasis>-groups having exactly one maximal subgroup with a noncyclic center

We prove here that a nonabelian finite p-group G has exactly one maximal subgroup with a noncyclic center if and only if Z(G) is cyclic and G has exactly one normal abelian subgroup of type (p, p).     

Generic and maximal Jordan types

For a finite group scheme G over a field k of characteristic p>0, we associate new invariants to a finite dimensional kG-module M. Namely, for each generic point of the projectivized cohomological variety we exhibit a “generic Jordan type” of M. In the very special case in which G=E is an elementary abelian p-group, our construction specializes to the non-trivial observation that the Jordan type obtained by restricting M via a generic cyclic shifted subgroup does not depend upon a choice of generators for E. Furthermore, we construct the non-maximal support variety Γ(G) _M , a closed subset of which is proper even when the dimension of M is not divisible by p.     

Maximal divisible subgroups in modular group rings of p-mixed abelian groups

The isomorphism structure of the maximal divisible subgroup of the subgroup V _p (R(G); H) Id R(G) of the normalized unit group V R(G) in a commutative group ring R(G) is completely described only in terms of R, G and H whenever R is a commutative unital ring of prime characteristic p and G is a p-mixed abelian group. In particular, the maximal divisible subgroup of V R(G) is characterized. This extends a result due to Nachev (Commun. Algebra, 1995) as well as a result due to the author (Commun. Algebra, 2010).     

Some Inequalities for the Order of the Schur Multiplier of a Pair of Groups

Let (H, N) be a pair of finite p-groups, in which N is a normal subgroup of H. In the present article, some upper bounds for the order of the commutator subgroup [N, H] are given. It is also constructed an upper bound for the order of the Schur multiplier of the pair of finite p-groups.     

OD-Characterization of Some Projective Special Linear Groups Over the Binary Field and Their Automorphism Groups

The Gruenberg–Kegel graph GK(G) = (V _G , E _G ) of a finite group G is a simple graph with vertex set V _G  = π(G), the set of all primes dividing the order of G, and such that two distinct vertices p and q are joined by an edge, {p, q} ∈ E _G , if G contains an element of order pq. The degree deg _G (p) of a vertex p ∈ V _G is the number of edges incident to p. In the case when π(G) = {p ₁, p ₂,…, p _h } with p ₁ < p ₂ < … <p _h , we consider the h-tuple D(G) = (deg _G (p ₁), deg _G (p ₂),…, deg _G (p _h )), which is called the degree pattern of G. The group G is called k-fold OD-characterizable if there exist exactly k non-isomorphic groups H satisfying condition (|H|, D(H)) = (|G|, D(G)). Especially, a 1-fold OD-characterizable group is simply called OD-characterizable. In this paper, we prove that the simple groups L ₁₀(2) and L ₁₁(2) are OD-characterizable. It is also shown that automorphism groups Aut(L _p (2)) and Aut(L _p+1(2)), where 2 ^p  ? 1 is a Mersenne prime, are OD-characterizable. Finally, a list of finite (simple) groups which are presently known to be k-fold OD-characterizable, for certain values of k, is presented.     

A new characterization of frobenius complements

LetH, G be finite groups such thatH acts onG and each non-trivial element ofH fixes at mostf elements ofG. It is shown that, ifG is sufficiently large, thenH has the structure of a Frobenius complement. This result depends on the classification of finite simple groups. We conclude that, ifG is a finite group andA ⊆G is any non-cyclic abelian subgroup, then the order ofG is bounded above in terms of the maximal order of a centralizerC _G(a) for 1≠a ∈A.