REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2023, Volume 31, Issue 1

Szukanie zaawansowane
  • Zespoły i Kolekcje


  • Zaloguj się
  • Zarejestruj się
  • Mój RUB
  • FAQ
  • Polityka
  • Regulamin
  • DOI
  • Instrukcja
  • Aspekty prawne
  • Open Access
  • Archiwum


  • Kontakt
  • O Dspace
  • Strona Biblioteki
  • Strona Uczelni



    • Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/15851
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorWatase, Yasushige-
    dc.date.accessioned2024-01-25T09:00:46Z-
    dc.date.available2024-01-25T09:00:46Z-
    dc.date.issued2023-
    dc.identifier.citationFormalized Mathematics, Volume 31, Issue 1, Pages 143-150pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/15851-
    dc.description.abstractThe article concerns about formalizing a certain lemma on embedding of algebraic structures in the Mizar system, claiming that if a ring A is embedded in a ring B then there exists a ring C which is isomorphic to B and includes A as a subring. This construction applies to algebraic structures such as Abelian groups and rings.pl
    dc.language.isoenpl
    dc.publisherDeGruyter Openpl
    dc.rightsAttribution-ShareAlike 3.0 Unported (CC BY-SA 3.0)pl
    dc.rights.urihttps://creativecommons.org/licenses/by-sa/3.0/pl
    dc.subjectAbelian grouppl
    dc.subjectringpl
    dc.subjectembeddingpl
    dc.titleEmbedding Principle for Rings and Abelian Groupspl
    dc.typeArticlepl
    dc.rights.holder© 2022 The Author(s)pl
    dc.rights.holderCC BY-SA 3.0 licensepl
    dc.identifier.doi10.2478/forma-2023-0013-
    dc.description.AffiliationSuginami-ku Matsunoki 6, 3-21 Tokyo, Japanpl
    dc.description.referencesMichael Francis Atiyah and Ian Grant Macdonald. Introduction to Commutative Algebra, volume 2. Addison-Wesley Reading, 1969.pl
    dc.description.referencesGrzegorz 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.referencesGrzegorz 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.referencesEdward J. Barbeau. Polynomials. Springer, 2003.pl
    dc.description.referencesAdam Grabowski and Christoph Schwarzweller. On duplication in mathematical repositories. In Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, and Alan P. Sexton, editors, Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5–10, 2010. Proceedings, volume 6167 of Lecture Notes in Computer Science, pages 300–314. Springer, 2010. doi:10.1007/978-3-642-14128-7_26.pl
    dc.description.referencesAdam Grabowski, Artur Korniłowicz, and Christoph Schwarzweller. On algebraic hierarchies in mathematical repository of Mizar. In M. Ganzha, L. Maciaszek, and M. Paprzycki, editors, Proceedings of the 2016 Federated Conference on Computer Science and Information Systems (FedCSIS), volume 8 of Annals of Computer Science and Information Systems, pages 363–371, 2016. doi:10.15439/2016F520.pl
    dc.description.referencesPiotr Rudnicki, Christoph Schwarzweller, and Andrzej Trybulec. Commutative algebra in the Mizar system. Journal of Symbolic Computation, 32(1/2):143–169, 2001. doi:10.1006/jsco.2001.0456.pl
    dc.description.referencesChristoph Schwarzweller. Existence and uniqueness of algebraic closures. Formalized Mathematics, 30(4):281–294, 2022. doi:10.2478/forma-2022-0022.pl
    dc.description.referencesChristoph Schwarzweller. On monomorphisms and subfields. Formalized Mathematics, 27(2):133–137, 2019. doi:10.2478/forma-2019-0014.pl
    dc.description.referencesChristoph Schwarzweller and Agnieszka Rowińska-Schwarzweller. Algebraic extensions. Formalized Mathematics, 29(1):39–48, 2021. doi:10.2478/forma-2021-0004.pl
    dc.description.referencesYasushige Watase. Ring of endomorphisms and modules over a ring. Formalized Mathematics, 30(3):211–221, 2022. doi:10.2478/forma-2022-0016.pl
    dc.description.referencesOscar Zariski and Pierre Samuel. Commutative Algebra I. Springer, 2nd edition, 1975.pl
    dc.identifier.eissn1898-9934-
    dc.description.volume31pl
    dc.description.issue1pl
    dc.description.firstpage143pl
    dc.description.lastpage150pl
    dc.identifier.citation2Formalized Mathematicspl
    Występuje w kolekcji(ach):Formalized Mathematics, 2023, Volume 31, Issue 1

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    Embedding-Principle-for-Rings-and-Abelian-Groups.pdf263,5 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


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