  The main result of this paper concerns the finite generation of the total
ring of invariant $k$-jets as a generalization of a conjecture which was first
mentioned in \cite{DMR} and later studied in \cite{D1, D2, Me, BK}. The
conjecture in \cite{DMR} states that the fiber ring of the space of invariant
jet differentials of a projective manifold is finitely generated on the regular
locus, i.e. the normalized ring of invariant $k$-jets is finitely generated. We
also prove this conjecture independently. Berczi-Kirwan has a partial attempt
toward the question in \cite{BK} (2012), but the conjecture remains open. Our
method is different and quite new to this question. The analytic automorphism
group of regular $k$-jets of holomorphic curves on a projective variety $X$ is
a non-reductive subgroup of the general linear group $GL_k \mathbb{C}$. In this
case, the proof of the Chevalley theorem on the invariant polynomials in the
fiber rings falls into difficulties. Different methods are required for the
proof of the finite generation of the ring of invariants. We employ some
techniques of algebraic Lie groups (not necessarily reductive) together with
primary results obtained by Berczi and Kirwan (2012) to prove the finite
generation of the ring of invariant jets. Besides, to above we present a
systematic study of the structure theory of the non-reductive Lie group $G_k$
and its Lie algebra. We consider two actions of $G_k$, the first its adjoint
action on its Lie algebra and the second the above action on the space of
$k$-jets. We prove both of these two actions have generic stabilizers and
obtain various results on the associate quotient maps. Finally, we present a
result on the structure of the representation ring of $G_k$.
