Renamings and a Condition-free Formalization of Kronecker’s Construction

Pole DC	Wartość	Język
dc.contributor.author	Schwarzweller, Christoph	-
dc.date.accessioned	2021-05-04T07:32:09Z	-
dc.date.available	2021-05-04T07:32:09Z	-
dc.date.issued	2020	-
dc.identifier.citation	Formalized Mathematics, Volume 28, Issue 2, Pages 129-135	pl
dc.identifier.issn	1426-2630	-
dc.identifier.uri	http://hdl.handle.net/11320/10831	-
dc.description.abstract	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.	pl
dc.language.iso	en	pl
dc.publisher	DeGruyter Open	pl
dc.rights	Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0)	-
dc.rights.uri	https://creativecommons.org/licenses/by-sa/3.0/	-
dc.subject	roots of polynomials	pl
dc.subject	field extensions	pl
dc.subject	Kronecker’s construction	pl
dc.title	Renamings and a Condition-free Formalization of Kronecker’s Construction	pl
dc.type	Article	pl
dc.rights.holder	© 2020 University of Białymstoku;	-
dc.rights.holder	CC-BY-SA License ver. 3.0 or later;	-
dc.identifier.doi	10.2478/forma-2020-0012	-
dc.description.Affiliation	Institute of Informatics, University of Gdansk, Poland	pl
dc.description.references	Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pąk, and Josef Urban. Mizar: State-of-the-art and beyond. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, and Volker Sorge, editors, Intelligent Computer Mathematics, volume 9150 of Lecture Notes in Computer Science, pages 261–279. Springer International Publishing, 2015. ISBN 978-3-319-20614-1. doi:10.1007/978-3-319-20615-8_17.	pl
dc.description.references	Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pąk. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning, 61(1):9–32, 2018. doi:10.1007/s10817-017-9440-6.	pl
dc.description.references	Nathan Jacobson. Basic Algebra I. Dover Books on Mathematics, 1985.	pl
dc.description.references	Artur Korniłowicz. Quotient rings. Formalized Mathematics, 13(4):573–576, 2005.	pl
dc.description.references	Heinz Lüneburg. Gruppen, Ringe, Körper: Die grundlegenden Strukturen der Algebra. Oldenbourg Verlag, 1999.	pl
dc.description.references	Knut Radbruch. Algebra I. Lecture Notes, University of Kaiserslautern, Germany, 1991.	pl
dc.description.references	Christoph Schwarzweller. On roots of polynomials over F [X]/ 〈 p〉. Formalized Mathematics, 27(2):93–100, 2019. doi:10.2478/forma-2019-0010.	pl
dc.description.references	Christoph Schwarzweller. On monomorphisms and subfields. Formalized Mathematics, 27(2):133–137, 2019. doi:10.2478/forma-2019-0014.	pl
dc.description.references	Christoph Schwarzweller. Field extensions and Kronecker’s construction. Formalized Mathematics, 27(3):229–235, 2019. doi:10.2478/forma-2019-0022.	pl
dc.description.references	Christoph Schwarzweller. Representation matters: An unexpected property of polynomial rings and its consequences for formalizing abstract field theory. In M. Ganzha, L. Maciaszek, and M. Paprzycki, editors, Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, volume 15 of Annals of Computer Science and Information Systems, pages 67–72. IEEE, 2018. doi:10.15439/2018F88.	pl
dc.identifier.eissn	1898-9934	-
dc.description.volume	28	pl
dc.description.issue	2	pl
dc.description.firstpage	129	pl
dc.description.lastpage	135	pl
dc.identifier.citation2	Formalized Mathematics	pl
dc.identifier.orcid	0000-0001-9587-8737	-
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

Pokaż uproszczony widok rekordu Zobacz statystyki

Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL