Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/12389
Pełny rekord metadanych
Pole DC | Wartość | Język |
---|---|---|
dc.contributor.author | Schwarzweller, Christoph | - |
dc.date.accessioned | 2022-01-04T06:48:51Z | - |
dc.date.available | 2022-01-04T06:48:51Z | - |
dc.date.issued | 2021 | - |
dc.identifier.citation | Formalized Mathematics, Volume 29, Issue 3, Pages 129-139 | pl |
dc.identifier.issn | 1426–2630 | - |
dc.identifier.uri | http://hdl.handle.net/11320/12389 | - |
dc.description.abstract | In this article we further develop field theory in Mizar [1], [2]: we prove existence and uniqueness of splitting fields. We define the splitting field of a polynomial p ∈ F[X] as the smallest field extension of F, in which p splits into linear factors. From this follows, that for a splitting field E of p we have E = F(A) where A is the set of p’s roots. Splitting fields are unique, however, only up to isomorphisms; to be more precise up to F-isomorphims i.e. isomorphisms i with i|F = IdF . We prove that two splitting fields of p ∈ F[X] are F-isomorphic using the well-known technique [4], [3] of extending isomorphisms from F1 −→ F2 to F1(a) −→ F2(b) for a and b being algebraic over F1 and F2, respectively. | pl |
dc.language.iso | en | pl |
dc.publisher | DeGruyter Open | pl |
dc.subject | field extensions | pl |
dc.subject | polynomials splitting fields | pl |
dc.title | Splitting Fields | pl |
dc.type | Article | pl |
dc.rights.holder | © 2021 University of Białymstoku | pl |
dc.rights.holder | CC-BY-SA License ver. 3.0 or later | pl |
dc.identifier.doi | 10.2478/forma-2021-0013 | - |
dc.description.Affiliation | Institute of Informatics, University of Gdańsk, Poland | 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 | Adam Grabowski and Christoph Schwarzweller. Translating mathematical vernacular into knowledge repositories. In Michael Kohlhase, editor, Mathematical Knowledge Management, volume 3863 of Lecture Notes in Computer Science, pages 49–64. Springer, 2006. doi:https://doi.org/10.1007/11618027 4. 4th International Conference on Mathematical Knowledge Management, Bremen, Germany, MKM 2005, July 15–17, 2005, Revised Selected Papers. | pl |
dc.description.references | Serge Lang. Algebra. Springer Verlag, 2002 (Revised Third Edition). | pl |
dc.description.references | Knut Radbruch. Algebra I. Lecture Notes, University of Kaiserslautern, Germany, 1991. | 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. Ring and field adjunctions, algebraic elements and minimal polynomials. Formalized Mathematics, 28(3):251–261, 2020. doi:10.2478/forma-2020-0022. | pl |
dc.description.references | Christoph Schwarzweller, Artur Korniłowicz, and Agnieszka Rowińska-Schwarzweller. Some algebraic properties of polynomial rings. Formalized Mathematics, 24(3):227–237, 2016. doi:10.1515/forma-2016-0019. | pl |
dc.identifier.eissn | 1898-9934 | - |
dc.description.volume | 29 | pl |
dc.description.issue | 3 | pl |
dc.description.firstpage | 129 | pl |
dc.description.lastpage | 139 | pl |
dc.identifier.citation2 | Formalized Mathematics | pl |
Występuje w kolekcji(ach): | Formalized Mathematics, 2021, Volume 29, Issue 3 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
10.2478_forma-2021-0013.pdf | 290,93 kB | Adobe PDF | Otwórz |
Pozycja jest chroniona prawem autorskim (Copyright © Wszelkie prawa zastrzeżone)