Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/10831
Tytuł: | Renamings and a Condition-free Formalization of Kronecker’s Construction |
Autorzy: | Schwarzweller, Christoph |
Słowa kluczowe: | roots of polynomials field extensions Kronecker’s construction |
Data wydania: | 2020 |
Data dodania: | 4-maj-2021 |
Wydawca: | DeGruyter Open |
Źródło: | Formalized Mathematics, Volume 28, Issue 2, Pages 129-135 |
Abstrakt: | In [7], [9], [10] we presented a formalization of Kronecker’s construction of a field extension E for a field F in which a given polynomial p ∈ F [X]\F has a root [5], [6], [3]. A drawback of our formalization was that it works only for polynomial-disjoint fields, that is for fields F with F ∩ F [X] = ∅. The main purpose of Kronecker’s construction is that by induction one gets a field extension of F in which p splits into linear factors. For our formalization this means that the constructed field extension E again has to be polynomial-disjoint. |
Afiliacja: | Institute of Informatics, University of Gdansk, Poland |
URI: | http://hdl.handle.net/11320/10831 |
DOI: | 10.2478/forma-2020-0012 |
ISSN: | 1426-2630 |
e-ISSN: | 1898-9934 |
metadata.dc.identifier.orcid: | 0000-0001-9587-8737 |
Typ Dokumentu: | Article |
metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/3.0/ |
Właściciel praw: | © 2020 University of Białymstoku; CC-BY-SA License ver. 3.0 or later; |
Występuje w kolekcji(ach): | Formalized Mathematics, 2020, Volume 28, Issue 2 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
10.2478_forma-2020-0012.pdf | 266,07 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL