scholarly journals E(K/k) and other arithmetical invariants for finite Galois extensions

1989 ◽  
Vol 114 ◽  
pp. 135-142 ◽  
Author(s):  
Shin-Ichi Katayama

Let k be an algebraic number field and K be a finite extension of k. Recently, T. Ono defined positive rational numbers E(K/k) and E′(K/k) for K/k. In [7], he investigated some relations between E(K/k) and other cohomological invariants for K/k. He obtained a formula when K is a normal extension of k. In our paper [3], we obtained a similar formula for E′(K/k) in the case of normal extensions K/k. Both proofs essentially use Ono’s results on the Tamagawa number of algebraic tori, on which the formulae themselves do not depend. Hence, in [8], T. Ono posed a problem to give direct proofs of these formulae.

1988 ◽  
Vol 112 ◽  
pp. 117-124 ◽  
Author(s):  
Hyun Kwang Kim

Let k be a p-adic field (a finite extension of Qp) or an algebraic number field (a finite extension of Q). Let T be an algebraic torus defined over k. We denote by the character module of T (i.e. = Hom (T, Gm), where Gm is the multiplicative group.


1966 ◽  
Vol 27 (1) ◽  
pp. 121-132
Author(s):  
Yoshiomi Furuta

Let k be an algebraic number field of finite degree, K be its normal extension of degree n, and ŝ be the set of those primes of K which have degree 1. Using this set s instead of the set of all primes of K, we define an s-restricted idèle of K by the same way as ordinary idèles. It is known by Bauer that the normal extension of an algebraic number field is determined by the set of all primes of the ground field which are decomposed completely in the extension field. This suggests that if we treat abelian extensions over K which are normal over k, the class field theory is expressed by means of the ŝ-restricted idèles (theorem 2). When K = k, ŝ is the set of all primes of K, and we have the ordinary class field theory.


1987 ◽  
Vol 107 ◽  
pp. 121-133 ◽  
Author(s):  
Takashi Ono

Let k be an algebraic number field of finite degree over Q, the field of rationals, and K be an extension of finite degree over k. By the use of the class number of algebraic tori, we can introduce an arithmetical invariant E(K/k) for the extension K/k. When k = Q and K is quadratic over Q, the formula of Gauss on the genera of binary quadratic forms, i.e. the formula where = the class number of K in the narrow sense, the number of classes is a genus of the norm form of K/Q and tK = the number of distinct prime factors of the discriminant of K, may be considered as an equality between E(K/Q) and other arithmetical invariants of K.


1973 ◽  
Vol 25 (4) ◽  
pp. 870-873 ◽  
Author(s):  
H. Heilbronn

Let K be a finite normal extension of an algebraic number field k; let k2 be the compositum of all quadratic extensions of k which are contained in K. Let ζk(s), ζK(s) and ζk2(s) denote the Dedekind ζ-functions of these fields.


2008 ◽  
Vol 04 (06) ◽  
pp. 1019-1025 ◽  
Author(s):  
SUDESH K. KHANDUJA ◽  
MUNISH KUMAR

Let K = ℚ(θ) be an algebraic number field with θ in the ring AK of algebraic integers of K and f(x) be the minimal polynomial of θ over the field ℚ of rational numbers. For a rational prime p, let [Formula: see text] be the factorization of the polynomial [Formula: see text] obtained by replacing each coefficient of f(x) modulo p into product of powers of distinct monic irreducible polynomials over ℤ/pℤ. Dedekind proved that if p does not divide [AK : ℤ[θ]], then the factorization of pAK as a product of powers of distinct prime ideals is given by [Formula: see text], with 𝔭i = pAK + gi(θ)AK, and residual degree [Formula: see text]. In this paper, we prove that if the factorization of a rational prime p in AK satisfies the above-mentioned three properties, then p does not divide [AK:ℤ[θ]]. Indeed the analogue of the converse is proved for general Dedekind domains. The method of proof leads to a generalization of one more result of Dedekind which characterizes all rational primes p dividing the index of K.


2019 ◽  
Vol 15 (02) ◽  
pp. 353-360
Author(s):  
Sudesh K. Khanduja

For an algebraic number field [Formula: see text], let [Formula: see text] denote the discriminant of an algebraic number field [Formula: see text]. It is well known that if [Formula: see text] are algebraic number fields with coprime discriminants, then [Formula: see text] are linearly disjoint over the field [Formula: see text] of rational numbers and [Formula: see text], [Formula: see text] being the degree of [Formula: see text] over [Formula: see text]. In this paper, we prove that the converse of this result holds in relative extensions of algebraic number fields. We also give some more necessary and sufficient conditions for the analogue of the above equality to hold for algebraic number fields [Formula: see text] linearly disjoint over [Formula: see text].


1975 ◽  
Vol 20 (1) ◽  
pp. 33-37
Author(s):  
T. K. Sheng

Let Q, R be rational numbers and real numbers respectively. We use V(F) and W(F) to denote finite dimensional inner product spaces over F. Given V(Q), we use V(R) for the smallest inner space over R containing V(Q). It is known that an R-homomorphism of V(R) to W(R) is continous. We prove that if a Q-homomorphism f: V(R) → W(R), then f is dispersive, i.e., given any v0 ∈ V(Q) and ε > 0, the image set f[D(v0, ε)], where D(v0, ε) = [v: v ∈ V(Q), ¦v – v0¦ < ε], is not bounded. It is also shown that some Q-homomorphism f: V(Q) → W(Q) can be explosive in the sense that for any v0 ∈ V(Q) and ε > 0, the set f[D[v0, ε)] is dense in W(Q). As a particular case of dispersive and explosive Q-homomorphisms, we show that the algebraic number field isomorphism f: Q(a) → Q(β), where f(a) = β and α ≠ β or βmacr; (βmacr; being complex conjugates of β) is explosive.


2000 ◽  
Vol 160 ◽  
pp. 181-186
Author(s):  
Satomi Oka

AbstractLet F be an algebraic number field of a finite degree, and K be a normal extension over F of a finite degree n. Let be a prime ideal of F which is unramified in K/F, be a prime ideal of K dividing such that . Denote by δ(K/F) the greatest common divisor of discriminants of integers of K with respect to K/F. Then, divides δ(K/F) if and only if


1967 ◽  
Vol 29 ◽  
pp. 281-285 ◽  
Author(s):  
Yoshiomi Furuta

Let k be an algebraic number field and K be its normal extension of finite degree. Then the genus field K* of K over k is defined as the maximal unramified extension of K which is obtained from K by composing an abelian extension over k2). We call the degree (K*: K) the genus number of K over k.


1961 ◽  
Vol 19 ◽  
pp. 169-187 ◽  
Author(s):  
Yoshiomi Furuta

Let k be an algebraic number field of finite degree, A the maximal abelian extension over k, and M a meta-abelian field over h of finite degree, that is, M/k be a normal extension over k of finite degree with an abelian group as commutator group of its Galois group.


Sign in / Sign up

Export Citation Format

Share Document