 Multiplying by formula_13 gives that formula_10 is in fact the identity element which is a contradiction.The existence of such a set formula_1 is consistent, for example given in Cohen's first model.Surprisingly, however, being an infinite Dedekind-finite set is not enough to rule out a group structure, as it is consistent that there are infinite Dedekind-finite sets with Dedekind-finite power sets.