The structure of symmetry groups of GK(2n,G)

The automorphism groups of the one-factorizations GK(2n,G) are computed. It is shown that every 1-factorization of K_2n with a subgroup of the automorphism group that acts sharply 2-transitively on the one-factors must be GK(p^m + 1, (Z_p)^m) for some odd prime p. © 1994 John Wiley & Sons, Inc.     

On the Q-rational cuspidal subgroup and the component group ofJ 0(p r )

Forp≥3 a prime, we compute theQ-rational cuspidal subgroupC(p ^r ) of the JacobianJ ₀(p ^r ) of the modular curveX ₀(p ^r ). This result is then applied to determine the component group Φ _p ^r of the Néron model ofJ ₀(p ^r ) overZ _p . This extends results of Lorenzini [7]. We also study the action of the Atkin-Lehner involution on thep-primary part ofC(p ^r ), as well as the effect of degeneracy maps on the component groups.     

The Autotopism Group of A Semifield of Order p 4, p is an Odd Prime

The aim of this article is to investigate the autotopism group of a semifield of order p ⁴, p is an odd prime, admitting a four-group of automorphisms E? Z ₂ × Z ₂ acting freely on A.     

The 2-primary torsion on elliptic curves in the Z p -extensions of Q

Let E be an elliptic curve over Q and p a prime number. Denote by Q_p,∞ the Z_p-extension of Q. In this paper, we show that if p≠3, then where E(Q_p,∞)₍₂₎ is the 2-primary part of the group E(Q_p,∞) of Q_p,∞-rational points on E. More precisely, in case p=2, we completely classify E(Q_2,∞)₍₂₎ in terms of E(Q)₍₂₎; in case p≥5 (or in case p=3 and E(Q)₍₂₎≠{O}), we show that E(Q_p,∞)₍₂₎=E(Q)₍₂₎.     

QUASIREGULAR TORSION RINGS HAVING ISOMORPHIC ADDITIVE AND CIRCLE COMPOSITION GROUPS

Abstract

We investigate the role played by torsion properties in determining whether or not a commutative quasiregular ring has its additive and circle composition (or adjoint) groups isomorphic. We clarify and extend some results for nil rings, showing, in particular, that an arbitrary torsion nil ring has the isomorphic groups property if and only if the components from its primary decomposition into p-rings do too.

We look at the more specific case of finite rings, extending the work of others to show that a non-trivial ring with the isomorphic groups property can be constructed if the additive group has one of the following groups in its decomposition into cyclic groups: Z₂ ⁿ (for n ≥ 3), Z₂ ⊕ Z₂ ⊕ Z₂, Z₂ ⊕ Z₄, Z₄ ⊕ Z₄, Z _p ⊕ Z _p (for odd primes, p), or Z _p ⁿ (for odd primes, p, and n ≥ 2).

We consider, also, an example of a ring constructed on an infinite torsion group and use a specific case of this to show that the isomorphic groups property is not hereditary.     

On (p a , p b , p a , p a-b )-Relative Difference Sets

This paper provides new exponent and rank conditions for the existence of abelian relative (p ^a,p ^b,p ^a,p ^a–b)-difference sets. It is also shown that no splitting relative (2^2c,2^d,2^2c,2^2c–d)-difference set exists if d > c and the forbidden subgroup is abelian. Furthermore, abelian relative (16, 4, 16, 4)-difference sets are studied in detail; in particular, it is shown that a relative (16, 4, 16, 4)-difference set in an abelian group G Z₈ × Z₄ × Z₂ exists if and only if exp(G) 4 or G = Z₈ × (Z₂)³ with N Z₂ × Z₂.     

Z-cyclic triplewhist tournaments—The noncompatible case,part I

Two odd primes odd, are said to be noncompatible if b₁ ≠ b₂. For all noncompatible (ordered) pairs of primes (p₁, p₂) such that p_i ≡ p_i < 200, i = 1,2 we establish the existence of Z-cyclic triplewhist tournaments on 3p₁ p₂ + 1 players. It is believed that these results are the first examples of such tournaments, indeed the first examples of Z-cyclic whist tournaments for such players. In Part 2 we extend the results of this study and establish the existence of Z-cyclic triplewhist tournaments on players for all α₁ ≥ 1, α₂ ≥ 1 and p₁, p₂ as described above. © 1997 John Wiley & Sons, Inc.     

Tournaments with prescribed regular automorphism group

A tournamentX is a TRR for a groupG if (a)G acts regularly on the vertices ofX and (b) Aut(X) is isomorphic toG. We correct some previous work of Babai and Imrich by showing thatZ ₂ ³ andZ ₃ ³ are the only groups of odd order without TRR's. Our methods are perhaps of independent interest, since we use a probabilistic approach.     

Energy of Flows on Percolation Clusters

It is well known for which gauge functions H there exists a flow in Z ^d with finite H energy. In this paper we discuss the robustness under random thinning of edges of the existence of such flows. Instead of Z ^d we let our (random) graph cal C cal (Z ^d,p) be the graph obtained from Z ^d by removing edges with probability 1–p independently on all edges. Grimmett, Kesten, and Zhang (1993) showed that for d3,p>p _c(Z ^d), simple random walk on cal C cal (Z ^d,p) is a.s. transient. Their result is equivalent to the existence of a nonzero flow f on the infinite cluster such that the x ² energy _e f(e)² is finite. Levin and Peres (1998) sharpened this result, and showed that if d3 and p>p _c(Z ^d), then cal C cal (Z ^d,p) supports a nonzero flow f such that the x ^q energy is finite for all q>d/(d–1). However, for general gauge functions, there is a gap between the existence of flows with finite energy which results from the work of Levin and Peres and the known results on flows for Z ^d. In this paper we close the gap by showing that if d3 and Z ^d supports a flow of finite H energy then the infinite percolation cluster on Z ^d also support flows of finite H energy. This disproves a conjecture of Levin and Peres.     

Bases normales,unités et conjecture faible de leopoldt

Letk be a number field,p an odd prime,R _k the ring ofp-integers ofk. We use Iwasawa theory to study theZ _p -moduleG(R _k ,Z _p ) (resp.NB (R _k ,Z _p )) ofclasses ofZ _p -extensions (resp.Z _p -extensions having a normal basis overR _k ) ofR _k . The rank ofG(G _k ,Z _p ) (resp.NB(R _k ,Z _p )) is related to Leopoldt's conjecture (resp. weak Leopoldt's conjecture) fork andp.      

Difference Sets Corresponding to a Class of Symmetric Designs

We study difference sets with parameters(v, k, ) = (p ^s(r ^2m - 1)/(r - 1), p ^s-1 r ^2m-2 r - 1)r ^{2m -2}, where r = r ^s - 1)/(p - 1) and p is a prime. Examples for such difference sets are known from a construction of McFarland which works for m = 1 and all p,s. We will prove a structural theorem on difference sets with the above parameters; it will include the result, that under the self-conjugacy assumption McFarland's construction yields all difference sets in the underlying groups. We also show that no abelian .160; 54; 18/-difference set exists. Finally, we give a new nonexistence prove of (189, 48, 12)-difference sets in Z ₃ × Z ₉ × Z ₇.     

Some Extensions of PSL(2, p 2) are Uniquely Determined by Their Complex Group Algebras

In Tong-Viet's, 2012 work, the following question arose: Question. Which groups can be uniquely determined by the structure of their complex group algebras?

It is proved here that some simple groups of Lie type are determined by the structure of their complex group algebras. Let p be an odd prime number and S = PSL(2, p ²). In this paper, we prove that, if M is a finite group such that S < M < Aut(S), M = ?₂ × PSL(2, p ²) or M = SL(2, p ²), then M is uniquely determined by its order and some information about its character degrees. Let X ₁(G) be the set of all irreducible complex character degrees of G counting multiplicities. As a consequence of our results, we prove that, if G is a finite group such that X ₁(G) = X ₁(M), then G ? M. This implies that M is uniquely determined by the structure of its complex group algebra.     

Torsion in Boundary Coinvariants and K -Theory for Affine Buildings

Let (G, I, N, S) be an affine topological Tits system, and let Γ be a torsion-free cocompact lattice in G. This article studies the coinvariants H ₀(Γ; C(Ω,Z)), where Ω is the Furstenberg boundary of G. It is shown that the class [1] of the identity function in H ₀(Γ; C(Ω, Z)) has finite order, with explicit bounds for the order. A similar statement applies to the K ₀ group of the boundary crossed product C ^*-algebra C(Ω)Γ. If the Tits system has type ? ₂, exact computations are given, both for the crossed product algebra and for the reduced group C ^*-algebra.     

Zeta functions related to the group SL2(ℤ p )

An explicit formula is given for the number of subgroups of indexp ⁿ in the principle congruence subgroups of SL₂(ℤ _p ) (for odd primesp), and for the zeta function associated with the group. Asymptotically this number iscnp ⁿ , wherec is a constant depending on the congruence subgroup. Also, the zeta function of thei-th congruence subgroup coincides with the partial zeta function of the 3-generated subgroups of thei+1-th congruence subgroup, and for each indexp ⁿ the ratio between 2-generated subgroups and 3-generated subgroups tends top - 1:1, asn tends to infinity. This work is part of the author’s Ph.D. thesis carried out at the Hebrew University of Jerusalem under the supervision of Prof. A. Lubotzky. I wish to thank Prof. Lubotzky for his continual interest and encouragement without which this paper would not have been published.     

On the nonabelian tensor square and capability of groups of order <Emphasis Type="Italic">p</Emphasis><Superscript>2</Superscript><Emphasis Type="Italic">q</Emphasis>

A group G is said to be capable if it is isomorphic to the central factor group H/Z(H) for some group H. Let G be a nonabelian group of order p ² q for distinct primes p and q. In this paper, we compute the nonabelian tensor square of the group G. It is also shown that G is capable if and only if either Z(G) = 1 or p < q and G^ab=\mathbbZ_p×\mathbbZ_p{G^{\rm ab}=\mathbb{Z}_{p}\times\mathbb{Z}_{p}} .     

Random Measures and Applications

Abstract

A mapping Z(·) from a δ-ring ?₀(?) into the vector space of random variables L ^p (P) is a vector-valued measure if it is σ-additive in the metric of its range. It is a vector measure if the range is a Banach space and a random measure if also its values are independent on disjoint sets. An important reason for this study is to construct integrals relative to such Zs, which typically do not have finite variation. For this, it is essential to find a controlling (σ-finite) measure for Z that is not available if 0 <p < 1, and here the random measure is taken to be p-stable and utilize properties of infinitely divisible distributions. In the case of p = 2, Z(·) induces a bimeasure, and if p > 2 is an integer it induces a polymeasure, either of which need not be (signed) measures on product spaces. Important applications lead to all these possibilities. In all those cases, a detailed analysis of vector-valued set functions is presented, with special focus for the cases of 0 <p < 1 and p = 2 where probability and Bochner's L ^{2, 2} boundedness plays a key role. Specialization if Z is stationary, harmonizable, and/or isotropic are discussed using the group structure of ? ⁿ , n ≥ 1, extending it for an lca group G. If Z is Banach valued or a quasi-martingale measure, methods of obtaining integrals are outlined in the last section, and open problems motivated by applications are pointed out at various places.     

On a class of transitive permutation groups of prime degreep=4n+1

SupposeG is a nonsolvable transitive permutation group of prime degreep, such that |N _G v(P)|=p(p−1) for some Sylowp-subgroupP ofG. Letq be a generator of the subgroup ofN _G (P), fixing one letter (it is easy to show that this subgroup is cyclic). Assume thatG contains an elementj such thatj ⁻¹ qj=q ^(p+1)/2. We shall prove that for almost all primesp of the formp=4n+1, a group that satisfies the above conditions must be the symmetric group on a set withp elements.     

Looking for difference sets in D2p × Zq

We consider groups D_2p × Z_q, with p and q odd primes, q < p, and for which each prime dividing n has order p − 1 (mod p). If such a group contains a nontrivial difference set, D, our main theorem gives constraints on the parameters of D. This in turn rules out difference sets in some groups of this form. For instance, D₂₂ × Z₃ contains no nontrivial difference set. © 2000 John Wiley & Sons, Inc. J Combin Designs 8: 35–41, 2000     

Symmetric polynomials constructed from moduli of stable sheaves with oddc 1 on ruled surfaces

We shall describe a universal sheaf for the moduli of stable sheaves with odd first chern class over ruled surfacesX. Then, we define and compute a set of symmetric polynomials in the symmetric algebra Sym^* (H ²(X;Z)), which are algebro-geometric analogues of Donaldson's polynomials (see [7] and [8]).