Paper XI visual guide · Visual 5 of 47 · PART I / FINITE TAME COORDINATES

Regular orbits have exact counts

Resources & source

Original source locator: Original Proposition 3.6

This lesson in the original PDF

Skip contents and start reading

Exact regular Frobenius orbit counts
Original figure from the retained vector PDF.

Reading the figure

Three series give regular orbit counts for residue sizes two, three and five, at orbit lengths one through eight. The vertical axis is logarithmic. The following table retains the recorded integers.

Recorded exact regular orbit counts
Orbit length nq = 2q = 3q = 5
1124
21310
32840
4318150
5648624
691162580
71831211160
83081048750
Selectable labels from the original PDF

Native PDF text retains the figure’s extraction order. Equations and data tables above provide the reading order.

1
2
3
4
5
6
7
8
Exact Frobenius orbit length n
1
0
0
1
0
1
1
0
2
1
0
3
1
0
4
Number of regular orbits
q=2
q=3
q=5

Original vector figure PDF · Full-size image

Original figure caption

Exact integer counts; the vertical scale is logarithmic.

Characters of \({\mathbb F}_{q^n}^{\times}\) are indexed modulo \(q^n-1\). Characters fixed by a Frobenius power of degree \(r\mid n\) number \(q^r-1\). Möbius inversion removes those belonging to smaller orbits:

\[ c_n(q)=\frac1n\sum_{d\mid n}\mu(d)(q^{n/d}-1). \]

For \(q=2,n=4\), the regular exponent orbits modulo 15 are

\[ (1,2,4,8),\quad(3,6,12,9),\quad(7,14,13,11). \]

Their number is \(\tfrac14(15-3)=3\). The plotted values are computed by the exact divisor sum and retained in figure_data.json.

Reading the diagram

Regularity is an exact orbit property. The plot illustrates an integer formula rather than supplying its proof.

Source and conversion record

This edition preserves all 47 lessons, the opening orientation and both route sections. Figures are rendered from retained vector PDFs. Descriptions and recorded-data tables are reading aids. No mathematical generator, TeX build, proof audit or Lean replay was run for this conversion.

Source hashes and conversion checks