Automorphism groups of semidirect products

This paper shows that if is a semidirect product of finite groups, then if and only if and for all . As an application, we investigate the automorphism group of a split metacyclic p-group for odd p. The second author is supported by the Natural Science Foundation of China (10671058).     

Semifree actions of free groups

We study countable universes similar to a free action of a group G. It turns out that this is equivalent to the study of free semi-actions of G, with two universes being transformable iff one corresponding free semi-action can be obtained from the other by a finite alteration. In the case of a free group G (in finitely many or countably many generators), a classification is given. Research partially supported by a DAAD Doktorandenstipendium D/02/02345.     

On capability of finite abelian groups

Baer characterized capable finite abelian groups (a group is capable if it is isomorphic to the group of inner automorphisms of some group) by a condition on the size of the factors in the invariant factor decomposition (the group must be noncyclic and the top two invariant factors must be equal). We provide a different characterization, given in terms of a condition on the lattice of subgroups. Namely, a finite abelian group G is capable if and only if there exists a family {H _i } of subgroups of G with trivial intersection, such that the union generates G and all quotients G/H _i have the same exponent. Other variations of this condition are also provided (for instance, the condition that the union generates G can be replaced by the condition that it is equal to G). The work presented here is partially supported by NSF/DMS-0805932.     

Finite isometry groups of 4-manifolds with positive sectional curvature

Let M be an oriented compact Riemannian 4-manifold with positive sectional curvature. Let G be a finite subgroup of the isometry group of M. We prove that, if G is a finite group of order , then

Pro-p groups of rank 3 and the question of Iwasawa

For a prime p > 3 we determine all pro-p groups that satisfy d(G) = d(H) = 3 for all open subgroups H of G. Received: 29 July 2008     

An asymptotic theorem for minimal surfaces and existence results for minimal graphs in $${\mathbb H^2 \times \mathbb R}$$

In this paper we prove a general and sharp Asymptotic Theorem for minimal surfaces in . As a consequence, we prove that there is no properly immersed minimal surface whose asymptotic boundary Γ_∞ is a Jordan curve homologous to zero in such that Γ_∞ is contained in a slab between two horizontal circles of with width equal to π. We construct vertical minimal graphs in over certain unbounded admissible domains taking certain prescribed finite boundary data and certain prescribed asymptotic boundary data. Our admissible unbounded domains Ω in are non necessarily convex and non necessarily bounded by convex arcs; each component of its boundary is properly embedded with zero, one or two points on its asymptotic boundary, satisfying a further geometric condition. The first author wish to thank Laboratoire Géométrie et Dynamique de l’Institut de Mathématiques de Jussieu for the kind hospitality and support. The authors would like to thank CNPq, PRONEX of Brazil and Accord Brasil-France, for partial financial support.     

A remark on presentations of certain Chevalley groups

Let Φ be a root system of typeA _ℓ, ℓ ≧ 2,D _ℓ, ℓ ≧ 4 orE _ℓ, 6 ≧ ℓ ≧ 8 andG a group generated by nonidentity abelian subgroupsA _r,r∈Φ, satisfying:

p-convergence in measure of a sequence of measurable functions and corresponding minimal elements of c 0

We characterize convergence in measure of a sequence (f_n)_n of measurable functions to a measurable function f by elements of c₀, which express the quality of convergence of (f_n)_n to f. This characterization motivates the introduction of a new notion of convergence, called “p-convergence in measure” (p > 0), which is stronger than convergence in measure. We prove the existence of “minimal” elements in c₀ which characterize the convergence in measure of (f_n)_n to f.      

Trifactorized locally finite groups with min-p for every prime p

A group G is trifactorized if G = AB = AC = BC with three subgroups A, B and C of G. Some structural theorems about trifactorized locally finite groups with minimum condition on p-subgroups for every prime p are proved. For instance, it is shown that G is locally supersoluble (locally nilpotent) if A and B are locally nilpotent and C is locally supersoluble (locally nilpotent). The second and the third author wish to thank the Institute of Mathematics of the University of Mainz for their excellent hospitality during the preparation of this paper. The second author is grateful to the University of Stellenbosch, South Africa, and the third author to the Deutsche Forschungsgemeinschaft (DFG) for financial assistance.     

Definable groups of partial automorphisms

The motivation for this paper is to extend the known model-theoretic treatment of differential Galois theory to the case of linear difference equations (where the derivative is replaced by an automorphism). The model-theoretic difficulties in this case arise from the fact that the corresponding theory ACFA does not eliminate quantifiers. We therefore study groups of restricted automorphisms, preserving only part of the structure. We give conditions for such a group to be (infinitely) definable, and when these conditions are satisfied we describe the definition of the group and the action explicitly. We then examine the special case when the theory in question is obtained by enriching a stable theory with a generic automorphism. Finally, we interpret the results in the case of ACFA, and explain the connection of our construction with the algebraic theory of Picard–Vessiot extensions. The only model-theoretic background assumed is the notion of a definable set.      

Embedded Rotational Hypersurfaces with Constant Scalar Curvature in Sn: A Correction to a Statement in M. L. Leite, Manuscripta Math. 67 (1990), 285-304.

We prove that there exist (n − 1)-dimensional compact embedded rotational hypersurfaces with constant scalar curvature (n − 1)(n − 2)S (S > 1) of S ⁿ other than product of spheres for 4 ≤ n ≤ 6. As a result, we prove that Leite’s Assertion was incorrect.The project is supported by the grant No. 10531090 of NSFC.     

On the unipotent characters of the Ree groups of type <Emphasis Type="Italic">G</Emphasis><Subscript>2</Subscript>

This note is concerned with the unipotent characters of the Ree groups of type G ₂. We determine the roots of unity associated by Lusztig and Digne-Michel to each unipotent character for and prove that the Fourier matrix of defined by Geck and Malle satisfies a conjecture of Digne-Michel. Our main tool is the Shintani descent of Ree groups of type G ₂.     

On orbits of automorphism groups II

Let G be a finite group, let A be a group of automorphisms of G and let C_G(A) denote the subgroup of fixed points of A in G. If the order of C_G(A) is coprime to the number of orbits of A in G, then C_G(A) is contained in the autocommutator subgroup [G, A]. The notion of class-avoiding automorphism is used to extend theorems of J. Thompson and P. Rowley. Received: 3 November 2008, Revised: 1 December 2008     

Lagrangian minimal surfaces in Lorentzian complex plane

Flat Lagrangian minimal surfaces in the Lorentzian complex plane are classified by B. Y. Chen and L. Vrancken in [8]. On the other hand, Vrancken proves in [11] that Lagrangian minimal surfaces of constant curvature in are flat surfaces. In this article, we classify all Lagrangian minimal surfaces in which are free from flat points. Received: 16 December 2007     

Finite groups in which all p-subnormal subgroups form a lattice

O. Kegel, in 1962, introduced the concept of p-subnormal subgroups of a finite group as the subgroups whose intersections with all Sylow p-subgroups of the group are Sylow p-subgroups of the subgroup. The set of p-subnormal subgroup of a finite group is not a lattice in general. In this paper, the class of all finite groups in which all p-subnormal subgroups from a lattice is determined. This is the class of all finite p-soluble groups whose p-length and p′-length, both, are less or equal to 1. The join-semilattice case and the meet-semilattice case are analyzed separately. The authors are supported by Proyecto PB 94-1048 of DGICYT, Ministerio de Educación y Ciencia of Spain.     

The Schur property for subgroup lattices of groups

A classical theorem of Schur states that if the centre of a group G has finite index, then the commutator subgroup G′ of G is finite. A lattice analogue of this result is proved in this paper: if a group G contains a modularly embedded subgroup of finite index, then there exists a finite normal subgroup N of G such that G/N has modular subgroup lattice. Here a subgroup M of a group G is said to be modularly embedded in G if the lattice is modular for each element x of G. Some consequences of this theorem are also obtained; in particular, the behaviour of groups covered by finitely many subgroups with modular subgroup lattice is described. Received: 16 October 2007, Final version received: 22 February 2008     

Applications of a theorem of Singerman about Fuchsian groups

Assume that we have a (compact) Riemann surface S, of genus greater than 2, with , where is the complex unit disc and Γ is a surface Fuchsian group. Let us further consider that S has an automorphism group G in such a way that the orbifold S/G is isomorphic to where is a Fuchsian group such that and has signature σ appearing in the list of non-finitely maximal signatures of Fuchsian groups of Theorems 1 and 2 in [6]. We establish an algebraic condition for G such that if G satisfies such a condition then the group of automorphisms of S is strictly greater than G, i.e., the surface S is more symmetric that we are supposing. In these cases, we establish analytic information on S from topological and algebraic conditions. Received: 4 April 2008     

Symmetric generation of Coxeter groups

We provide involutory symmetric generating sets of finitely generated Coxeter groups, fulfilling a suitable finiteness condition, which in particular is fulfilled in the finite, affine and compact hyperbolic cases.