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 be a nonempty subset of a finite matroid. The following conditions are equivalent:
- Either every element of is a coloop, or no element of is a coloop and every base omits at most one element of .
- All elements of 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 , 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 omitted two distinct elements , then would contain a circuit containing but not , contrary to condition 2. Thus condition 1 follows.
Conversely, if all elements of are coloops, they all belong to no circuits, giving condition 2. Consider the other case of condition 1. If condition 2 fails, there are and a circuit with and .
Because is not a coloop, . The circuit remains a circuit in the restriction to . Consequently is not a coloop of that restriction, and the same rank criterion gives
A base of the double deletion is therefore a base of the original matroid omitting both and . This contradicts condition 1, and proves the equivalence.