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)
- It sounds right, but (i) it's a new criteria to me and (ii) I haven't yet had my morning tea, so I will remove the tag once I have double-checked it. --- Charles Stewart 15:12, 2 November 2005 (UTC)