An Introduction to Abstract Algebra

Elementary number theory and group theory as the basis for a first course in formal mathematics. Begins with the rudiments of logic. Group theory to the Sylow existence theorem. Beginning theory of domains, ideals, and homomorphisms. Formal constructions of the integers and rational numbers.