8966ff8a6923e15d.tex
1: \begin{definition}  \label{def:charcont}
2:     Let $(x,y)$ be a local coordinate system of $(S,o)$ such that $L = Z(x)$ and let $C$ be a reduced 
3:     curve singularity on $(S,o)$ not containing $L$. 
4:               
5:               \medskip 
6:               \noindent 
7:               $\bullet$
8:               The finite subset $\boxed{\cZ_x(C)}:= \cZ_x(f)$ from the statement of Theorem 
9:                  \ref{thm:NewtPuiseux} is called the set of {\bf Newton-Puiseux roots} of 
10:                  $C$ relative to $x$. \index{Newton-Puiseux!root}
11:                  
12:                  
13:               \noindent 
14:               $\bullet$
15:               The {\bf order of coincidence} $\boxed{k_x(\xi, \xi')}$ of two Newton-Puiseux series 
16:                   $\xi, \xi'$ is equal to $\nu_x(\xi - \xi')$. \index{order!of coincidence}
17:               
18:               \noindent 
19:               $\bullet$
20:               The {\bf order of coincidence} $\boxed{k_x(C_l, C_m)}$ of two distinct 
21:                  branches $C_l$ and $C_m$ of $C$ is the maximal order of coincidence 
22:                  of Newton-Puiseux roots of the two branches: 
23:                  $\max\{ k_x(\xi, \xi') , \:  \xi \in \cZ_x(C_l), \: \xi' \in \cZ_x(C_m) \}$.
24:                     
25:                
26:               \noindent 
27:               $\bullet$
28:               The {\bf set of characteristic exponents} $\boxed{{\mathrm{Ch}}_x(C_l)}$ 
29:                  \index{exponent!characteristic}
30:                    of a branch $C_l$ of $C$ relative to the variable $x$ is 
31:                   the set of orders of coincidence of pairs of distinct Newton-Puiseux roots of it:
32:                   $\{ k_x(\xi, \xi') , \:  \xi, \xi'  \in \cZ_x(C_l), \: \xi \neq \xi'  \}$.
33:                                      
34: \end{definition}
35: