On the normalization of numbers and functions defined by radicals
type: Item
instance of: scholarly article
title: On the normalization of numbers and functions defined by radicals
zbMATH Open document ID: 1027.12006
DOI: 10.1016/S0747-7171(03)00032-4
author: Marc Rybowicz
published in: Journal of Symbolic Computation
publication date: 2003-06-25T00:00:00Z
review text: The problem addressed in the paper under review is the efficient computation of a basis for the field extension \(K/k\) where \(K=k(A)\), \(k\) is a field of characteristic \(0\), \(A= \{\root n \of {\beta _1}, \ldots, \root n \of {\beta _s}\}\), \(\beta _1,\ldots, \beta _s \in k\) and \(n\) is a positive integer. The author presents a method based on Kummer theory and \textit{M. Kneser}'s theorem [Acta Arith. 26, 307-308 (1975; Zbl 0314.12001)]. In fact \textit{R. Zippel} [J. Symb. Comput. 1, 189-210 (1985; Zbl 0574.12002)] gave an algorithm adding \(n\)th roots of unity to the ground field. This addition increases time computation. Using Kneser's work the author avoids unnecessary extensions by roots of unity. Section 2 presents the theoretical results needed in the paper as well as the main mathematical results. In Section 3 algorithmic methods are given avoiding as much as possible factorization over algebraic extensions of \(k\) and the introduction of spurious roots of unity. The approach is based on Zippel's work but includes several improvements using the results of Section 2 as well as a different presentation based on Hermite and Smith forms preferred for programming purposes.
Mathematics Subject Classification ID: 12Y05
Mathematics Subject Classification ID: 12F05
Mathematics Subject Classification ID: 11Y16
zbMATH DE Number: 1934783
zbMATH Keywords: radical extensions
zbMATH Keywords: Kummer extensions
zbMATH Keywords: algorithmic number theory
reviewed by: Gabriel D. Villa Salvador
MaRDI profile type: Publication
cites work: Kneser field extensions with cogalois correspondence
cites work: Denesting by bounded degree radicals
cites work: Q3139838
cites work: The torsion group of a radical extension
cites work: Lineare Abhängigkeit von Wurzeln
cites work: Factoring Polynomials over Algebraic Number Fields
cites work: Simplification of Nested Radicals
cites work: Q2770573
cites work: Q3327715
cites work: Q3326837
cites work: Q3997223
cites work: On linear dependence of roots
cites work: Abelian binomials, power residues and exponential congruences
cites work: Q3947744
cites work: Q4488096
cites work: Q3963106
cites work: Simplification of expressions involving radicals
description: scientific article; zbMATH DE number 1934783