I've been thinking about how one should teach Abstract Algebra and it seems to me that John B. Fraleigh's book "A First Course in Abstract Algebra" is exactly what I would write if I confidently knew the subject and if the book were not written yet.

Of course, there is room for improvement (and I think that I may have alternative proofs; in fact, I'm fond of multiple different proofs for a given fact, as they shed a different light on the matter being discussed) and I would change some demonstrations or condense some of them, but the general outline of the book is superb.

I think that the choice (and order) of subjects is quite adequate, contrary to many people that think that students should be exposed to Rings before being exposed to Groups.

On the contrary, I think that, to foster the abstract thinking of students that may not yet have the so-called "mathematical maturity", one should give them "poor" algebraic structures (satisfying just a few axioms) and then deducing things almost "mechanically". This "mechanic thinking" and "dealing with the unknown" is quite important to dissociate the meaning that students are used to assign to objects that they already know.

For instance, what is the "fun" (or even the motivation) of proving that 1 is greater than 0 on the integers? The students, quite correctly, assert that this is "obviously true", for they can "draw", say, a ball on a sheet of paper and no ball on another an say that indeed, given their intuitive knowledge of what an order relation is, that there is no need to prove anything!

Only when presented with structures where this is not true is that one would appreciate the fact that there exists an example of an infinite integral domain (with unique factorization, which is also not to take for granted!) is that the proof of such a fact is perceived to be important.

Otherwise, if "everything is normal", one could think that "intuitive" facts are indeed true and even disregard the necessity of proofs.

Beginning an abstract algebra book for freshmen or sophomores that had only "computational" courses on Calculus up to that point (what an unfortunate fact!) with a discussion of groups and spending a good amount of time with proofs on elementary facts, leads the students to develop the frequently cited prerequisite "mathematical maturity" needed for understanding anything non-trivial that needs a good amount of abstraction (and this includes the proper programming of computers, of course).

This should not be interpreted as an attack on texts that cover rings before groups (or weaker structures). It just means that I think that, as a pedagogical tool, using rings first may not be as "eye-opening" (for the abstract world, and, therefore, for Real Mathematics) as other approaches.

It is completely understadable for a graduate (or even advanced undergraduate) text to provide a "fresh" view on Rings (and the pathological cases should be included), say, by giving, as motivation, the problem of writing primes as sums of two squares (which can be viewed as a problem of factorization on the Gaussian Integers integral domain).

I hope that other instructors actually read this and stop to think about the possibilities, even if they don't agree with my views (just causing thought is enough for me).