1: \begin{abstract}

2: In this paper, we present a functorial method to define ramification groups, identifying them as inertia groups of an induced action on composite jet algebras. This framework lays the foundation for defining higher ramification groups for actions involving group schemes. To achieve this, we introduce Taylor maps within the category of commutative unitary rings at prime ideals of an \(R\)-algebra and compute their kernels for algebras of finite type over a field with separably generated residue fields. \\

3: 

4: %This paves the way for defining higher ramification groups in the context of algebraic geometry.

5: 

6: \noindent \textbf{Keywords. } Jet algebra, Ramification, Action, Taylor map, Ramification groups, Derivation, Formal smoothness, Separably generated. \\

7: 

8: \noindent \textbf{2020 Math. Subject Class.} 14A05, 13A50, 13B25

9: \\

10: %\noindent \textbf{Personal website:} \ %\href{https://goo.gl/P9Ttmu}{kolosovpetro.github.io}\\

11: %\noindent \textbf{ORCID:} \ %\href{https://goo.gl/qqxSYM}{0000-0002-6544-8880}\\

12: %\noindent \textbf{e-mail:} \ \ \ %\href{mailto:kolosovp94@gmail.com}{kolosovp94@gmail.com}\\

13: \end{abstract}

14: