Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

There are many algebraic equivalences of AC in the literature. A famous one is "every ring with identity has a maximal ideal".

Where can I find this equivalences, specially those in rings theory !? Can you name some others ? Or a good references would be okay.

share|improve this question
add comment

2 Answers

up vote 5 down vote accepted

One good source would be Rubin & Rubin Equivalents of the Axiom of Choice, where there is a section devoted for algebraic forms. There are two editions to this book, the second one is from the 1980's and contains a lot more information (naturally).

The book is a bit out dated and you can try Howard & Rubin's Consequences of the Axiom of Choice (which also has a website), there you could find principles which are (usually) independent of ZF, but are provable from ZFC; you can check those against the axiom of choice (Form 1) and see whether or not they imply it, but this is not done automatically.

Another good place to check would be Herrlich's The Axiom of Choice which contains several equivalences (and "disasters") from several mathematical fields, in particular algebra (although not too much of it).

share|improve this answer
    
@Asaf: Thanks a lot –  user30428 Jan 6 '13 at 15:44
add comment

You might also like Thomas Jech's book "The axiom of choice", where equivalences are discussed and some mathematics without choice is demonstrated.

share|improve this answer
    
I don't know how many algebraic equivalents of AC appear in Jech's book. And I've been through it a lot. I agree it's a useful reference, but I don't think it fits this question very well. –  Asaf Karagila Jan 7 '13 at 12:09
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.