Free-group meaning

(mathematics) 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 ℤ.