Definition of "free group" []

• A group (set with a particular kind of binary operation) that has a presentation without relators; equivalently, a free product of some number of copies of ℤ. (noun)

Wiktionary.org : Text is available under the Creative Commons Attribution-ShareAlike License