Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Source. Section 6, printed p. 152 (published PDF).

Statement. Let SS be a nonempty subset of a finite matroid. The following conditions are equivalent:

  1. Either every element of SS is a coloop, or no element of SS is a coloop and every base omits at most one element of SS.
  2. All elements of SS belong to exactly the same circuits.

This is the source's meaning of elements being in series. The source uses isolated for what is called a coloop here.

Proof. Assume condition 2. If no circuit contains any element of SS, all its elements are coloops by the circuit criterion. Otherwise a circuit containing one contains them all, so none is a coloop. If a base BB omitted two distinct elements x,y∈Sx,y\in S, then B∪{x}B\cup\{x\} would contain a circuit containing xx but not yy, contrary to condition 2. Thus condition 1 follows.

Conversely, if all elements of SS are coloops, they all belong to no circuits, giving condition 2. Consider the other case of condition 1. If condition 2 fails, there are x,y∈Sx,y\in S and a circuit CC with x∈Cx\in C and y∉Cy\notin C.

Because yy is not a coloop, r(E∖{y})=r(E)r(E\setminus\{y\})=r(E). The circuit CC remains a circuit in the restriction to E∖{y}E\setminus\{y\}. Consequently xx is not a coloop of that restriction, and the same rank criterion gives

r(E∖{x,y})=r(E∖{y})=r(E).r(E\setminus\{x,y\}) =r(E\setminus\{y\})=r(E).

A base of the double deletion is therefore a base of the original matroid omitting both xx and yy. This contradicts condition 1, and proves the equivalence. □\square