scholarly journals The structure of the multiplicative group of residue classes modulo

1979 ◽  
Vol 73 ◽  
pp. 41-60 ◽  
Author(s):  
Norikata Nakagoshi
Keyword(s):  
Number Field ◽  
Multiplicative Group ◽  
Sufficient Conditions ◽  
Algebraic Number Field ◽  
Quadratic Number ◽  
Finite Degree ◽  
Quadratic Number Field ◽  
Residue Classes ◽  
Necessary And Sufficient ◽  
Adic Completion

Let k be an algebraic number field of finite degree and be a prime ideal of k, lying above a rational prime p. We denote by G () the multiplicative group of residue classes modulo (N ≧ 0) which are relatively prime to . The structure of G () is well-known, when N = 0, or k is the rational number field Q. If k is a quadratic number field, then the direct decomposition of G () is determined by A. Ranum [6] and F.H-Koch [4] who gives a basis of a group of principal units in the local quadratic number field according to H. Hasse [2]. In [5, Theorem 6.2], W. Narkiewicz obtains necessary and sufficient conditions so that G () is cyclic, in connection with a group of units in the -adic completion of k.

scholarly journals On a criterion for the class number of a quadratic number field to be one

1980 ◽  
Vol 79 ◽  
pp. 123-129 ◽  
Author(s):  
Masakazu Kutsuna
Keyword(s):  
Number Field ◽  
Class Number ◽  
Euclidean Algorithm ◽  
Quadratic Number ◽  
Quadratic Number Field ◽  
Imaginary Quadratic Number ◽  
Necessary And Sufficient

G. Rabinowitsch [3] generalized the concept of the Euclidean algorithm and proved a theorem on a criterion in order that the class number of an imaginary quadratic number field is equal to one:Theorem.It is necessary and sufficient for the class number of an imaginary quadratic number fieldD= 1 — 4m, m> 0,to be one that x2—x+m is prime for any integer x such that1 ≤x≤m— 2.

Characterization of primes dividing the index of a trinomial

2017 ◽  
Vol 13 (10) ◽  
pp. 2505-2514 ◽  
Author(s):  
Anuj Jakhar ◽  
Sudesh K. Khanduja ◽  
Neeraj Sangwan
Keyword(s):  
Number Field ◽  
Algebraic Number ◽  
Sufficient Conditions ◽  
Algebraic Number Field ◽  
Necessary And Sufficient Conditions ◽  
Algebraic Integers ◽  
Ring Of Algebraic Integers ◽  
Necessary And Sufficient

Let [Formula: see text] denote the ring of algebraic integers of an algebraic number field [Formula: see text], where [Formula: see text] is a root of an irreducible trinomial [Formula: see text] belonging to [Formula: see text]. In this paper, we give necessary and sufficient conditions involving only [Formula: see text] for a given prime [Formula: see text] to divide the index of the subgroup [Formula: see text] in [Formula: see text]. In particular, we deduce necessary and sufficient conditions for [Formula: see text] to be equal to [Formula: see text].

The discriminant of compositum of algebraic number fields

2019 ◽  
Vol 15 (02) ◽  
pp. 353-360
Author(s):  
Sudesh K. Khanduja
Keyword(s):  
Number Field ◽  
Algebraic Number ◽  
Sufficient Conditions ◽  
Algebraic Number Field ◽  
Number Fields ◽  
Rational Numbers ◽  
Necessary And Sufficient Conditions ◽  
Algebraic Number Fields ◽  
Necessary And Sufficient

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].

scholarly journals Linear Independence of -Logarithms over the Eisenstein Integers

2010 ◽  
Vol 2010 ◽  
pp. 1-14 ◽  
Author(s):  
Peter Bundschuh ◽  
Keijo Väänänen
Keyword(s):  
Number Field ◽  
Linear Independence ◽  
Algebraic Number Field ◽  
Meromorphic Continuation ◽  
Quadratic Number ◽  
Arbitrary Integer ◽  
Quadratic Number Field ◽  
Linearly Independent ◽  
Imaginary Quadratic Number ◽  
Fixed Complex

For fixed complex with , the -logarithm is the meromorphic continuation of the series , into the whole complex plane. If is an algebraic number field, one may ask if are linearly independent over for satisfying . In 2004, Tachiya showed that this is true in the Subcase , , , and the present authors extended this result to arbitrary integer from an imaginary quadratic number field , and provided a quantitative version. In this paper, the earlier method, in particular its arithmetical part, is further developed to answer the above question in the affirmative if is the Eisenstein number field , an integer from , and a primitive third root of unity. Under these conditions, the linear independence holds also for , and both results are quantitative.

Gyclotomic Division Algebras

1981 ◽  
Vol 33 (5) ◽  
pp. 1074-1084 ◽  
Author(s):  
R. A. Mollin
Keyword(s):  
Finite Group ◽  
Number Field ◽  
Sufficient Conditions ◽  
Algebraic Number Field ◽  
Equivalence Classes ◽  
Necessary And Sufficient Conditions ◽  
Brauer Group ◽  
Division Algebras ◽  
Cyclotomic Algebras ◽  
Necessary And Sufficient

Let K be a field of characteristic zero. The Schur subgroup S(K) of Brauer group B(K) consists of those equivalence classes [A] which contain an algebra which is isomorphic to a simple summand of the group algebra KG for some finite group G. It is well known that the classes in S(K) are represented by cyclotomic algebras, (see [16]). However it is not necessarily the case that the division algebra representatives of these classes are themselves cyclotomic. The main result of this paper is to provide necessary and sufficient conditions for the latter to occur when K is any algebraic number field.Next we provide necessary and sufficient conditions for the Schur group of a local field to be induced from the Schur group of an arbitrary subfield. We obtain a corollary from this result which links it to the main result. Finally we link the concept of the stufe of a number field to the existence of certain quaternion division algebras in S(K).

scholarly journals Power roots of polynomials over arbitrary fields

1994 ◽  
Vol 50 (2) ◽  
pp. 327-335
Author(s):  
Vincenzo Acciaro
Keyword(s):  
Finite Field ◽  
Number Field ◽  
Finite Fields ◽  
Algebraic Number ◽  
Sufficient Conditions ◽  
Algebraic Number Field ◽  
Arbitrary Field ◽  
Effective Algorithm ◽  
Roots Of Polynomials ◽  
Necessary And Sufficient

Let F be an arbitrary field, and f(x) a polynomial in one variable over F of degree ≥ 1. Given a polynomial g(x) ≠ 0 over F and an integer m > 1 we give necessary and sufficient conditions for the existence of a polynomial z(x) ∈ F[x] such that z(x)m ≡ g(x) (mod f(x)). We show how our results can be specialised to ℝ, ℂ and to finite fields. Since our proofs are constructive it is possible to translate them into an effective algorithm when F is a computable field (for example, a finite field or an algebraic number field).

Cyclotomic Splitting Fields

1982 ◽  
Vol 25 (2) ◽  
pp. 222-229 ◽  
Author(s):  
R. A. Mollin
Keyword(s):  
Number Field ◽  
Algebraic Number ◽  
Sufficient Conditions ◽  
Algebraic Number Field ◽  
Abelian Extension ◽  
Brauer Group ◽  
Division Algebras ◽  
Necessary And Sufficient ◽  
Cyclotomic Extension ◽  
Maximal Subfield

AbstractLet D be a division algebra whose class [D] is in B(K), the Brauer group of an algebraic number field K. If [D⊗KL] is the trivial class in B(L), then we say that L is a splitting field for D or L splits D. The splitting fields in D of smallest dimension are the maximal subfields of D. Although there are infinitely many maximal subfields of D which are cyclic extensions of K; from the perspective of the Schur Subgroup S(K) of B(K) the natural splitting fields are the cyclotomic ones. In (Cyclotomic Splitting Fields, Proc. Amer. Math. Soc. 25 (1970), 630-633) there are errors which have led to the main result of this paper, namely to provide necessary and sufficient conditions for (D) in S(K) to have a maximal subfield which is a cyclic cyclotomic extension of K, a finite abelian extension of Q. A similar result is provided for quaternion division algebras in B(K).

scholarly journals p-Torsion points on elliptic curves defined over quadratic fields

1984 ◽  
Vol 96 ◽  
pp. 139-165 ◽  
Author(s):  
Fumiyuki Momose
Keyword(s):  
Elliptic Curves ◽  
Prime Number ◽  
Number Field ◽  
Algebraic Number ◽  
Algebraic Number Field ◽  
Quadratic Fields ◽  
Finite Degree ◽  
Torsion Points

Let p be a prime number and k an algebraic number field of finite degree d. Manin [14] showed that there exists an integer n = n(k,p) (≧0) which satisfies the condition

scholarly journals Galois Group of the Maximal Abelian Extension over an Algebraic Number Field

1957 ◽  
Vol 12 ◽  
pp. 177-189 ◽  
Author(s):  
Tomio Kubota
Keyword(s):  
Field Theory ◽  
Galois Group ◽  
Prime Number ◽  
Number Field ◽  
Algebraic Number ◽  
Algebraic Number Field ◽  
Abelian Extension ◽  
Finite Degree ◽  
Class Field ◽  
Continuous Character

The aim of the present work is to determine the Galois group of the maximal abelian extension ΩA over an algebraic number field Ω of finite degree, which we fix once for all.Let Z be a continuous character of the Galois group of ΩA/Ω. Then, by class field theory, the character Z is also regarded as a character of the idele group of Ω. We call such Z character of Ω. For our purpose, it suffices to determine the group Xl of the characters of Ω whose orders are powers of a prime number l.

Sign in / Sign up

Export Citation Format

Share Document