2aaf3fe9b9085420.tex
1: \begin{definition}
2: \label{def.GGG.chromatic}
3: {\it Stanley's chromatic symmetric function} $\Psi[G]$ for a simple graph $G=(V,E)$
4: is the image of $[G]$ under the map
5: $\GGG \overset{\Psi}{\longrightarrow} \Qsym$
6: induced via Theorem~\ref{Qsym-as-terminal-object-theorem}
7: from the {\it edge-free character}
8: $\GGG \overset{\zeta}{\longrightarrow} \kk$ defined by
9: \begin{equation}
10: \label{edge-free-character-defn}
11: \zeta[G]=\begin{cases}
12: 1 & \text{ if }G\text{ has no edges, that is, }G\text{ is an independent/stable set of vertices},\\
13: 0 & \text{ otherwise.}
14: \end{cases}
15: \end{equation}
16: Note that, because $\GGG$ is cocommutative, $\Psi[G]$ is symmetric and not just quasisymmetric;
17: see Remark~\ref{Sym-as-terminal-object-remark}.
18: \end{definition}
19: