Math 2.0

Order, lattices, ordered algebraic structures Chains, antichains, dimension Example

Fence

Builds on Linear extension

Example

Let n≥1n \ge 1. The fence ZnZ_n is the partially ordered set on x1,…,xnx_1, \ldots, x_n with these covering relations: x1<x2>x3<x4>⋯ .x_1 < x_2 > x_3 < x_4 > \cdots. That is, xi<xi+1x_i < x_{i+1} for odd ii and xi>xi+1x_i > x_{i+1} for even ii, with 1≤i<n1 \le i < n. It is also called a zigzag poset. Its Hasse diagram is a path that goes up and down in turn.

A linear extension of ZnZ_n is a bijection f ⁣:{x1,…,xn}→{1,…,n}f \colon \set{x_1, \ldots, x_n} \to \set{1, \ldots, n} with f(x1)<f(x2)>f(x3)<⋯f(x_1) < f(x_2) > f(x_3) < \cdots. So the linear extensions of ZnZ_n correspond to the alternating permutations of {1,…,n}\set{1, \ldots, n}, and their number is the Euler zigzag number EnE_n. Check for n=3n = 3: the poset x1<x2>x3x_1 < x_2 > x_3 has the two linear extensions x1,x3,x2x_1, x_3, x_2 and x3,x1,x2x_3, x_1, x_2, and E3=2E_3 = 2.

Remarks

The number of down-sets of ZnZ_n is the Fibonacci number Fn+2F_{n+2}, with F1=F2=1F_1 = F_2 = 1. For n=3n = 3 the down-sets are ∅\varnothing, {x1}\set{x_1}, {x3}\set{x_3}, {x1,x3}\set{x_1, x_3} and {x1,x2,x3}\set{x_1, x_2, x_3}, which makes 5=F55 = F_5. Every fence has height at most 22.

Reading path

To understand this page from the ground up, read these 2 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Linear extension concept
  2. Fence example

Further reading

  1. Web https://en.wikipedia.org/wiki/Fence_(mathematics)
About this page
Tag8T9S6F9HRW
URIm2://8T9S6F9HRW
Kindexample
WritingW0 stub
MSC06A07, 05A05
Instance ofPartial order
IllustratesLinear extension
UsesLinear extension
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.