Normal subgroups of nonstandard symmetric and alternating groups

Let be a nonstandard model of Peano Arithmetic with domain M and let be nonstandard. We study the symmetric and alternating groups S _n and A _n of permutations of the set internal to , and classify all their normal subgroups, identifying many externally defined such normal subgroups in the process. We provide evidence that A _n and S _n are not split extensions by these normal subgroups, by showing that any such complement if it exists, cannot be a limit of definable sets. We conclude by identifying an -valued metric on and (where B _S , B _A are the maximal normal subgroups of S _n and A _n identified earlier) making these groups into topological groups, and by showing that if is -saturated then and are complete with respect to this metric.      

On the orders of finite semisimple groups

The aim of this paper is to investigate the order coincidences among the finite semisimple groups and to give a reasoning of such order coincidences through the transitive actions of compact Lie groups. It is a theorem of Artin and Tits that a finite simple group is determined by its order, with the exception of the groups (A₃(2), A₂(4)) and(B _n (q), C _n (q)) forn ≥ 3,q odd. We investigate the situation for finite semisimple groups of Lie type. It turns out that the order of the finite group H( ) for a split semisimple algebraic groupH defined over , does not determine the groupH up to isomorphism, but it determines the field under some mild conditions. We then put a group structure on the pairs(H ₁,H ₂) of split semisimple groups defined over a fixed field such that the orders of the finite groups H₁( ) and H₂( ) are the same and the groupsH _i have no common simple direct factors. We obtain an explicit set of generators for this abelian, torsion-free group. We finally show that the order coincidences for some of these generators can be understood by the inclusions of transitive actions of compact Lie groups.     

Fundamental Domains for Finite Subgroups in <Emphasis Type="Italic">U</Emphasis>(2) and Configurations of Lagrangians

We show that every finite subgroup of U(2) is contained with index two in a group generated by involutions fixing Lagrangian planes. We describe fundamental domains for their action on related to the configuration of these Lagrangian planes.     

Homotopy Categories for Simply Connected Torsion Spaces

For each n > 1 and each multiplicative closed set of integers S, we study closed model category structures on the pointed category of topological spaces, where the classes of weak equivalences are classes of maps inducing isomorphism on homotopy groups with coefficients in determined torsion abelian groups, in degrees higher than or equal to n. We take coefficients either on all the cyclic groups with s ∈ S, or in the abelian group where is the group of fractions of the form with s ∈ S. In the first case, for n > 1 the localized category is equivalent to the ordinary homotopy category of (n − 1)-connected CW-complexes whose homotopy groups are S-torsion. In the second case, for n > 1 we obtain that the localized category is equivalent to the ordinary homotopy category of (n − 1)-connected CW-complexes whose homotopy groups are S-torsion and the nth homotopy group is divisible. These equivalences of categories are given by colocalizations , obtained by cofibrant approximations on the model structures. These colocalization maps have nice universal properties. For instance, the map is final (in the homotopy category) among all the maps of the form Y → X with Y an (n − 1)-connected CW-complex whose homotopy groups are S-torsion and its nth homotopy group is divisible. The spaces , are constructed using the cones of Moore spaces of the form M(T, k), where T is a coefficient group of the corresponding structure of models, and homotopy colimits indexed by a suitable ordinal. If S is generated by a set P of primes and S ^p is generated by a prime p ∈ P one has that for n > 1 the category is equivalent to the product category . If the multiplicative system S is generated by a finite set of primes, then localized category is equivalent to the homotopy category of n-connected Ext-S-complete CW-complexes and a similar result is obtained for .     

Holomorphic automorphisms and collective compactness in J*-algebras of operator

Let G be the Banach-Lie group of all holomorphic automorphisms of the open unit ball in a J^*-algebra of operators. Let be the family of all collectively compact subsets W contained in . We show that the subgroup F ⊂ G of all those g ∈ G that preserve the family is a closed Lie subgroup of G and characterize its Banach-Lie algebra. We make a detailed study of F when is a Cartan factor.      

Cartan calculus for quantum differentials on bicrossproducts

We provide the Cartan calculus for bicovariant differential forms on bicrossproduct quantum groups k(M) k G associated to finite group factorizations X = GM and a field k. The irreducible calculi are associated to certain conjugacy classes in X and representations of isotropy groups. We find the full exterior algebras and show that they are inner by a bi-invariant 1-form which is a generator in the noncommutative de Rham cohomology H ¹. The special cases where one subgroup is normal are analysed. As an application, we study the noncommutative cohomology on the quantum codouble D ^*(S ₃)k(S ₃) k₆ and the quantum double D(S ₃) \triangleleft $$ " align="middle" border="0"> k S ₃, finding respectively a natural calculus and a unique calculus with H ⁰ = k.1.     

On the word problem and the conjugacy problem for groups of the formF/V(R)

LetF be a free group with at most countable system of free generators, letR be its normal subgroup recursively enumerable with respect to , and let be a variety of groups that differs from and for which the corresponding verbal subgroupV of the free group of countable rank is recursive. It is proved that the word problem inF/V(R) is solvable if and only if this problem is solvable inF/R, and if , then there exists anR such, that the conjugacy problem inF/R is solvable, but this problem is unsolvable inF/V(R) for any Abelian variety (all algorithmic problems are regarded with respect to the images of under the corresponding natural epimorphisms). Translated fromMatematicheskie Zametki, Vol. 61, No. 1, pp. 3–9, January, 1997. Translated by M. I. Anokhin     

Sequences in abelian groups G of odd order without zero-sum subsequences of length exp(G)

We present a new construction for sequences in the finite abelian group without zero-sum subsequences of length n, for odd n. This construction improves the maximal known cardinality of such sequences for r > 4 and leads to simpler examples for r > 2. Moreover we explore a link to ternary affine caps and prove that the size of the second largest complete caps in AG(5, 3) is 42.      

On solvable minimally transitive permutation groups

We investigate properties of finite transitive permutation groups in which all proper subgroups of G act intransitively on . In particular, we are interested in reduction theorems for minimally transitive representations of solvable groups. Work partially supported by M.I.U.R. and London Mathematical Society.     

Hyperbolic unit groups and quaternion algebras

We classify the quadratic extensions and the finite groups G for which the group ring [G] of G over the ring of integers of K has the property that the group of units of augmentation 1 is hyperbolic. We also construct units in the ℤ-order of the quaternion algebra , when it is a division algebra.     

Looking for Difference Sets in Groups with Dihedral Images

We prove four theorems about groups with a dihedral (or cyclic) image containing a difference set. For the first two, suppose G, a group of order 2p with p an odd prime, contains a nontrivial (v, k, ) difference set D with order n = k – prime to p and self-conjugate modulo p. If G has an image of order p, then 0 2a + 2 for a unique choice of = ±1, and for a = (k – )/2p. If G has an image of order 2p, then and ( – 1)/( – 1). There are further constraints on n, a and . We give examples in which these theorems imply no difference set can exist in a group of a specified order, including filling in some entries in Smith's extension to nonabelian groups of Lander's tables. A similar theorem covers the case when p|n. Finally, we show that if G contains a nontrivial (v, k, ) difference set D and has a dihedral image D _2m with either (n, m) = 1 or m = p ^t for p an odd prime dividing n, then one of the C ₂ intersection numbers of D is divisible by m. Again, this gives some non-existence results.     

Lyapunov spectra for KMS states on Cuntz-Krieger algebras

We study relations between (H,β)-KMS states on Cuntz-Krieger algebras and the dual of the Perron-Frobenius operator . Generalising the well-studied purely hyperbolic situation, we obtain under mild conditions that for an expansive dynamical system there is a one-one correspondence between (H,β)-KMS states and eigenmeasures of for the eigenvalue 1. We then apply these general results to study multifractal decompositions of limit sets of essentially free Kleinian groups G which may have parabolic elements. We show that for the Cuntz-Krieger algebra arising from G there exists an analytic family of KMS states induced by the Lyapunov spectrum of the analogue of the Bowen-Series map associated with G. Furthermore, we obtain a formula for the Hausdorff dimensions of the restrictions of these KMS states to the set of continuous functions on the limit set of G. If G has no parabolic elements, then this formula can be interpreted as the singularity spectrum of the measure of maximal entropy associated with G. The second author was supported by the DFG project “Ergodentheoretische Methoden in der hyperbolischen Geometrie”.     

Commutative Group Algebras of Cardinality {\cal N} 1

We let FG be the group algebra of an abelian group G over a field F with characteristic p. Also, we define G_p and S(FG) as the groups of all p-primary normed elements in G and FG, respectively. We prove that if G_p is Hausdorff and both F and G have cardinalities not exceeding ₁, then S(FG)/G_p is a direct sum of cyclics. Thus G_p is a direct factor of S(FG), and in particular G is a direct factor of the group of all normalized units V(FG), provided that the torsion part of G is a p-group. This answers a question posed by us in Hokkaido Math. J. (2000). Moreover we establish that if G is p-splitting, then any F-isomorphism of the group algebras FG and FH implies that H is p-splitting. We also show that if G is of power ₁ whose p-component G_p is a direct sum of torsion-complete groups and F has power p, then the F-isomorphism of FG and FH for any group H yields an isomorphism between G_p and H_p. In particular, when G is of power ₁ and is p-mixed of torsion-free rank 1 whose G_p is torsion-complete, we have G H. If F is in power p and G, with cardinality ₁, is a direct sum of p-local algebraically compact groups such that FG FH as F-algebras for some group H, then G H. These statements extend results due to Beers-Richman-Walker (1983), and also partially solve a well-known question raised by May in 1979.     

Invariants Cohomologiques de Rost En Caractéristique PositiveRost''s Cohomological Invariants in Positive Characteristic

Let G/F be a semisimple algebraic group defined over a field F with characteristic . Let us denote by the Galois cohomology group introduced by Kato. If , we show that the p-primary part of Rost's invariant lifts in characteristic 0. This result allows to deduce properties of the Rost invariant in positive characteristic from known properties in characteristic 0. The case of Merkurjev–Suslin's invariant is specially interesting, i.e. if G/F=SL(D) for a central simple algebra D/F with degree p and class , one has and an element is a reduced norm if and only if the cup-product is trivial in ; one characterizes also in positive characteristic fields with p-dimension by the surjectivity of reduced norms.In a second part, we study Rost invariants when the base field is complete for a discrete valuation. As planned by Serre, invariants are then linked with Bruhat–Tits' theory, this yields a new proof of their nontriviality.     

Bestvina's Normal Form Complex and the Homology of Garside Groups

A Garside group is a group admitting a finite lattice generating set . Using techniques developed by Bestvina for Artin groups of finite type, we construct K(π, 1)s for Garside groups. This construction shows that the (co)homology of any Garside group G is easily computed given the lattice , and there is a simple sufficient condition that implies G is a duality group. The universal covers of these K(π, 1)s enjoy Bestvina's weak nonpositive curvature condition. Under a certain tameness condition, this implies that every solvable subgroup of G is virtually Abelian.     

On Characterizations of Rigid Graphs in the Plane Using Spanning Trees

We study characterizations of generic rigid graphs and generic circuits in the plane using only few decompositions into spanning trees. Generic rigid graphs in the plane can be characterized by spanning tree decompositions [5,6]. A graph G with n vertices and 2n − 3 edges is generic rigid in the plane if and only if doubling any edge results in a graph which is the union of two spanning trees. This requires 2n − 3 decompositions into spanning trees. We show that n − 2 decompositions suffice: only edges of G − T can be doubled where T is a spanning tree of G. A recent result on tensegrity frameworks by Recski [7] implies a characterization of generic circuits in the plane. A graph G with n vertices and 2n − 2 edges is a generic circuit in the plane if and only if replacing any edge of G by any (possibly new) edge results in a graph which is the union of two spanning trees. This requires decompositions into spanning trees. We show that 2n − 2 decompositions suffice. Let be any circular order of edges of G (i.e. ). The graph G is a generic circuit in the plane if and only if is the union of two spanning trees for any . Furthermore, we show that only n decompositions into spanning trees suffice.     

Subgroups Of Direct Products Of Elementarily Free Groups

The structure of groups having the same elementary theory as free groups is now known: they and their finitely generated subgroups form a prescribed subclass of the hyperbolic limit groups. We prove that if G ₁,...,G _n are in then a subgroup Γ ⊂ G ₁ × … × G _n is of type FP _n if and only if Γ is itself, up to finite index, the direct product of at most n groups from . This provides a partial answer to a question of Sela. This work was supported in part by Franco–British Alliance project PN 05.004. The first author is also supported by an EPSRC Senior Fellowship and a Royal Society Wolfson Research Merit Award. Received: July 2005 Accepted: April 2006     

Sequences of words characterizing finite solvable groups

There are two sequences in two variables which characterize the solvability of finite groups. Namely, the sequence of Bandman, Greuel, Grunewald, Kunyavskii, Pfister and Plotkin which is defined by u ₁ = x ⁻² y ⁻¹ x and and the sequence of Bray, Wilson, and Wilson defined by s ₁ = x and . We define new sequences and proof that six of them characterize the solvability of finite groups.      

Quasi-localizations of ℤ

Motivated by the categorical notion of localizations applied to the quasi-category of abelian groups, we call a homomorphism α: A → B a quasi-localization of abelian groups if for each ϕ ∈ Hom(A,B) there is an n ∈ ℕ and a unique ψ ∈ End(B) such that nϕ = ψ ∘ α. In this case we call B a quasi-localization of A. In this paper we investigate quasi-localizations of the integers ℤ. While it is well-known that localizations of ℤ are just the E-rings, quasi-localizations of ℤ are much more abundant; an injection α: ℤ → M with M torsion-free, is a quasi-localization if and only if, for R = End(M), one has . We call R the ring of the quasi-localization M. Some old results due to Zassenhaus and Butler show that all rings with free additive groups of finite rank are indeed rings of quasi-localizations of ℤ. We will extend this result and show that there are also rings of infinite rank with this property. While there are many realization results of rings R as endomorphism rings of torsion-free abelian groups M in the literature, the group M is usually not contained in the divisible hull of R ⁺, as is required here. We will use a particular case of a category of left R-modules M with a distinguished family of submodules and thus . We will restrict our discussion to the case M = R such that , and in this case we call the family of left ideals E-forcing, not to be confused with the notion of forcing in set theory. We will provide many examples of quasi-localizations M of ℤ, among them those of infinite rank as well as matrix rings for various rings of finite rank.