REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

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

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/21347
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorRiccardi, Marco-
    dc.date.accessioned2026-10-28T08:03:47Z-
    dc.date.available2026-10-28T08:03:47Z-
    dc.date.issued2007-
    dc.identifier.citationFormalized Mathematics, Volume 15, Issue 2, Pages 35-51pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/21347-
    dc.description.abstractThe goal of this article is to formalize the Jordan-Hölder theorem in the context of group with operators as in the book [5]. Accordingly, the article introduces the structure of group with operators and reformulates some theorems on a group already present in the Mizar Mathematical Library. Next, the article formalizes the Zassenhaus butterfly lemma and the Schreier refinement theorem, and defines the composition series.pl
    dc.language.isoenpl
    dc.publisherUniversity of Białystokpl
    dc.rightsAttribution-ShareAlike 4.0 International (CC BY-SA 4.0)-
    dc.rights.urihttps://creativecommons.org/licenses/by-sa/4.0/-
    dc.titleThe Jordan-Hölder Theorempl
    dc.typeArticlepl
    dc.identifier.doi10.2478/v10037-007-0005-8-
    dc.description.referencesGrzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377-382, 1990.pl
    dc.description.referencesGrzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990.pl
    dc.description.referencesGrzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.pl
    dc.description.referencesGrzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990.pl
    dc.description.referencesNicolas Bourbaki. Elements of Mathematics. Algebra I. Chapters 1-3. Springer-Verlag, Berlin, Heidelberg, New York, London, Paris, Tokyo, 1989.pl
    dc.description.referencesCzesław Byliński. Finite sequences and tuples of elements of a non-empty sets. Formalized Mathematics, 1(3):529-536, 1990.pl
    dc.description.referencesCzesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.pl
    dc.description.referencesCzesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.pl
    dc.description.referencesCzesław Byliński. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.pl
    dc.description.referencesCzesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.pl
    dc.description.referencesCzesław Byliński. Some properties of restrictions of finite sequences. Formalized Mathematics, 5(2):241-245, 1996.pl
    dc.description.referencesAgata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165-167, 1990.pl
    dc.description.referencesKatarzyna Jankowska. Transpose matrices and groups of permutations. Formalized Mathematics, 2(5):711-717, 1991.pl
    dc.description.referencesJarosław Kotowicz. Properties of real functions. Formalized Mathematics, 1(4):781-786, 1990.pl
    dc.description.referencesBeata Padlewska. Families of sets. Formalized Mathematics, 1(1):147-152, 1990.pl
    dc.description.referencesAndrzej Trybulec. Subsets of complex numbers. To appear in Formalized Mathematics.pl
    dc.description.referencesAndrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9-11, 1990.pl
    dc.description.referencesMichał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990.pl
    dc.description.referencesWojciech A. Trybulec. Classes of conjugation. Normal subgroups. Formalized Mathematics, 1(5):955-962, 1990.pl
    dc.description.referencesWojciech A. Trybulec. Groups. Formalized Mathematics, 1(5):821-827, 1990.pl
    dc.description.referencesWojciech A. Trybulec. Non-contiguous substrings and one-to-one finite sequences. Formalized Mathematics, 1(3):569-573, 1990.pl
    dc.description.referencesWojciech A. Trybulec. Subgroup and cosets of subgroups. Formalized Mathematics, 1(5):855-864, 1990.pl
    dc.description.referencesWojciech A. Trybulec. Lattice of subgroups of a group. Frattini subgroup. Formalized Mathematics, 2(1):41-47, 1991.pl
    dc.description.referencesWojciech A. Trybulec and Michał J. Trybulec. Homomorphisms and isomorphisms of groups. Quotient group. Formalized Mathematics, 2(4):573-578, 1991.pl
    dc.description.referencesZinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.pl
    dc.description.referencesEdmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990.pl
    dc.description.referencesEdmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.pl
    dc.description.volume15pl
    dc.description.issue2pl
    dc.description.firstpage35pl
    dc.description.lastpage51pl
    dc.identifier.citation2Formalized Mathematicspl
    Występuje w kolekcji(ach):Formalized Mathematics, 2007, Volume 15, Issue 2

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    The_Jordan-Hölder_Theorem.pdf185,34 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


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