Normal automorphisms of a free pro-p-group in the varietyN 2 A

An automorphism of a (profinite) group is called normal if each (closed) normal subgroup is left invariant by it. An automorphism of an abstract group is p-normal if each normal subgroup of p-power, where p is prime, is left invariant. Obviously, the inner automorphism of a group will be normal and p-normal. For some groups, the converse was stated to be likewise true. N. Romanovskii and V. Boluts, for instance, established that for free solvable pro-p-groups of derived length 2, there exist normal automorphisms that are not inner. Let N₂ be the variety of nilpotent groups of class 2 and A the variety of Abelian groups. We prove the following results: (1) If p is a prime number distinct from 2, then the normal automorphism of a free pro-p-group of rank ≥2 in N₂A is inner (Theorem 1); (2) If p is a prime number distinct from 2, then the p-normal automorphism of an abstract free N₂A-group of rank ≥2 is inner (Theorem 2). Supported by RFFR grant No. 93-01-01508. Translated fromAlgebra i Logika, Vol. 35, No. 3, pp. 249–267, May–June, 1996.     

On finite <Emphasis Type="Italic">p</Emphasis>-groups whose automorphisms are all central

An automorphism α of a group G is said to be central if α commutes with every inner automorphism of G. We construct a family of non-special finite p-groups having abelian automorphism groups. These groups provide counterexamples to a conjecture of A. Mahalanobis [Israel J. Math. 165 (2008), 161–187]. We also construct a family of finite p-groups having non-abelian automorphism groups and all automorphisms central. This solves a problem of I. Malinowska [Advances in Group Theory, Aracne Editrice, Rome, 2002, pp. 111–127].     

Central elements of integral group rings

Centers of integral group rings are studied. The notion of a class character ring is introduced and made use of in describing centers of integral group rings. With every automorphism of a character field, associated is an automorphism of the center of an integral group ring. The norm of a central element of an integral group ring is determined and used to obtain invertibility criteria for central elements. Supported by RFFR grant No. 99-01-00550. Translated fromAlgebra i Logika, Vol. 39, No. 5, pp. 513–525, September–October, 2000.     

Cayley graphs of the group ℤ4 and limits for minimal vertex-primitive graphs of HA-type

We point out a countable set of pairwise nonisomorphic Cayley graphs of the group ℤ⁴ that are limit for finite minimal vertex-primitive graphs admitting a vertex-primitive automorphism group containing a regular Abelian normal subgroup. Supported by RFBR grant No. 06-01-00378. __________ Translated from Algebra i Logika, Vol. 47, No. 2, pp. 203–214, March–April, 2008.     

Automorphisms of Chevalley groups of types <Emphasis Type="Italic">B</Emphasis><Subscript>2</Subscript> and <Emphasis Type="Italic">G</Emphasis><Subscript>2</Subscript> over local rings

In the paper, we prove that every automorphism of any adjoint Chevalley group of type B ₂ or G ₂ is standard, i.e., it is a composition of an “inner” automorphism, a ring automorphism, and a central automorphism. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 13, No. 4, pp. 3–29, 2007.     

Algebraic sets in metabelian groups

The research launched in [1] is brought to a close by examining algebraic sets in a metabelian group G in two important cases: (1) G = F_n is a free metabelian group of rank n; (2) G = W_n,k is a wreath product of free Abelian groups of ranks n and k. Supported by RFBR grant No. 05-01-00292. __________ Translated from Algebra i Logika, Vol. 46, No. 4, pp. 503–513, July–August, 2007.     

Automorphisms of the semigroup of invertible matrices with nonnegative elements

In this paper, we prove that every automorphism of the semigroup of invertible matrices with nonnegative elements over a linearly ordered associative ring on some specially defined subgroup coincides with the composition of an inner automorphism of the semigroup, an order-preserving automorphism of the ring, and a central homothety. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 11, No. 2, pp. 3–23, 2005.     

Finite groups admitting an automorphism of prime order with central fixed points

In 1957, Higman showed that a Lie algebra admitting a fixed-point-free automorphism is nilpotent, and that an analogous result also holds for a finite soluble group. Two years later, Thompson proved that a finite group having a fixed-point-free automorphism of prime order is soluble, and consequently nilpotent. Generalizing that situation, a few years ago, Kharchenko set up a conjecture on the solubility of a Lie algebra L admitting an automorphism of prime order whose fixed points lie in the center of L. A similar conjecture applies also with finite groups. Here we affirm the latter for the case where the order p of an automorphism is equal to 2 and deny it for all p>3. Supported by RFFR grants Nos. 93-01-01501 and 96-01-01893. Translated fromAlgebra i Logika, Vol. 35, No. 6, pp. 699–708, November–December, 1996.     

Nilpotent groups admitting an almost regular automorphism of order four

We consider locally nilpotent periodic groups admitting an almost regular automorphism of order 4. The following are results are proved: (1) If a locally nilpotent periodic group G admits an automorphism ϕ of order 4 having exactly m<∞ fixed points, then (a) the subgroup {ie176-1} contains a subgroup of m-bounded index in {ie176-2} which is nilpotent of m-bounded class, and (b) the group G contains a subgroup V of m-bounded index such that the subgroup {ie176-3} is nilpotent of m-bounded class (Theorem 1); (2) If a locally nilpotent periodic group G admits an automorphism ϕ of order 4 having exactly m<∞ fixed points, then it contains a subgroup V of m-bounded index such that, for some m-bounded number f(m), the subgroup {ie176-4}, generated by all f(m) th powers of elements in {ie176-5} is nilpotent of class ≤3 (Theorem 2). Supported by RFFR grant No. 94-01-00048 and by ISF grant NQ7000. Translated fromAlgebra i Logika, Vol. 35, No. 3, pp. 314–333, May–June, 1996.     

Class-Preserving Coleman Automorphisms of Finite Groups

 Let G be a finite group whose Sylow 2-subgroups are either cyclic, dihedral, or generalized quaternion. It is shown that a class-preserving automorphism of G of order a power of 2 whose restriction to any Sylow subgroup of G equals the restriction of some inner automorphism of G is necessarily an inner automorphism. Interest in such automorphisms arose from the study of the isomorphism problem for integral group rings, see [6, 7, 13, 14].     

Normal relatively convex subgroups of solvable orderable groups

Orderable solvable groups in which every relatively convex subgroup is normal are studied. If such a class is subgroup closed than it is precisely the class of solvable orderable groups which are locally of finite (Mal’tsev) rank. A criterion for an orderable metabelian group to have every relatively convex subgroup normal is given. Examples of an orderable solvable group G of length three with periodic G/G′ and of an orderable solvable group of length four with only one proper normal relatively convex subgroup are constructed. To the memory of N. Ya. Medvedev Supported by RFBR (project No. 03-01-00320). Translated from Algebra i Logika, Vol. 48, No. 3, pp. 291–308, May–June, 2009.     

One-regular Normal Cayley Graphs on Dihedral Groups of Valency 4 or 6 with Cyclic Vertex Stabilizer

A graph G is one-regular if its automorphism group Aut（G） acts transitively and semiregularly on the arc set. A Cayley graph Cay（Г, S） is normal if Г is a normal subgroup of the full automorphism group of Cay（Г, S）. Xu, M. Y., Xu, J. （Southeast Asian Bulletin of Math., 25, 355-363 （2001）） classified one-regular Cayley graphs of valency at most 4 on finite abelian groups. Marusic, D., Pisanski, T. （Croat. Chemica Acta, 73, 969-981 （2000）） classified cubic one-regular Cayley graphs on a dihedral group, and all of such graphs turn out to be normal. In this paper, we classify the 4-valent one-regular normal Cayley graphs G on a dihedral group whose vertex stabilizers in Aut（G） are cyclic. A classification of the same kind of graphs of valency 6 is also discussed.     

Endomorphisms of the group of all recursive permutations

We describe all endomorphisms of the group Aut_T ɛ of all recursive permutations. It is proved that the family of these endomorphisms is countable, and that they all are continuous and may be defined by some natural recursive operators. Orbits relative to the image of Aut_Tω prove to be recursive, and there exists a recursive model M such that this image is exactly its recursive automorphism group. There exists a universal endomorphism which contains, in a sense, all endomorphisms of that group. The universal endomorphism is unique with respect to some natural recursive equivalence. Supported by RFFR grant No. 093-01-01525. Translated fromAlgebra i Logika, Vol. 36, No. 1, pp. 54–76, January–February, 1997.     

Asymptotic growth of averaged Dehn functions for nilpotent groups

It is proved that in any finite representation of any finitely generated nilpotent group of nilpotency class l ⩾ 1, the averaged Dehn function σ(n) is subasymptotic w.r.t. the function n^l+1. As a consequence it is stated that in every finite representation of a free nilpotent group of nilpotency class l of finite rank r ⩾ 2, the Dehn function σ(n) is Gromov subasymptotic. Supported by RFBR grant No. 04-01-00489. __________ Translated from Algebra i Logika, Vol. 46, No. 1, pp. 60–74, January–February, 2007.     

Class-Preserving Coleman Automorphisms of Finite Groups

 Let G be a finite group whose Sylow 2-subgroups are either cyclic, dihedral, or generalized quaternion. It is shown that a class-preserving automorphism of G of order a power of 2 whose restriction to any Sylow subgroup of G equals the restriction of some inner automorphism of G is necessarily an inner automorphism. Interest in such automorphisms arose from the study of the isomorphism problem for integral group rings, see [6, 7, 13, 14]. Received 30 September 2001; in revised form 10 December 2001     

Algebraic Coding of Expansive Group Automorphisms and Two-sided Beta-Shifts

 Let α be an expansive automorphisms of compact connected abelian group X whose dual group is cyclic w.r.t. α (i.e. is generated by for some ). Then there exists a canonical group homomorphism ξ from the space of all bounded two-sided sequences of integers onto X such that , where σ is the shift on . We prove that there exists a sofic subshift such that the restriction of ξ to V is surjective and almost one-to-one. In the special case where α is a hyperbolic toral automorphism with a single eigenvalue and all other eigenvalues of absolute value we show that, under certain technical and possibly unnecessary conditions, the restriction of ξ to the two-sided beta-shift is surjective and almost one-to-one. The proofs are based on the study of homoclinic points and an associated algebraic construction of symbolic representations in [13] and [7]. Earlier results in this direction were obtained by Vershik ([24]–[26]), Kenyon and Vershik ([10]), and Sidorov and Vershik ([20]–[21]).     

Characterizing stable complete Erdős space

Every Polish group is not free whereas some F _σ group may be free. Also, every automorphism group of a structure of cardinality, e.g. ℶ _ω , is not free.     

On binary self-dual codes of lengths 60, 62, 64 and 66 having an automorphism of order 9

A method for constructing binary self-dual codes having an automorphism of order p ² for an odd prime p is presented in (S. Bouyuklieva et al. IEEE. Trans. Inform. Theory, 51, 3678–3686, 2005). Using this method, we investigate the optimal self-dual codes of lengths 60 ≤ n ≤ 66 having an automorphism of order 9 with six 9-cycles, t cycles of length 3 and f fixed points. We classify all self-dual [60,30,12] and [62,31,12] codes possessing such an automorphism, and we construct many doubly-even [64,32,12] and singly-even [66,33,12] codes. Some of the constructed codes of lengths 62 and 66 are with weight enumerators for which the existence of codes was not known until now.      

Maximal multihomogeneity of algebraic hypersurface singularities

From the degree zero part of the logarithmic vector fields along analgebraic hypersurface singularity we identify the maximal multihomogeneity of a defining equation in form of a maximal algebraic torus in the embedded automorphism group. We show that all such maximal tori are conjugate and in one–to–one correspondence to maximal tori in the linear jet of the embedded automorphism group. These results are motivated by Kyoji Saito’s characterization of quasihomogeneity for isolated hypersurface singularities [Saito in Invent. Math. 14, 123–142 (1971)] and extend previous work with Granger and Schulze [Compos. Math. 142(3), 765–778 (2006), Theorem 5.4] and of Hauser and Müller [Nagoya Math. J. 113, 181–186 (1989), Theorem 4].