So every generalisable group should be free?

Would you include single member groups?

What precisely is your definition of freedom.