Universal Algebra
P. M. Cohn
Additional contact information
P. M. Cohn: University College London, Department of Mathematics
Chapter 1 in Further Algebra and Applications, 2003, pp 1-31 from Springer
Abstract:
Abstract Most algebraic systems such as groups, vector spaces, rings, lattices etc. can be regarded from a common point of view as sets with operations defined on them, subject to certain laws. This is done in Section 1.1 and it allows many basic results, such as the isomorphism theorems, to be stated and proved quite generally, as we shall see in Section 1.2. Of the general theory of universal algebra (by now quite extensive), we shall need very little, this forms the subject of Section 1.3; in addition to the basic concepts we define the notion of an algebraic variety, i.e. a class of algebraic systems defined by identical relations, or laws. But there are one or two other topics, not strictly part of the subject that are needed: the diamond lemma forms the subject of Section 1.4, while dependence relations have already been discussed in BA (Section 11.1). There is also the ultraproduct theorem in Section 1.5, a result from logic with many uses (see Chapter 7). The chapter ends in Section 1.6 with an axiomatic development of the natural numbers, regarded as an algebraic system, in an account following Leon Henkin [1960] (see also Cohn (1981)).
Keywords: Homomorphic Image; Unary Operation; Universal Algebra; Free Algebra; Subdirect Product (search for similar items in EconPapers)
Date: 2003
References: Add references at CitEc
Citations:
There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.
Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.
Export reference: BibTeX
RIS (EndNote, ProCite, RefMan)
HTML/Text
Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-1-4471-0039-3_1
Ordering information: This item can be ordered from
http://www.springer.com/9781447100393
DOI: 10.1007/978-1-4471-0039-3_1
Access Statistics for this chapter
More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().