Let $\mathfrak{g}$ denote a Lie algebra, $K$ a field, and view $K$ as a trivial $\mathfrak{g}$-module (that is, define $x \cdot a = 0$ for all $x \in \mathfrak{g}, a \in K$). In other words, we have a trivial structure map $\rho:\mathfrak{g} \rightarrow K$ sending everything to zero. By the universal property of the universal enveloping algebra $U\mathfrak{g}$, we can associate to this structure map a unique algebra homomorphism $\epsilon:U \mathfrak{g} \rightarrow K$, called the augmentation of $U\mathfrak{g}$.
I guess I must be confused regarding the construction of the induced map, because to me it seems that this map should just send everything to zero. For instance, on the generators of $U \mathfrak{g}$, shouldn't we have $\epsilon(x_1 \otimes \cdots \otimes x_n) = \rho(x_1) \cdots \rho(x_n) = 0$?
Thanks for your time.
The universal enveloping algebra $U\mathfrak{g}$ is a unital associative algebra. The map $\epsilon$ you've described above would send the identity element of this algebra to 1, and the elements of $\mathfrak{g}$ (which, along with the identity, generate $U\mathfrak{g}$ as an algebra) to zero. So it's not the zero map.