Divisibility in certain automorphism groups

We study solvability of equations of the form x ⁿ = g in the groups of order automorphisms of archimedean-complete totally ordered groups of rank 2. We determine exactly which automorphisms of the unique abelian such group have square roots, and we describe all automorphisms of the general ones.     

Invariant Measures in Free MV-Algebras

MV-algebras can be viewed either as the Lindenbaum algebras of ?ukasiewicz infinite-valued logic, or as unit intervals of lattice-ordered abelian groups in which a strong order unit has been fixed. The free n-generated MV-algebra Free _n is representable as an algebra of continuous piecewise-linear functions with integer coefficients over the unit cube [0, 1] ⁿ . The maximal spectrum of Free _n is canonically homeomorphic to [0, 1] ⁿ , and the automorphisms of the algebra are in 1–1 correspondence with the pwl homeomorphisms with integer coefficients of the unit cube. In this article, we prove that the only probability measure on [0, 1] ⁿ which is null on underdimensioned 0-sets and is invariant under the group of all such homeomorphisms is the Lebesgue measure. From the viewpoint of lattice-ordered abelian groups, this fact means that, in relevant cases, fixing an automorphism-invariant strong unit implies fixing a distinguished probability measure on the maximal spectrum. From the viewpoint of algebraic logic, it means that the only automorphism-invariant truth averaging process that detects pseudotrue propositions is the integral with respect to Lebesgue measure.     

Fields interpretable in rosy theories

We are working in a monster model ℭ of a rosy theory T. We prove the following theorems, generalizing the appropriate results from the finite Morley rank case and o-minimal structures. If R is a ⋁-definable integral domain of positive, finite U^t-rank, then its field of fractions is interpretable in ℭ. If A and M are infinite, definable, abelian groups such that A acts definably and faithfully on M as a group of automorphisms, M is A-minimal and U^t(M) is finite, then there is an infinite field interpretable in ℭ. If G is an infinite, solvable but non nilpotent-by-finite, definable group of finite U^t-rank and T has NIP, then there is an infinite field interpretable in 〈G, ·〉.     

On isomorphisms and isotopisms of bol loops of order 3p

Let A = A(p, λ) be the multiparameter deformation of the coordinate algebra of n × n matrices as described by Artin, Schelter and TÄte. Let U be the quantum enveloping algebra which is associ-ated to A, in the sense of Fad dee v, Reshetikhin and Takhtadzhyan. When the parameter λ is not a root of unity, we classify the skew primitive elements of U and describe the group of Hopf algebra automorphisms of a subalgebra U ^′ of u. Finally, we find some of the central group-like elements of U.     

The Adjoint Action of an Expansive Algebraic -Action

 Let , and let α be an expansive -action by continuous automorphisms of a compact abelian group X with completely positive entropy. Then the group of homoclinic points of α is countable and dense in X, and the restriction of α to the α-invariant subgroup is a -action by automorphisms of . By duality, there exists a -action by automorphisms of the compact abelian group : this action is called the adjoint action of α. We prove that is again expansive and has completely positive entropy, and that α and are weakly algebraically equivalent, i.e. algebraic factors of each other. A -action α by automorphisms of a compact abelian group X is reflexive if the -action on the compact abelian group adjoint to is algebraically conjugate to α. We give an example of a non-reflexive expansive -action α with completely positive entropy, but prove that the third adjoint is always algebraically conjugate to . Furthermore, every expansive and ergodic -action α is reflexive. The last section contains a brief discussion of adjoints of certain expansive algebraic -actions with zero entropy. Received 11 June 2001; in revised form 29 November 2001     

On the groups of unitriangular automorphisms of relatively free groups

We describe the structure of the group U _n of unitriangular automorphisms of the relatively free group G _n of finite rank n in an arbitrary variety C of groups. This enables us to introduce an effective concept of normal form for the elements and present U _n by using generators and defining relations. The cases n = 1, 2 are obvious: U ₁ is trivial, and U ₂ is cyclic. For n ?? 3 we prove the following: If G _n?1 is a nilpotent group then so is U _n . If G _n?1 is a nilpotent-by-finite group then U _n admits a faithful matrix representation. But if the variety C is different from the variety of all groups and G _n?1 is not nilpotent-by-finite then U _n admits no faithful matrix representation over any field. Thus, we exhaustively classify linearity for the groups of unitriangular automorphisms of finite rank relatively free groups in proper varieties of groups, which complements the results of Olshanskii on the linearity of the full automorphism groups AutG _n . Moreover, we introduce the concept of length of an automorphism of an arbitrary relatively free group G _n and estimate the length of the inverse automorphism in the case that it is unitriangular.     

Multivalued groups, their representations and Hopf algebras

This paper introduces the concept ofn-valued groups and studies their algebraic and topological properties. We explore a number of examples. An important class consists of those that we calln-coset groups; they arise as orbit spaces of groupsG modulo a group of automorphisms withn elements. However, there are many examples that do not arise from this construction. We see that the theory ofn-valued groups is distinct from that of groups with a given automorphism group. There are natural concepts of the action of ann-valued group on a space and of a representation in an algebra of operators. We introduce the (purely algebraic) notion of ann-Hopf algebra and show that the ring of functions on ann-valued group and, in the topological case, the cohomology has ann-Hopf algebra structure. The cohomology algebra of the classifying space of a compact Lie group admits the structure of ann-Hopf algebra, wheren is the order of the Weyl group; the homology with dual structure is also ann-Hopf algebra. In general the group ring of ann-valued group is not ann-Hopf algebra but it is for ann-coset group constructed from an abelian group. Using the properties ofn-Hopf algebras we show that certain spaces do not admit the structure of ann-valued group and that certain commutativen-valued groups do not arise by applying then-coset construction to any commutative group.     

Unitary Graphs and Their Automorphisms

The (isotropic) unitary graph U (n, q²){U \left(n, q^{2}\right)} is introduced. When n = 2 or 3, U (2, q²){U \left(2, q^{2}\right)} or U (3, q²){U \left(3, q^{2}\right)} are complete graphs with q + 1 or q ³ + 1 vertices, respectively. When n ≥ 4, it is shown that U (n, q²){U \left(n, q^{2}\right)} is strongly regular and its parameters are computed. The group of graph automorphisms of U (n, q²){U \left(n, q^{2}\right)} , when n ≠ 4, 5, is determined.     

A New Family of Relative Difference Sets in 2-Groups

We recursively construct a new family of ( 2^6d+4, 8, 2^6d+4, 2^6d+1) semi-regular relative difference sets in abelian groups G relative to an elementary abelian subgroup U. The initial case d = 0 of the recursion comprises examples of (16, 8, 16, 2) relative difference sets for four distinct pairs (G, U).     

The classification problem for S-local torsion-free abelian groups of finite rank

Suppose that n?2 and that S, T are sets of primes. Then the classification problem for the S-local torsion-free abelian groups of rank n is Borel reducible to the classification problem for the T-local torsion-free abelian groups of rank n if and only if S⊆T.     

On the extendability of certain semi-Cayley graphs of finite abelian groups

A connected graph Γ with at least 2n+2 vertices is said to be n-extendable if every matching of size n in Γ can be extended to a perfect matching. The aim of this paper is to study the 1-extendability and 2-extendability of certain semi-Cayley graphs of finite abelian groups, and the classification of connected 2-extendable semi-Cayley graphs of finite abelian groups is given. Thus the 1-extendability and 2-extendability of Cayley graphs of non-abelian groups which can be realized as such semi-Cayley graphs of abelian groups can be deduced. In particular, the 1-extendability and 2-extendability of connected Cayley graphs of generalized dicyclic groups and generalized dihedral groups are characterized.     

Identities of the soluble product of abelian groups

We consider the product G of abelian groups in the variety \mathfrakAⁿ \mathfrak{A}^n of soluble groups of length at most n. Provided that the abelian factors are decomposable into direct products of cyclic groups, we find necessary and sufficient conditions for G to generate the variety \mathfrakAⁿ \mathfrak{A}^n .     

Soluble (HN)2-groups

In this paper we investigate the class of finite soluble groups in which every subnormal subgroup has normal normalizer. In particular we prove that they areUN ₂U, whereU andN ₂denote finite abelian groups and of finite nilpotent groups of class at most 2 respectively.     

Fixed-point-free 2-finite automorphism groups

A fixed-point-free group G of automorphisms of an abelian group is shown to be locally finite if any two elements of G generate a finite subgroup.     

Finite Groups with a Pre-Fixed-Point-Free Power Automorphism

A power automorphism θ of a group G is said to be pre-fixed-point-free if C_G(θ) is an elementary abelian 2-group. G is called an E-group if G has a pre-fixed-point-free power automorphism. In this paper, finite E-groups, together with all their pre-fixed-point-free power automorphisms, are completely determined. Moreover, a characteristic of finite abelian groups is given, which explains some known facts concerning power automorphisms.     

The Diffie-Hellman key exchange protocol and non-abelian nilpotent groups

In this paper we study a key exchange protocol similar to the Diffie-Hellman key exchange protocol, using abelian subgroups of the automorphism group of a non-abelian nilpotent group. We also generalize group no. 92 of the Hall-Senior table [16] to an arbitrary prime p and show that, for those groups, the group of central automorphisms is commutative. We use these for the key exchange we are studying.     

Bessel functions and representation theory. I

In this paper a general theory of operator-valued Bessel functions is presented. These functions arise naturally in representation theory in the context of metaplectic representations, discrete series, and limits of discrete series for certain semi-simple Lie groups. In general, Bessel functions J_λ are associated to the action by automorphisms of a compact group U on a locally compact abelian group X, and are indexed by the irreducible representations λ of U that appear in the primary decomposition of the regular representation of U on L²(X). Then on the λ-primary constituent of L²(X), the Fourier transform is described by the Hankel transform corresponding to J_λ. More detailed information is available in the case in which (U, X) is an orthogonal transformation group which possesses a system of polar coordinates. In particular, when X=$\text{F}$^k×n,$\text{F}$ a real finite-dimensional division algebra, with k ? 2n and $\text{O}$(k, $\text{F}$), the representations λ of U are induced in a certain sense from representations π of GL(n, $\text{F}$). This leads to a characterization of J_λ as a reduced Bessel function defined on the component of 1 in GL(n, $\text{F}$) and to the connection between metaplectic representations and holomorphic discrete series for the group of biholomorphic automorphisms of the Siegel upper half-plane in the complexification of $\text{F}$^{n × n}.     

Hamilton cycle and Hamilton path extendability of Cayley graphs on abelian groups

In this paper the concepts of Hamilton cycle (HC) and Hamilton path (HP) extendability are introduced. A connected graph Γ is n‐HC‐extendable if it contains a path of length n and if every such path is contained in some Hamilton cycle of Γ. Similarly, Γ is weakly n‐HP‐extendable if it contains a path of length n and if every such path is contained in some Hamilton path of Γ. Moreover, Γ is strongly n‐HP‐extendable if it contains a path of length n and if for every such path P there is a Hamilton path of Γ starting with P. These concepts are then studied for the class of connected Cayley graphs on abelian groups. It is proved that every connected Cayley graph on an abelian group of order at least three is 2‐HC‐extendable and a complete classification of 3‐HC‐extendable connected Cayley graphs of abelian groups is obtained. Moreover, it is proved that every connected Cayley graph on an abelian group of order at least five is weakly 4‐HP‐extendable. Copyright © 2011 Wiley Periodicals, Inc. J Graph Theory     

Calculating the mislin genus for a certain family of nilpotent groups

It is known that the Mislin genus of a finitely generated nilpotent group N with finite commutator subgroup admits an abelian group structure. In this paper, we compute explicitly that structure under the following additional assumptions: The torsion subgroup TN is abelian, the epimorphism N→N/TN splits and all automorphisms of TN commute with cinjugation by elements of N. Among the groups satisfying these conditions are all nilpotent split extensions of a finite cyclic group by a finitely free abelian group. We further prove that the function M ? M × N^k­1 k ≥ 2, which is in general a surjective homomorphism from the genus of N onto the genus of N^k , is an isomorphism at least in an imporatnt special case. Applications to the study of non-cancellation phenomena in group theory are given.