Show simple item record

dc.contributor.advisorMarshall, Murrayen_US
dc.creatorZhang, Yufeien_US
dc.date.accessioned2004-10-21T00:10:37Zen_US
dc.date.accessioned2013-01-04T05:03:49Z
dc.date.available1998-01-01T08:00:00Zen_US
dc.date.available2013-01-04T05:03:49Z
dc.date.created1998-01en_US
dc.date.issued1998-01-01en_US
dc.date.submittedJanuary 1998en_US
dc.identifier.urihttp://hdl.handle.net/10388/etd-10212004-001037en_US
dc.description.abstractOrderings on a noncommutative ring 'A' are defined exactly as in the commutative case. A preordering of 'A' is a subset T⊆A such that SA2T⊆ T, where SA2T is the set of all finite sums of permuted products of elements ' a'1,'a'1, ... ,'a n','an ','t'1 , ... ,'t'm for 'a' 1, ... ,'an' ∈ 'A', 't'1, ... ,' tm' ∈ 'T', 'n' > 0, 'm' >= 0. A has an ordering if and only if 'A' has a proper preordering (a preordering not containing -1). Given an ordering 'P' of 'A', 'A'/('P' [intersection]- 'P') is an integral domain. Let Sper('A') be the set of all orderings on 'A'. A version of Positivstellensatz holds for Sper('A'). Sper('A') gives rise to an abstract real spectrum exactly as in the commutative case. For a fixed real primeideal ℘ of 'A', the set of all support ℘ orderings of 'A' forms a space of orderings. Given a noncommutative integral domain 'D', suppose {0} is a real prime ideal of 'D'. Every support {0} ordering of ' D' induces an archimedean equivalence relation on 'D'. This equivalence relation gives rise naturally to a valuation on ' D'. Also, one defines a real place 'a' : (' D' * 'D')\(0,0) [right arrow] R∪[infinity] associated with this valuation. A version of Baer-Krull theorem holds for this sort of real places on 'D'. There is a natural P-structure on the space of support {0} orderings of 'D'. By allowing valuations in the weak sense, a version of Brocker's trivialization theorem for fans holds. The quantum ring Rx,yx is a special skew polynomial ring, where the multiplication is given by yx=xxy for some real [xi] > 0, [xi] [not equal] 1. The set of support {0} orderings on the quantum ring is identified with ∪8i=1 Ii (disjoint union), where each 'Ii' is a copy of I=∪l ∈RFl ∪±[infinity] and Fl=l+,l - if l∈Q and Fl=l if l∈R&bsolm0;Q. Here l+,l- are just symbols. Let ('X, G') be the space of orderings consisting of all support {0} orderings on the quantum ring. The fans of (' X, G') are determined completely and the stability index of (' X, G') is shown to be 2. The topology on 'X' together with the fans shows ('X, G') is indecomposable. The real places on the quantum ring are computed and are shown to be order compatible. Applying results on minimal generation of constructible sets of abstract real spectra to Sper( Rx,yx ), some bounds for the number of inequalities to define a basic open, or a basic closed, or a constructible set in Sper &parl0;R&sqbl0;x,y&sqbr0;x &parr0; have been determined.en_US
dc.language.isoen_USen_US
dc.titleOrderings on noncommutative ringsen_US
thesis.degree.departmentMathematics and Statisticsen_US
thesis.degree.disciplineMathematics and Statisticsen_US
thesis.degree.grantorUniversity of Saskatchewanen_US
thesis.degree.levelDoctoralen_US
thesis.degree.nameDoctor of Philosophy (Ph.D.)en_US
dc.type.materialtexten_US
dc.type.genreThesisen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record