Let g be a finite dimensional nilpotent lie algebra over a field k of characteristic zero. Let U(g) be the universal enveloping algebra and Z(g) be its center. Denote by Z_1(g) the augmentation ideal of Z(g). If g is not abelian, is the extension of this ideal of infinite index in U(g)? In other words, is the quotient U(g)/(Z_1(g)) infinite dimensional over k?

1$\begingroup$ What do you mean by the augmentation ideal of $Z(g)$? (I am asking because you wrote «let $Z(g)$ be its center» but the it in that phrase could be either $g$ or $U(g)$ :=) ) $\endgroup$– Mariano SuárezÁlvarezApr 3 '12 at 21:55

$\begingroup$ Fair enough, it refers to U(g) as in Konstantin Ardakov's answer. $\endgroup$– Daniel PomerleanoApr 4 '12 at 0:42
Yes. Let $J(\mathfrak{g}) := (Z(\mathfrak{g}) \cap \mathfrak{g} U( \mathfrak{g} ) ) \cdot U(\mathfrak{g})$ denote the ideal of $U(\mathfrak{g})$ you're interested in.
First note that if $\mathfrak{g}$ is the $2n + 1$ dimensional Heisenberg Lie algebra $\mathfrak{h}_n$ with basis vectors $x_1,\ldots, x_n, y_1,\ldots, y_n, z$ and the only nonzero Lie brackets $[x_1,y_1] = [x_2,y_2] = \cdots = [x_n,y_n] = z$, then it's not hard to calculate that $Z(\mathfrak{h}_n) = k[z]$ (since $k$ has characteristic zero), so that in this case $J(\mathfrak{h}_n) = zU(\mathfrak{h}_n)$ has infinite codimension in $U(\mathfrak{h}_n)$.
Now if $\varphi : \mathfrak{g} \twoheadrightarrow \mathfrak{h}$ is a quotient of $\mathfrak{g}$, then $\varphi(J(\mathfrak{g})) \subseteq J(\mathfrak{h})$.
Thus it suffices to show that every finite dimensional nonabelian nilpotent Lie algebra $\mathfrak{g}$ admits some $\mathfrak{h}_n$ as a quotient.
Since $\mathfrak{g}$ is nonabelian, by replacing $\mathfrak{g}$ by $\mathfrak{g} / [\mathfrak{g}, [\mathfrak{g},\mathfrak{g}]]$ if necessary, we may assume that $\mathfrak{g}$ has nilpotence class two. Therefore $0 \neq [\mathfrak{g}, \mathfrak{g}]\subseteq z(\mathfrak{g})$ (the centre of the Lie algebra $\mathfrak{g}$).
Pick some nonzero $z \in [\mathfrak{g}, \mathfrak{g}]$ and let $\mathfrak{a}$ be a vector space complement to $kz$ in $z(\mathfrak{g})$. By replacing $\mathfrak{g}$ by $\mathfrak{g} / \mathfrak{a}$, we may therefore assume that $[\mathfrak{g},\mathfrak{g}] = kz$. But now $[\bar{x},\bar{y}] = (x,y)z$ defines a nontrivial alternating bilinear form $(,)$ on $\mathfrak{g}/kz$. By the classification of such forms, we can find a quotient $\mathfrak{h}$ of $\mathfrak{g}$ such that $[\mathfrak{h}, \mathfrak{h}] = kz$, and moreover the corresponding bilinear form on $\mathfrak{h} / kz$ is nondegenerate. This $\mathfrak{h}$ is isomorphic to some $\mathfrak{h}_n$.