arXiv++ Combinatorics

For $Δ$ a finite connected nontrivial directed multigraph, we prove: 1. $Δ$ has a directed circuit using each directed edge exactly once if and only if both each pair of distinct vertices of $Δ$ occur in a common directed circuit and in-degree$({\bf x}) =$ out-degree$({\bf x})$ for every vertex ${\bf x}$. 2. $Δ$ contains a non-circuit directed path which uses every directed edge exactly once if and only if both every pair of distinct vertices of $Δ$ occur in a common directed circuit and there are vertices ${\bf b \not= e}$ such that in-degree$({\bf e}) -$ out-degree$({\bf e}) = 1 =$ out-degree$({\bf b}) -$ in-degree$({\bf b})$ but, for every vertex ${\bf x \notin \{b,e\}}$, it happens that in-degree$({\bf x}) =$ out-degree$({\bf x})$.

When ${\bf t} := \langle t_1,t_2,\ldots,t_k\rangle$ is a sequence of transpositions on the finite set $n:=\{0,1,\ldots,n-1\}$, then $\bigcirc{\bf t}:= t_1\circ t_2\circ\cdots\circ t_k$ denotes the compositional product of the sequence. Our paper treats the set ${\rm Prod}({\bf t})$ of all $\bigcirc{\bf s}$, where ${\bf s}$ is a sequence obtained by rearranging the terms of ${\bf t}$. The paper characterizes the set of all transpositional sequences ${\bf t}$ for which ${\rm Prod}({\bf t})$ is the subset of a single congugacy class in the symmetric group ${\rm Sym}(n)$; we call such ${\bf t}$ {\it conjugacy invariant}. At the opposite extreme, the paper studies conditions under which ${\bf t}$ is {\it permutationally complete}, which is to say, those ${\bf t}$ for which either ${\rm Prod}({\bf t}) = {\rm Alt}(n)$ or ${\rm Prod}({\bf t}) = {\rm Sym}(n)\setminus{\rm Alt}(n)$.

Consider arbitrarily parenthesized expressions on the $k$ variables $x_0, x_1, ..., x_{k-1}$, where each $x_i$ appears exactly once and in the order of their indices. We call these expressions {\em formal $k$--products}. $F^σ(k)$ denotes the set of formal $k$--products. For ${{\bf u},{\bf v}}\subseteq F^σ(k)$, the claim, that ${\bf u}$ and ${\bf v}$ produce equal elements in a groupoid $G$ for all values assumed in $G$ by the variables $x_i$, attributes to $G$ a {\em generalized associative law}. Many groupoids are {\em completely dissociative}; i.e., no generalized associative law holds for them; two examples are the groupoids on ${0,1}$ whose binary operations are implication and NAND. We prove a variety of results of that flavor.