登入選單

返回Google圖書搜尋

An Equivalence of Categories

David Allen Crabtree

出版	Iowa State University, 2004
URL	http://books.google.com.hk/books?id=jLr3tgAACAAJ&hl=&source=gbs_api

註釋

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)