User talk:YohanN7/Group Structure and the Axiom of Choice

Comments here please!

Thoughts

 * Modify proof of AC->Group using {x1,x2, ..., xn} -> (x1,x2, ..., xn) using choice directly. This way I can source it to Hungerford's "Algebra" which is a much better reference than Jech for the involved identities. (Jech actually never proves |X×X|=|X| but uses it.)
 * Look for alternative to (AC->Group) using a free group of exponent 2 so that the reasoning can be sourced.
 * Look for a source for "A ZF Set with No Group Structure". Also possibly an outline (with sources) of a Cohen model with the listed properties. YohanN7 (talk) 13:07, 20 September 2012 (UTC)