Displaying 41 – 60 of 162

Showing per page

Some Algebraic Properties of Polynomial Rings

Christoph Schwarzweller, Artur Korniłowicz (2016)

Formalized Mathematics

In this article we extend the algebraic theory of polynomial rings, formalized in Mizar [1], based on [2], [3]. After introducing constant and monic polynomials we present the canonical embedding of R into R[X] and deal with both unit and irreducible elements. We also define polynomial GCDs and show that for fields F and irreducible polynomials p the field F[X]/ is isomorphic to the field of polynomials with degree smaller than the one of p.

Some properties of algebras of real-valued measurable functions

Ali Akbar Estaji, Ahmad Mahmoudi Darghadam (2023)

Archivum Mathematicum

Let M ( X , 𝒜 ) ( M * ( X , 𝒜 ) ) be the f -ring of all (bounded) real-measurable functions on a T -measurable space ( X , 𝒜 ) , let M K ( X , 𝒜 ) be the family of all f M ( X , 𝒜 ) such that coz ( f ) is compact, and let M ( X , 𝒜 ) be all f M ( X , 𝒜 ) that { x X : | f ( x ) | 1 n } is compact for any n . We introduce realcompact subrings of M ( X , 𝒜 ) , we show that M * ( X , 𝒜 ) is a realcompact subring of M ( X , 𝒜 ) , and also M ( X , 𝒜 ) is a realcompact if and only if ( X , 𝒜 ) is a compact measurable space. For every nonzero real Riesz map ϕ : M ( X , 𝒜 ) , we prove that there is an element x 0 X such that ϕ ( f ) = f ( x 0 ) for every f M ( X , 𝒜 ) if ( X , 𝒜 ) is a compact measurable space. We confirm...

Currently displaying 41 – 60 of 162