As James Newman once said, algebra is "a branch of mathematics in which one does something to something and then compares the results with the result of doing the same thing to something else, or something else to the same thing."
Abstract algebra is the area of mathematics that investigates algebraic structures. By defining certain operations on sets, one can construct more sophisticated objects: groups, rings, and fields. These operations unify and distinguish objects at the same time: adding matrices is similar to adding integers, while matrix multiplication is quite different from multiplication modulo n. Because structures like groups or rings are richer than sets, we cannot compare them using only their elements; we have to relate their operations as well. For this reason group and ring homomorphisms are defined. These are functions between groups or rings that "respect" their operations. This type of function is used not only to relate these objects, but also to build new ones, quotients for example.
Although at this point it may seem like the study of these new and strange objects is little more than an exercise in a mathematical fantasy world, the basic results and ideas of abstract algebra have permeated and are at the foundation of nearly every branch of mathematics.
