d713ac866aff6be1.tex
1: \begin{definition}
2: Define  a character $\MMM \overset{\zeta}{\longrightarrow} \kk$ by
3: $$
4: \zeta[M]=\begin{cases}
5: 1 & \text{ if }M\text{ has only one basis},\\
6: 0 & \text{ otherwise.}
7: \end{cases}
8: $$
9: It is easily checked that this is a character, that is, an algebra map
10: $\MMM \overset{\zeta}{\longrightarrow} \kk$.
11: Note that if $M$ has only one basis, say $\BBB(M)=\{B\}$, then
12: $B:=\coloops(M)$ is the set of coloops of $M$, and
13: $E\setminus B=\loops(M)$ is the set of loops of $M$.  Equivalently,
14: $M = \bigoplus_{e \in E} M|_{\{e\}}$ is the direct sum of matroids each
15: having one element, each a coloop or loop.
16: 
17: Define $\Psi[M]$ for a matroid $M$ to be
18: the image of $[M]$ under the map
19: $\MMM\overset{\Psi}{\longrightarrow} \Qsym$
20: induced via Theorem~\ref{Qsym-as-terminal-object-theorem}
21: from the above character $\zeta$.
22: \end{definition}
23: