Existence of directed GDDs with block size five

In this article, we construct directed group divisible designs (DGDDs) with block size five, group-type hⁿ, and index unity. The necessary conditions for the existence of such a DGDD are n ≥ 5, (n − 1)h ≡ 0 (mod 2) and n(n − 1)h² ≡ 0 (mod 10). It is shown that these necessary conditions are also sufficient, except possibly for n = 15 where h ≡ 1 or 5 (mod 6) and h ≢ 0 (mod 5), or (n, h) = (15, 9). © 1998 John Wiley & Sons, Inc. J Combin Designs 6: 389–402, 1998     

Homomorphisms of Edge-Colored Graphs and Coxeter Groups

Let be two edge-colored graphs (without multiple edges or loops). A homomorphism is a mapping : for which, for every pair of adjacent vertices u and v of G ₁, (u) and (v) are adjacent in G ₂ and the color of the edge (u)(v) is the same as that of the edge uv.We prove a number of results asserting the existence of a graphG , edge-colored from a set C, into which every member from a given class of graphs, also edge-colored from C, maps homomorphically.We apply one of these results to prove that every three-dimensional hyperbolic reflection group, having rotations of orders from the setM ={m₁, m₂,..., m_k}, has a torsion-free subgroup of index not exceeding some bound, which depends only on the setM .     

The Augmentation Quotients of the Groups of Order 25, II

We have described the structure of Q _n (G) = Δ ⁿ (G)/Δ ⁿ⁺¹(G) for 35 particular classes of groups G with order 2⁵ in the previous article. In this article, the structure of Q _n (G) for all the remaining classes of groups G with order 2⁵ are presented.     

Three-Dimensional Topological Loops with Solvable Multiplication Groups

We prove that each 3-dimensional connected topological loop L having a solvable Lie group of dimension ≤5 as the multiplication group of L is centrally nilpotent of class 2. Moreover, we classify the solvable non-nilpotent Lie groups G which are multiplication groups for 3-dimensional simply connected topological loops L and dim G ≤ 5. These groups are direct products of proper connected Lie groups and have dimension 5. We find also the inner mapping groups of L.     

Mordell-Weil groups and Selmer groups of twin- prime elliptic curves

Let E = Eσ : y2 = x(x + σp)(x + σq) be elliptic curves, where σ = ±1, p and q are primenumbers with p+2 = q. (i) Selmer groups S(2)(E/Q), S(φ)(E/Q), and S(φ)(E/Q) are explicitly determined,e.g. S(2)(E+1/Q)= (Z/2Z)2, (Z/2Z)3, and (Z/2Z)4 when p ≡ 5, 1 (or 3), and 7(mod 8), respectively. (ii)When p ≡ 5 (3, 5 for σ = -1) (mod 8), it is proved that the Mordell-Weil group E(Q) ≌ Z/2Z Z/2Z,symbol, the torsion subgroup E(K)tors for any number field K, etc. are also obtained.     

The Augmentation Quotients of the Groups of Order 25, I

In this article we present the nth power Δ ⁿ (G) of the augmentation ideal Δ(G) and describe the structure of Q _n (G) = Δ ⁿ (G)/Δ ⁿ⁺¹(G) for 35 particular groups G of order 2⁵. The structure of Q _n (G) for all the remaining groups of order 2⁵ will be determined in a forthcoming article.     

Embedding the Outer Automorphism Group Out(F n ) of a Free Group of Rank n in the Group Out(F m ) for m>n

It is proved that for every n 1, the group Out(F _n )is embedded in the group Out(F _m ) with m=1+(n-1)k ⁿ , where k is an arbitrary natural number coprime to n-1.     

The normalizer of

In this paper, the normalizers of , for k = 2 or 3, in the groups Γ^k of modular group Γ are given by using the concept of Γ^k axes of the set of left cosets of , on which Γ^k acts transitively, in Γ^k.     

Pure quantitative characterization of linear groups over the binary field

The purpose of this paper is to discuss the pure scalar characterization of the automorphism group Aut (L ₅(2)) and the linear group L ₆(2). It is proved that Aut(L ₅(2)) and L ₆(2) can be characterized quantitatively by the set of element orders. The main results are obtained by using William’s work on prime graph components of finite groups and Brauer characters in trivializing the possible 2-subgroups. __________ Translated from Chinese Annals of Mathematics, 2003, 24A(6): 675–682. This work was supported by the National Natural Science Foundation of China under grant number 10171074     

A New Characterization of PSL(p,q)

Abstract

Order components of a finite group are introduced in Chen [Chen, G. Y. (1996c) On Thompson's conjecture. J. Algebra 185:184–193]. It was proved that PSL(3, q), where q is an odd prime power, is uniquely determined by its order components [Iranmanesh, A., Alavi, S. H., Khosravi, B. (2002a). A characterization of PSL(3, q) where q is an odd prime power. J. Pure Appl. Algebra 170(2–3): 243–254]. Also in Iranmanesh et al. [Iranmanesh, A., Alavi, S. H., Khosravi, B. (2002b). A characterization of PSL(3, q) where q = 2 ⁿ . Acta Math. Sinica, English Ser. 18(3):463–472] and [Iranmanesh, A., Alavi, S. H. (2002). A characterization of simple groups PSL(5, q). Bull. Austral. Math. Soc. 65:211–222] it was proved that PSL(3, q) for q = 2 ⁿ and PSL(5, q) are uniquely determined by their order components. In this paper we prove that PSL(p, q) can be uniquely determined by its order components, where p is an odd prime number. A main consequence of our results is the validity of Thompson's conjecture for the groups under consideration.     

New 5-designs with automorphism group PSL(2, 23)

Blocks of the unique Steiner system S(5, 8, 24) are called octads. The group PSL(2, 23) acts as an automorphism group of this Steiner system, permuting octads transitively. Inspired by the discovery of a 5-(24, 10, 36) design by Gulliver and Harada, we enumerate all 4- and 5-designs whose set of blocks are union of PSL(2, 23)-orbits on 10-subsets containing an octad. © 1999 John Wiley & Sons, Inc. J Combin Designs 7: 147–155, 1999     

On a Rank Five Geometry of Meixner for the Mathieu Group M12

We construct a rank five residually connected and firm geometry on which the Mathieu group M ₁₂ acts flag-transitively and residually weakly primitively (RWPRI). The group M ₁₂ is the group of automorphisms of and Aut(M ₁₂) is the correlation group of , in particular is self-dual. The diagram of is the following. Moreover satisfies the conditions (IP)₂ and (2T)₁. As a corollary, we obtain that the (RWPRI+(IP)₂)-rank of M ₁₂ is 5.     

Recognizing Groups G 23 n ) by Their Element Orders

It is proved that a finite group that is isomorphic to a simple non-Abelian group G=G ₂(3 ⁿ ) is, up to isomorphism, recognized by a set (G) of its element orders, that is, H G if (H)=(G) for some finite group H.     

Definability of Completely Decomposable Torsion-Free Abelian Groups by Groups of Homomorphisms

Let C be an Abelian group. An Abelian group A in some class of Abelian groups is said to be _C H-definable in the class if, for any group B\in , it follows from the existence of an isomorphism Hom(C,A) Hom(C,B) that there is an isomorphism A B. If every group in is _C H-definable in , then the class is called an _C H-class. In the paper, conditions are studied under which a class of completely decomposable torsion-free Abelian groups is a _C H-class, where C is a completely decomposable torsion-free Abelian group.     

Quaternionic Starters

Let m be an integer, m 2 and set n = 2^m. Let G be a non-cyclic group of order 2n admitting a cyclic subgroup of order n. We prove that G always admits a starter and so there exists a one–factorization of K_2n admitting G as an automorphism group acting sharply transitively on vertices. For an arbitrary even n > 2 we also show the existence of a starter in the dicyclic group of order 2n.Research performed within the activity of INdAM–GNSAGA with the financial support of the Italian Ministry MIUR, project Strutture Geometriche, Combinatoria e loro Applicazioni     

Group‐divisible designs with block size k having k + 1 groups,for k = 4, 5

We investigate the spectrum for k‐GDDs having k + 1 groups, where k = 4 or 5. We take advantage of new constructions introduced by R. S. Rees (Two new direct product‐type constructions for resolvable group‐divisible designs, J Combin Designs, 1 (1993), 15–26) to construct many new designs. For example, we show that a resolvable 4‐GDD of type g⁵ exists if and only if g ≡ 0 mod 12 and that a resolvable 5‐GDD of type g⁶ exists if and only if g ≡ 0 mod 20. We also show that a 4‐GDD of type g⁴m¹ exists (with m > 0) if and only if g ≡ m ≡ 0 mod 3 and 0 < m ≤ 3g/2, except possibly when (g,m) = (9,3) or (18,6), and that a 5‐GDD of type g⁵m¹ exists (with m > 0) if and only if g ≡ m ≡ 0 mod 4 and 0 < m ≤ 4g/3, with 32 possible exceptions. © 2000 John Wiley & Sons, Inc. J Combin Designs 8: 363–386, 2000     

A Family of Finite Simple Groups Which Are 2-Recognizable by Their Elements Order

Abstract

Let G be a finite group and ω(G) the set of all orders of elements in G. Denote by h(ω(G)) the number of isomorphism classes of finite groups H satisfying ω(H) = ω(G), and put h(G) = h(ω(G)). A group G is called k-recognizable if h(G) = k < ∞ , otherwise G is called non-recognizable. In the present article we will show that the simple groups PSL(3, q), where q ≡ ±2(mod 5) and (6, (q ? 1)/2) = 2, are 2-recognizable. Therefore if q is a prime power and q ≡ 17, 33, 53 or 57 (mod 60), then the groups PSL(3, q) are 2-recognizable. Hence proving the existing of an infinite families of 2-recognizable simple groups.