REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/3555
Tytuł: Free Magmas
Autorzy: Riccardi, Marco
Data wydania: 2010
Data dodania: 2-gru-2015
Wydawca: De Gruyter Open
Źródło: Formalized Mathematics, Volume 18, Issue 1, 2010, Pages 17-26
Abstrakt: This article introduces the free magma M(X) constructed on a set X [6]. Then, we formalize some theorems about M(X): if f is a function from the set X to a magma N, the free magma M(X) has a unique extension of f to a morphism of M(X) into N and every magma is isomorphic to a magma generated by a set X under a set of relators on M(X). In doing it, the article defines the stable subset under the law of composition of a magma, the submagma, the equivalence relation compatible with the law of composition and the equivalence kernel of a function. We also introduce some schemes on the recursive function.
Afiliacja: Via del Pero 102, 54038 Montignoso, Italy
URI: http://hdl.handle.net/11320/3555
DOI: 10.2478/v10037-010-0003-0
ISSN: 1426-2630
1898-9934
Typ Dokumentu: Article
Występuje w kolekcji(ach):Formalized Mathematics, 2010, Volume 18, Issue 1

Pliki w tej pozycji:
Plik Opis RozmiarFormat 
v10037-010-0003-0.pdf300,3 kBAdobe PDFOtwórz
Pokaż pełny widok rekordu Zobacz statystyki


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