Tame Kernels of Quaternion Number Fields

Let E/F be a Galois extension of number fields with the quaternion Galois group Q ₈. In this paper, we prove some relations connecting orders of the odd part of the kernel of the transfer map of the tame kernel of E with the same orders of some of its subfields. Let E/? be a Galois extension of number fields with the Galois group Q ₈ and p an odd prime such that p ≡ 3 (mod 4). We prove that if there is at most one quadratic subfield such that the p-Sylow subgroup of the tame kernel is nontrivial, then p ^r -rank(K ₂(E/K)) is even, i.e., 2|p ^r -rank(K ₂(𝒪 _E )) ? p ^r -rank(K ₂(𝒪 _K )), where K is the quartic subfield of E.     

Automorphism Groups of Finite Abelian p-groups and Transvections

We define a particular type of automorphisms called transvections on a finite finite abelian p-group H_p. It is proved that the subgroup E of the automorphism group Aut(H_p) of H_p generated by those transvections is normal in it, and that Aut(H_p) can be written as the product of E and some abelian subgroup K. The center of Aut(H_p) is also determined.     

Equivariant Spectral Triples on the Quantum SU(2) Group

We characterize all equivariant odd spectral triples for the quantum SU(2) group acting on its L ₂-space and having a nontrivial Chern character. It is shown that the dimension of an equivariant spectral triple is at least three, and given any element of the K-homology group of SU_q(2), there is an equivariant odd spectral triple of dimension 3 inducing that element. The method employed to get equivariant spectral triples in the quantum case is then used for classical SU(2), and we prove that for p < 4, there does not exist any equivariant spectral triple with nontrivial K-homology class and dimension p acting on the L ₂-space.The first author would like to acknowledge support from the National Board of Higher Mathematics, India.     

Finite 2-generator equilibrated p-groups

Following Blackburn, Deaconescu and Mann, a group G is called an equilibrated group if for any subgroups H,K of G with HK = KH, either H≤NG(K) or K≤NG(H). Continuing their work and based on the classification of metacyclic p-groups given by Newman and Xu, we give a complete classification of 2-generator equilibrated p-groups in this note.     

On Cyclotomic Numbers and the Reduction Map for the K-Theory of the Integers

We apply the recently proven compatibility of Beilinson and Soulé elements in K-theory to investigate density of rational primes p, for which the reduction map K _2n+1() K_{2n+1}(F_p)is nontrivial. Here n is an even, positive integer and F_p denotes the field of p elements. In the proof we use arithmetic of cyclotomic numbers which come from Soulé elements. Divisibility properties of the numbers are related to the Vandiver conjecture on the class group of cyclotomic fields. Using the K-theory of the integers, we compute an upper bound on the divisibility of these cyclotomic numbers.     

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.     

Tame Kernels for Biquadratic Number Fields

Let and , d₁ and d₂ squarefree integers, be an imaginary field and a biquadratic field, respectively. Let S be the set consisting of all infinite primes, all dyadic primes and all finite primes which ramify in E. Suppose the 4-rank of the class group of F is zero and the S-ideal class group of F has odd order, we give the forms of all elements of order ⩽ 2 in K₂O_E and use the Hurrelbrink and Kolster’s method [Hurrelbrink, J. and Kolster, M.: J. reine angew. Math. 499 (1998), 145–188] to obtain the forms of all elements of order 4 in K₂O_E. Received: September 2004     

Homomorphisms between A-Projective Abelian Groups and Left Kasch-Rings

Glaz and Wickless introduced the class G of mixed abelian groups A which have finite torsion-free rank and satisfy the following three properties: i) A _p is finite for all primes p, ii) A is isomorphic to a pure subgroup of _P A _P and iii) Hom(A, tA) is torsion. A ring R is a left Kasch ring if every proper right ideal of R has a non-zero left annihilator. We characterize the elements A of G such that E(A)/tE(A) is a left Kasch ring, and discuss related results.     

The period-index problem in WC-groups I: elliptic curves

Let E/K be an elliptic curve defined over a number field, and let p be a prime number such that E(K) has full p-torsion. We show that the order of the p-part of the Shafarevich-Tate group of E/L is unbounded as L varies over degree p extensions of K. The proof uses O’Neil's period-index obstruction. We deduce the result from the fact that, under the same hypotheses, there exist infinitely many elements of the Weil-Châtelet group of E/K of period p and index p².     

Doubly transitive 2‐factorizations

Let be a 2‐factorization of the complete graph K_v admitting an automorphism group G acting doubly transitively on the set of vertices. The vertex‐set V(K_v) can then be identified with the point‐set of AG(n, p) and each 2‐factor of is the union of p‐cycles which are obtained from a parallel class of lines of AG(n, p) in a suitable manner, the group G being a subgroup of A G L(n, p) in this case. The proof relies on the classification of 2‐(v, k, 1) designs admitting a doubly transitive automorphism group. The same conclusion holds even if G is only assumed to act doubly homogeneously. © 2006 Wiley Periodicals, Inc. J Combin Designs     

New examples of <Emphasis Type="Italic">c</Emphasis><Subscript>0</Subscript>-saturated Banach spaces

For every p ∈ (1, ∞), an isomorphically polyhedral Banach space E _p is constructed which has an unconditional basis and does not embed isomorphically into a C(K) space for any countable and compact metric space K. Moreover, E _p admits a quotient isomorphic to ℓ _p .     

Construction of free subgroups in the group of units of modular group algebras

Let KGbe the group algebra of a p¹ -group Gover a field Kof characteristic p > 0, and let U(KG)be its group of units. If KGcontains a nontrivial bicyclic unit and if Kis not algebraic over its prime field, then we prove that the free product Z_p? Z_p? Z_pcan be embedded in U(KG).     

The relationship between the boundedly controlled K1 and Whitehead groups

Let Z be a boundedness control space and p: X Z be a continuous map. The boundedly controlled Whitehead group Wh ^bc (X, p) is defined to be a quotient of the boundedly controlled K ₁-group K ₁ ^bc (X, p) by a certain subgroup whose generators are explicitly given. In general, little is known about this subgroup and it is even possible that it vanishes; i.e. that the boundedly controlled K ₁ and Whitehead groups are identical. This paper examines the structure of this subgroup in the case when p is the open cone on a PL map between compact polyhedra. As a byproduct, it calculates Wh ^bc (X, p) in some of these cases.Partially supported by the NSF under grant number DMS-8803149.     

On the <Emphasis Type="Italic">p</Emphasis>-supersolubility of a finite group with a µ-supplemented sylow <Emphasis Type="Italic">p</Emphasis>-subgroup

A subgroup H of a group G is called µ-supplemented in G if there exists a subgroup K such that G = HK and H ₁ K is a proper subgroup in G for every maximal subgroup H ₁ in H. For the initial values of p, we establish the p-supersolubility of a finite group with a μ-supplemented Sylow p-subgroup.     

K1 of Some Non-Commutative Completed Group Rings

We compute K₁ of completed group rings of some two dimensional p-adic Lie groups. Dedicated to Professor Spencer Bloch on his sixtieth birthday     

E -Theoretic Duality for Higher Rank Graph Algebras

We prove that there is a Poincaré type duality in E-theory between higher rank graph algebras associated with a higher rank graph and its opposite correspondent. We obtain an r-duality, that is the fundamental classes are in E^r. The basic tools are a higher rank Fock space and higher rank Toeplitz algebra which has a more interesting ideal structure than in the rank 1 case. The K-homology fundamental class is given by an r-fold exact sequence whereas the K-theory fundamental class is given by a homomorphism. The E-theoretic products are essentially pull-backs so that the computation is done at the level of exact sequences. Mathematics Subject Classification (2000): 46L80.     

Galois groups ofp-extensions with two ramification points

LetK _p (p, q) be the maximalp-extension of the field ℚ of rational numbers with ramification pointsp andq. LetG _p (p, q) be the Galois group of the extensionK _p(p.q)/ℚ. It is known thatG _p(p, q) can be presented by two generators which satisfy a single relation. The form of this relation is known only modulo the second member of the descending central series ofG _p(p, q). In this paper, we find an arithmetical-type condition on which the form of the relation modulo the third member of the descending central series ofG _p(p, q) depends. We also consider two examples withp=3,q=19 andp=3,q=37. Translated from Lietuvos Matematikos Rinkinys, Vol. 40, No. 1, pp. 48–60, January–March, 2000. Translated by H. Markšaitis     

On the unit group and the class number¶of certain composita of two real quadratic fields

The purpose of this paper is to exhibit a new family of real bicyclic biquadratic fields K for which we can write the Hasse unit index of the group generated by the units of the three quadratic subfields in the unit group E _K of K. As a byproduct, one can explicitly relate the class number of K with the product of the class numbers of the three quadratic subfields. Received: 25 July 2000 / Revised version: 12 December 2000