1 |
Preservation theorems for algebraic and relational models of logicMorton, Wilmari 30 July 2013 (has links)
A thesis submitted to the School of Computer Science,
Faculty of Science,
University of the Witwatersrand, Johannesburg
in fulfilment of the requirements for the degree of Doctor of Philosophy. Johannesburg, 15 May 2013 / In this thesis a number of different constructions on ordered algebraic structures
are studied. In particular, two types of constructions are considered: completions
and finite embeddability property constructions.
A main theme of this thesis is to determine, for each construction under
consideration, whether or not a class of ordered algebraic structures is closed
under the construction. Another main focus of this thesis is, for a particular
construction, to give a syntactical description of properties preserved by the
construction. A property is said to be preserved by a construction if, whenever
an ordered algebraic structure satisfies it, then the structure obtained through
the construction also satisfies the property.
The first four constructions investigated in this thesis are types of completions.
A completion of an ordered algebraic structure consists of a completely
lattice ordered algebraic structure and an embedding that embeds the former
into the latter. Firstly, different types of filters (dually, ideals) of partially ordered
sets are investigated. These are then used to form the filter (dually, ideal)
completions of partially ordered sets. The other completions of ordered algebraic
structures studied here include the MacNeille completion, the canonical
extension (also called the completion with respect to a polarization) and finally
a prime filter completion.
A class of algebras has the finite embeddability property if every finite partial
subalgebra of some algebra in the class can be embedded into some finite
algebra in the class. Firstly, two constructions that establish the finite embeddability
property for residuated ordered structures are investigated. Both of
these constructions are based on completion constructions: the first on the Mac-
Neille completion and the second on the canonical extension. Finally, algebraic
filtrations on modal algebras are considered and a duality between algebraic and
relational versions of filtrations is established.
|
2 |
Hall algebras and Green ringsArcher, Louise January 2005 (has links)
This thesis consists of two parts, both of which involve the study of algebraic structures constructed via the multiplication of modules. In the first part we look at Hall algebras. We consider the Hall algebra of a cyclic quiver algebra with relations of length two and present a multiplication formula for the explicit calculation of products in this algebra. We then look at the case of a cyclic quiver with two vertices and describe the corresponding composition algebra as a quotient of the positive part of a quantised enveloping algebra of type Ã<sub>1</sub> We then look at quotients of Hall algebras of self-injective algebras. We give an abstract result describing the quotient of such a Hall algebra by the ideal generated by isomorphism classes of projective modules, and also a more explicit result describing quotients of Hall algebras of group algebras for cyclic 2-groups and some related polynomial algebras. The second part of the thesis deals with Green rings. We compare the Green rings of a group algebra and the corresponding Jennings algebra for certain p-groups. It is shown that these two Green rings are isomorphic in the case of a cyclic p-group. In the case of the Klein four group it is shown that the two Green rings are not isomorphic, but that there exist quotients of these rings which are isomorphic. It is conjectured that the corresponding quotients will also be isomorphic in the case of a dihedral 2-group. The properties of these quotients are studied, with the aim of producing evidence to support this conjecture. The work on Green rings also includes some results on the realisation of quotients of Green rings as group rings over ℤ.
|
3 |
On yosida frames and related framesMatabane, Mogalatjane Edward January 2012 (has links)
Thesis (MA. (Mathematics)) -- University of Limpopo, 2012 / Topological structures called Yosida frames and related algebraic frames are studied in the realm of Pointfree Topology. It is shown that in algebraic frames regular elements are those for which compact elements are rather below the regular elements, and algebraic frames are regular if and only if every compact element is rather below itself if and only if the frame has the Finite Intersection Property (FIP) and each prime element is minimal.
We also show that Yosida frames are those algebraic frames with the Finite Intersection Property and are finitely subfit; that these frames are also those semi-simple algebraic frames with FIP and a disjointification where dim (L)≤ 1; and we prove that in an algebraic frame with FIP, it holds that dom (L) = dim (L). In relation to normality in Yosida frames, we show that in a coherent normal Yosida frame L, the frame is subfit if and only if it is regular if and only if it is zero- dimensional if and only if every compact element is complemented.
|
4 |
Coherence for categorified operadic theoriesGould, Miles. January 2008 (has links)
Thesis (Ph.D.) - University of Glasgow, 2008. / Ph.D. thesis submitted to the Faculty of Information and Mathematical Sciences, Department of Mathematics, University of Glasgow, 2008. Includes bibliographical references. Print version also available.
|
5 |
Initial Embeddings in the Surreal Number TreeKaplan, Elliot 23 April 2015 (has links)
No description available.
|
6 |
Selected preserver problems on algebraic structures of linear operators and on function spaces /Molnár, Lajos. January 2007 (has links) (PDF)
Zugl.: Diss. / Literaturverz. S. [217] - 229.
|
Page generated in 0.1105 seconds