Talk:Free Boolean algebra
Appearance
Disputed
I disputed myself here because I'm not quite sure of this fact--is this really sufficient to characterize free BAs? It's not obvious that this condition implies that any permutation of the generators extends to an automorphism, which is surely a property we want. Can't find any clear references at the moment. --Trovatore 00:13, 2 November 2005 (UTC)