Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: ring theory

Sortuj według:

Ogranicz wyniki do:

The First Isomorphism Theorem and Other Properties of Rings

100%

Korniłowicz A., Schwarzweller C.

Formalized Mathematics

2014

tom 22

nr 4

291-301

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

Ograniczanie wyników

1 Formalized Mathematics

1 Korniłowicz A.

1 Schwarzweller C.

1 2014

Wyniki wyszukiwania

The First Isomorphism Theorem and Other Properties of Rings