自由群，外代数和泛包络代数