Contributions to projective group theory
Date
2017-12
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Stellenbosch : Stellenbosch University
Abstract
ENGLISH ABSTRACT : Projective Group Theory (PGT for short) provides a self-dual axiomatic context
that allows one to establish homomorphism theorems for (non-abelian) group-like
structures. The present thesis has two broad aims. The rst is to introduce a
"norm function" in PGT as a way to capture the notion of an order of a (finite)
group in PGT, extend some elementary results on nite groups to PGT, propose
a de nition of a ( nite) cyclic group in PGT, and make an attempt to recapture
the Second Sylow Theorem. We also describe a process of building a model for
normed PGT (i.e. PGT with a norm function), from a monoid equipped with a
family of congruences, subject to suitable axioms. In the case of the multiplicative
monoid of natural numbers equipped with the family of modular congruences, we
recover the model of normed PGT formed by nite cyclic groups. The second
aim of the thesis is to introduce and study biproducts and commutators in PGT,
which generalize usual products and commutators for group-like structures. Our
biproducts are not categorical products, although, as we show, they form a monoidal
structure. However, our notion of a biproduct is self-dual, just like (and is in fact
very similar to) the one in the context of an abelian category.
AFRIKAANSE OPSOMMING : Projektiewe groepteorie (PGT vir kort) bied 'n selfduale konteks wat mens toelaat om homomor sme stellings vir (nie-abelse) groepagtige strukture vas te stel. Die huidige tesis het twee bre e doelwitte. Die eerste is om 'n "norm funksie" in PGT voor te stel as 'n manier om die konsep van 'n orde van 'n (eindige) groep in PGT vas te vang, sommige element^ere resultate van eindige groepe na PGT te verleng, 'n de nisie van (eindige) sikliese groepe in PGT voor te stel, en om 'n poging aan te wend om die Tweede Sylow Stelling vas te vang. Ons beskryf ook 'n proses om modelle vir genormeerde PGT (d.w.s. PGT met 'n norm funksie) te bou van mono ede toegerus met 'n familie van kongruensies, onderhewig aan geskikte aksiomas. In die geval van die multiplikatiewe mono ed van natuurlike getalle toegerus met die familie van modul^ere kongruensies, kry ons die model van genormeerde PGT gevorm deur eindige sikliese groepe terug. Die tweede doelwit van hierdie tesis is om biprodukte en kommutators in PGT voor te stel en te studeer, wat die gewone produkte en kommutators vir groepagtige strukture veralgemeen. Ons biprodukte is nie kategoriese produkte nie, alhoewel, soos ons wys, vorm hulle 'n monoïedale struktuur. Egter, ons konsep van biproduk is selfduaal, net soos (en is in werklikheid baie soortgelyk tot) die een in die konteks van 'n abelse kategorie.
AFRIKAANSE OPSOMMING : Projektiewe groepteorie (PGT vir kort) bied 'n selfduale konteks wat mens toelaat om homomor sme stellings vir (nie-abelse) groepagtige strukture vas te stel. Die huidige tesis het twee bre e doelwitte. Die eerste is om 'n "norm funksie" in PGT voor te stel as 'n manier om die konsep van 'n orde van 'n (eindige) groep in PGT vas te vang, sommige element^ere resultate van eindige groepe na PGT te verleng, 'n de nisie van (eindige) sikliese groepe in PGT voor te stel, en om 'n poging aan te wend om die Tweede Sylow Stelling vas te vang. Ons beskryf ook 'n proses om modelle vir genormeerde PGT (d.w.s. PGT met 'n norm funksie) te bou van mono ede toegerus met 'n familie van kongruensies, onderhewig aan geskikte aksiomas. In die geval van die multiplikatiewe mono ed van natuurlike getalle toegerus met die familie van modul^ere kongruensies, kry ons die model van genormeerde PGT gevorm deur eindige sikliese groepe terug. Die tweede doelwit van hierdie tesis is om biprodukte en kommutators in PGT voor te stel en te studeer, wat die gewone produkte en kommutators vir groepagtige strukture veralgemeen. Ons biprodukte is nie kategoriese produkte nie, alhoewel, soos ons wys, vorm hulle 'n monoïedale struktuur. Egter, ons konsep van biproduk is selfduaal, net soos (en is in werklikheid baie soortgelyk tot) die een in die konteks van 'n abelse kategorie.
Description
Thesis (MSc)--Stellenbosch University, 2017
Keywords
Projective linear groups, Group theory, Linear algebraic groups, Commutators (Mathematics), UCTD