An equivalence of categories

Thumbnail Image
Date
2004-01-01
Authors
Crabtree, David
Major Professor
Advisor
Committee Member
Journal Title
Journal ISSN
Volume Title
Publisher
Altmetrics
Abstract

In this paper, we first explore an interesting construction called the split extension. The split extension is a way of constructing another ring from an arbitrary ring R and an R-module M. This split extension gives us a nice way of obtaining a new ring from an R-module. It is this correspondence that will be exploited in the paper. One of the other primary concepts appearing in this paper is the notion of an abelian group in a category, or more generally, a group in a category. The diagram version of the definition of a group in a category is merely a specific instance of a more general concept; namely, the concept of an "interpretation of an equational algebraic theory" in a category. In particular, the notion of a group in a category arises via an interpretation of the equational theory of groups. The paper also contains an appendix which explores the equivalence of two different definitions of an abelian group in a category (the "diagram" definition, and "functor" definition).

Series Number
Journal Issue
Is Version Of
Versions
Series
Academic or Administrative Unit
Type
thesis
Comments
Rights Statement
Copyright
Thu Jan 01 00:00:00 UTC 2004
Funding
Keywords
Supplemental Resources
Source