On relations for rings generated by algebraic numbers and their conjugates

DOI10.1007/S10231-013-0380-4MaRDI QIDQ2340919zbMATH OpenOpenAlexFDO

Authors Paulius Drungilas, A. Dubickas, Jonas Jankauskas

Publication date 21 April 2015

Published in Annali di Matematica Pura ed Applicata. Serie Quarta (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10231-013-0380-4

zbMATH Keywords

algorithms for algebraic numberscongruencesconjugate algebraic numbersminimal polynomialrings of algebraic numbers

Mathematics Subject Classification ID

Algebraic numbers; rings of algebraic integers (11R04) Polynomials (irreducibility, etc.) (11R09) Polynomials over finite fields (11T06) Number-theoretic algorithms; complexity (11Y16)

Review text

Let \(\alpha\) be a fixed algebraic number, \(K=\mathbb Q(\alpha)\) and \(R=\mathbb Z[\alpha]\). The authors present an algorithm to test, whether a number \(\beta\in K\) lies in \(R\), based on Theorem 4, which states that if \(F\in \mathbb Z[X]\) is the minimal polynomial of \(\alpha\) and \(\beta=G(\alpha)/t\) where \(G\in\mathbb Z[X]\) and \(t\) is a positive integer, then \(\beta\in R\) holds if and if only if there exists \(H\in \mathbb Z[X]\) such that all coefficients of \(FH-G\) are divisible by \(t\). This is applied in Theorem 5 to give a criterion for \(r\in R\) in case of \(r\in \mathbb Q\). It is also shown (Theorem 8) that if \(K/\mathbb Q\) is normal, then there exist two conjugate elements \(\alpha,\alpha'\) in \(K\) with \(\mathbb Z[\alpha]\neq \mathbb Z[\alpha']\).

Recommendations

• On the conjugates of certain algebraic integers
• On the number of generators of an algebra over a commutative ring
• On rings of integers generated by their units
• scientific article; zbMATH DE number 3879100
• On multiplicative generators of commutative rings
• Generating sets for rings of algebraic integers
• ON SUBFIELDS OF A FIELD GENERATED BY TWO CONJUGATE ALGEBRAIC NUMBERS
• Seminormal rings generated by algebraic integers
• On a class of rings that generalize Dedekind rings
• A finite analogue of the ring of algebraic numbers

Cites work

• \beta-transformation, natural extension and invariant measure
• Boundary of central tiles associated with Pisot beta-numeration and purely periodic expansions
• Comments on the height reducing property
• Discrete spectra and Pisot numbers
• Finite beta-expansions
• Growth rate for beta-expansions
• Height reducing problem on algebraic integers
• scientific article; zbMATH DE number 1703931 (Why is no real title available?)
• scientific article; zbMATH DE number 3563256 (Why is no real title available?)
• scientific article; zbMATH DE number 2107000 (Why is no real title available?)
• scientific article; zbMATH DE number 2188983 (Why is no real title available?)
• Methods for uniquely determining Galois polynomials and related theorems
• On Periodic Expansions of Pisot Numbers and Salem Numbers
• On root polynomials of cyclic cubic equations
• On the beta expansion for Salem numbers of degree 6
• On the Prime Divisors of Polynomials
• On theβ-expansions of real numbers
• Problems in Algebraic Number Theory
• Recurrence in \(\beta \)-expansion over formal Laurent series
• Representations for real numbers and their ergodic properties
• Über konstruktive Methoden der Galoistheorie

Cited in

(5)

• Dedekind's criterion for the monogenicity of a number field versus Uchida's and Lüneburg's
• Generating sets for rings of algebraic integers
• scientific article; zbMATH DE number 6841207 (Why is no real title available?)
• scientific article; zbMATH DE number 1422919 (Why is no real title available?)
• Primes in denominators of algebraic numbers

This page was built for publication: On relations for rings generated by algebraic numbers and their conjugates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2340919)