REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/3725
Tytuł: The First Isomorphism Theorem and Other Properties of Rings
Autorzy: Korniłowicz, Artur
Schwarzweller, Christoph
Słowa kluczowe: commutative algebra
ring theory
first isomorphism theorem
Data wydania: 2014
Data dodania: 9-gru-2015
Wydawca: De Gruyter Open
Źródło: Formalized Mathematics, Volume 22, Issue 4, 2014, Pages 291-301
Abstrakt: Different properties of rings and fields are discussed [12], [41] and [17]. We introduce ring homomorphisms, their kernels and images, and prove the First Isomorphism Theorem, namely that for a homomorphism f : R → S we have R/ker(f) ≅ Im(f). Then we define prime and irreducible elements and show that every principal ideal domain is factorial. Finally we show that polynomial rings over fields are Euclidean and hence also factorial.
Afiliacja: Korniłowicz Artur - Institute of Informatics University of Białystok Sosnowa 64, 15-887 Białystok Poland
Schwarzweller Christoph - Institute of Computer Science University of Gdansk Wita Stwosza 57, 80-952 Gdansk Poland
URI: http://hdl.handle.net/11320/3725
DOI: 10.2478/forma-2014-0029
ISSN: 1426-2630
1898-9934
Typ Dokumentu: Article
Występuje w kolekcji(ach):Artykuły naukowe (WMiI)
Formalized Mathematics, 2014, Volume 22, Issue 4

Pliki w tej pozycji:
Plik Opis RozmiarFormat 
forma-2014-0029.pdf280,97 kBAdobe PDFOtwórz
Pokaż pełny widok rekordu Zobacz statystyki


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