free product

operation that takes two groups G and H and constructs a new group G ∗ H

Categories: