A conjecture on a class of elements of finite order in K 2 F p

Kejian Xu,Hourong Qin

DOI: https://doi.org/10.1007/BF02881885

2001-01-01

Abstract:For a local field F the finite subgroups of K 2 F are expressed by a class of special elements of finite order, which makes a famous theorem built by Moore, Carroll, Tate and Merkurjev more explicit and also disproves a conjecture posed by Browkin.

What problem does this paper attempt to address?

SOME ELEMENTS OF FINITE ORDER IN K2Q

徐克舰,秦厚荣

DOI: https://doi.org/10.3321/j.issn:1000-8134.2001.05.004

2001-01-01

Chinese Annals of Mathematics

Abstract:A conjecture posed by Browkin is discussed. It is proved that if n≥ 2 then G2n3m (■) is subgroup of K_2■ if and only if n = 2, m = 0 and that none of G25(■), G49(■) and G27(■) is a subgroup of K_2■, which confirm the conjecture in some special cases.
Exterior Algebras and Two Conjectures on Finite Abelian Groups

Tao Feng,Zhi-Wei Sun,Qing Xiang

DOI: https://doi.org/10.1007/s11856-011-0037-1

2011-01-01

Israel Journal of Mathematics

Abstract:Let G be a finite abelian group with |G| > 1. Let a (1), aEuro broken vertical bar, a (k) be k distinct elements of G and let b (1), aEuro broken vertical bar, b (k) be (not necessarily distinct) elements of G, where k is a positive integer smaller than the least prime divisor of |G|. We show that there is a permutation pi on {1, aEuro broken vertical bar,k} such that a (1) b (pi(1)), aEuro broken vertical bar, a (k) b (pi(k)) are distinct, provided that any other prime divisor of |G| (if there is any) is greater than k!. This in particular confirms the Dasgupta-Karolyi-Serra-Szegedy conjecture for abelian p-groups. We also pose a new conjecture involving determinants and characters, and show that its validity implies Snevily's conjecture for abelian groups of odd order. Our methods involve exterior algebras and characters.
A Class of Torsion Elements in K2 of a Local Field

Kejian Xu,Hourong Qin

DOI: https://doi.org/10.1360/03ys9003

2003-01-01

Science in China Series A Mathematics

Abstract:For some local fields F, a description of torsion subgroups of K2(F) via the elements of a specific form is given.
Reflection theorems and the p-Sylow subgroup of K2 OF for a number field F

Hourong Qin

DOI: https://doi.org/10.1016/j.jpaa.2009.10.005

IF: 0.834

2010-01-01

Journal of Pure and Applied Algebra

Abstract:For any odd prime p, we present a reflection theorem which for p=3 is the Scholz Reflection Theorem. We obtain some formulas for the p-rank and the pn-rank(K2OF), where F is a number field. With the help of our reflection theorem, we establish relations between the pn-divisibility of the order of K2OF and the pn-divisibility of the class number of some algebraic number fields F.
2-SYLOW SUBGROUPS OF K2OF FOR REAL QUADRATIC FIELDS-F

HR QIN

1994-01-01

Abstract:A method which can be used to determine the structures of 2-Sylow subgroups of K2OF for real quadratic fields F is given. By this method, the structures of the 2-Sylow subgroups of K2OF for real quadratic fields are determined. The method here is suitable for the non-elementary Abelian case as well as the elementary Abelian case.
The 2-Sylow subgroup of K2OF for number fields F

Qin Hourong

DOI: https://doi.org/10.1016/j.jalgebra.2004.10.024

IF: 0.908

2005-01-01

Journal of Algebra

Abstract:Let F be a quadratic number field. We give a criterion, via Hilbert symbols, for an element of order two in the tame kernel of F to be a fourth power in the tame kernel of F. The result can be applied to compute the 8-rank of the tame kernel of F and the Tate kernel of an imaginary quadratic number field. We list the 8-ranks of K2OF for all quadratic number fields whose discriminants have exactly two odd prime divisors. In the case when F is an imaginary quadratic number field with the 8-rank of K2OF=0, the Tate kernel of F is given too. An application of our method to the maximal real subfield of a cyclotomic field is discussed. Numerical examples, in particular the examples of quadratic number fields F with 4-rank of K2OF= 8-rank of K2OF=2 illustrate our results.
The 3-Sylow Subgroup of the Tame Kernel of Real Number Fields

Hourong Qin,Haiyan Zhou

DOI: https://doi.org/10.1016/j.jpaa.2006.05.029

IF: 0.834

2007-01-01

Journal of Pure and Applied Algebra

Abstract:Let F be a cubic cyclic field with exactly one ramified prime p,p>7, or F=Q(d), a real quadratic field with d≢6(mod9). In this paper, we study the 3-primary part of K2OF. If 3 does not divide the class number of F, we get some results about the 9-rank of K2OF. In particular, in the case of a cubic cyclic field F with only one ramified prime p>7, we prove that four conclusions concerning the 3-primary part of K2OF, obtained by J. Browkin by numerical computations for primes p, 7≤p≤5000, are true in general.
On the 2-Primary Part of Tame Kernels of Real Quadratic Fields

Xiao Yun Cheng,Xue Jun Guo

DOI: https://doi.org/10.1007/s10114-016-5053-y

2016-01-01

Abstract:Let $F = Q\left( {\sqrt p } \right)$, where p = 8t+1 is a prime. In this paper, we prove that a special case of Qin’s conjecture on the possible structure of the 2-primary part of K 2 O F up to 8-rank is a consequence of a conjecture of Cohen and Lagarias on the existence of governing fields. We also characterize the 16-rank of K 2 O F , which is either 0 or 1, in terms of a certain equation between 2-adic Hilbert symbols being satisfied or not.
The Torsion Elements in K-2 of Some Local Fields

Xuejun Guo

DOI: https://doi.org/10.4064/aa127-1-8

2007-01-01

Acta Arithmetica

Abstract:The torsion elements in K 2 of some local fields by
The 2-Sylow subgroup of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msub><mml:mi>K</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:msub><mml:mi>O</mml:mi><mml:mi>F</mml:mi></mml:msub></mml:math> for number fields F

Hourong Qin

DOI: https://doi.org/10.1016/j.jalgebra.2004.10.024

IF: 0.908

2005-01-01

Journal of Algebra

Abstract:Let F be a quadratic number field. We give a criterion, via Hilbert symbols, for an element of order two in the tame kernel of F to be a fourth power in the tame kernel of F. The result can be applied to compute the 8-rank of the tame kernel of F and the Tate kernel of an imaginary quadratic number field. We list the 8-ranks of K2OF for all quadratic number fields whose discriminants have exactly two odd prime divisors. In the case when F is an imaginary quadratic number field with the 8-rank of K2OF=0, the Tate kernel of F is given too. An application of our method to the maximal real subfield of a cyclotomic field is discussed. Numerical examples, in particular the examples of quadratic number fields F with 4-rank of K2OF= 8-rank of K2OF=2 illustrate our results.
On the Birch-Tate conjecture for cyclic number fields

Feng Keqin

DOI: https://doi.org/10.1016/0022-4049(87)90111-3

IF: 0.834

1987-01-01

Journal of Pure and Applied Algebra

Abstract:The proof of the Main Conjecture in Iwasawa theory by Mazur and Wiles implies that the Birch-Tate conjecture #K2(OF) = w2(F)|ζF(−1)| is true up to 2-torsion for real abelian number fields. In the present paper the even part of the Birch-Tate conjecture is verified for cyclic number fields F with odd prime degree p if the order of 2 mod p is even, 2 is inertial in F and the class number h(F) of F is odd.
Proof of a Conjecture on Permutation Polynomials over Finite Fields

Xiang-dong Hou

DOI: https://doi.org/10.48550/arXiv.1304.2254

2013-04-09

Abstract:Let $k$ be a positive integer and $S_{2k}={\tt x}+{\tt x}^4+...+{\tt x}^{4^{2k-1}}\in\Bbb F_2[{\tt x}]$. It was recently conjectured that ${\tt x}+S_{2k}^{4^{2k}}+S_{2k}^{4^k+3}$ is a permutation polynomial of $\Bbb F_{4^{3k}}$. In this note, the conjecture is confirmed and a generalization is obtained.

Number Theory
Iwasawa Theory for K2n

Qingzhong Ji,Hourong Qin

DOI: https://doi.org/10.1017/is013004020jkt225

2013-01-01

Abstract:AbstractGiven a number field F and a prime number p; let Fn denote the cyclotomic extension with [Fn : F] = pn; and let $\mathematical script capital(O)_F_n\$ denote its ring of integers. We establish an analogue of the classical Iwasawa theorem for the orders of K2i ($\mathematical script capital(O)_F_n\$){p}.
Sur le sous-groupe des éléments de hauteur infinie du K2 d'un corps de nombres

Jean-François Jaulent,Florence Soriano-Gafiuk

DOI: https://doi.org/10.48550/arXiv.0801.0916

2008-01-07

Abstract:By using the logarithmic approach of the classical kernels for the K2 of number fields, we compute the 2-rank of the wild kernel WK2(F) and the 2-rank of the subgroup of infinite heigh elements in K2(F) in terms of positive class groups for any number field F.

Number Theory
On Freiman's Theorem in a function field setting

Mieke Wessel

2024-05-17

Abstract:We prove some new instances of a conjecture of Bachoc, Couvreur and Zémor that generalizes Freiman's $3k-4$ Theorem to a multiplicative version in a function field setting. As a consequence we find that if $F$ is a rational function field over an algebraically closed field $K$ and $S \subset F$ a finite dimensional $K$-vector space such that $\dim S^2 = 2\dim S + 1$, then the conjecture holds.

Number Theory,Combinatorics
Finite Groups With Many Conjugate Elements

J. P. Zhang

DOI: https://doi.org/10.1006/jabr.1994.1356

IF: 0.908

1994-01-01

Journal of Algebra

Abstract:In this paper we prove the following long-standing conjecture in the theory of finite groups: Finite solvable groups with no two distinct conjugacy classes of the same length are isomorphic to the symmetric group of degree 3.
Higher K-groups of Smooth Projective Curves over Finite Fields.

Qingzhong Ji,Hourong Qin

DOI: https://doi.org/10.1016/j.ffa.2012.05.002

IF: 1.655

2012-01-01

Finite Fields and Their Applications

Abstract:Let X be a smooth projective curve over a finite field F with q elements. For m⩾1, let Xm be the curve X over the finite field Fm, the m-th extension of F. Let Kn(m) be the K-group Kn(Xm) of the smooth projective curve Xm. In this paper, we study the structure of the groups Kn(m). If l is a prime, we establish an analogue of Iwasawa theorem in algebraic number theory for the orders of the l-primary part Kn(lm){l} of Kn(lm). In particular, when X is an elliptic curve E defined over F, our method determines the structure of Kn(E). Our results can be applied to construct an efficient DL system in elliptic cryptography.
A Remark on K-2 of the Rings of Integers of Totally Real Number Fields

Xuejun Guo

DOI: https://doi.org/10.1080/00927870701404333

2007-01-01

Communications in Algebra

Abstract:Let F be a totally real number field with degree n = [F: Q] >= 3. Mazur and Urbanowicz proved that ifK2OF similar or equal to (Z/2Z)([F:Q]) (*)and F is not Q(zeta(7) +zeta(-1)(7)) or Q(zeta(9) + zeta(-1)(9)), then F must be one of the 14 cases listed in Mazur and Urbanowicz (1992). In this article, it is proved that 3 of these 14 cases don't satisfy (*), while all the other cases satisfy (*). Hence we find all totally real number fields which satisfy (*).
On K-2 Of Division Algebras

Xuejun Guo,Aderemi Kuku,Hourong Qin

DOI: https://doi.org/10.1081/AGB-200053813

2005-01-01

Communications in Algebra

Abstract:In this paper, it is proved that if F is a global field, then for any integer n > 3, there is an extension field E over F of degree n such that K2E is not generated by the Steinberg symbols {a, b} with a epsilon F*, b epsilon E*. If however, F is a number field and D is a finite-dimensional central division F-algebra with square free index, then K2D is always generated by the Steinberg symbols {a,b} with a epsilon F*, b epsilon D*. Finally, the tame kernels of central division algebras over F are expressed explicitly.
Computation of K 2 for the ring of integers of quadratic imaginary fields

Sheng Chen,Hong You

DOI: https://doi.org/10.1007/BF02880134

2001-01-01

Abstract:This paper presents a method to get improved bounds for norms of exceptional v ’ s in computing the group K 2 0 F , where F is a quadratic imaginary field, and as an application we show that K_2 [ ( 1 + √( - 43))/2] = 1

A conjecture on a class of elements of finite order in K 2 F p

SOME ELEMENTS OF FINITE ORDER IN K2Q

Exterior Algebras and Two Conjectures on Finite Abelian Groups

A Class of Torsion Elements in K2 of a Local Field

Reflection theorems and the p-Sylow subgroup of K2 OF for a number field F

2-SYLOW SUBGROUPS OF K2OF FOR REAL QUADRATIC FIELDS-F

The 2-Sylow subgroup of K2OF for number fields F

The 3-Sylow Subgroup of the Tame Kernel of Real Number Fields

On the 2-Primary Part of Tame Kernels of Real Quadratic Fields

The Torsion Elements in K-2 of Some Local Fields

The 2-Sylow subgroup of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msub><mml:mi>K</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:msub><mml:mi>O</mml:mi><mml:mi>F</mml:mi></mml:msub></mml:math> for number fields F

On the Birch-Tate conjecture for cyclic number fields

Proof of a Conjecture on Permutation Polynomials over Finite Fields

Iwasawa Theory for K2n

Sur le sous-groupe des éléments de hauteur infinie du K2 d'un corps de nombres

On Freiman's Theorem in a function field setting

Finite Groups With Many Conjugate Elements

Higher K-groups of Smooth Projective Curves over Finite Fields.

A Remark on K-2 of the Rings of Integers of Totally Real Number Fields

On K-2 Of Division Algebras

Computation of K 2 for the ring of integers of quadratic imaginary fields