Reduced free group