Equal parts: local context

Project map · Chapter map · Full theorem DAG · Open textbook statement

This local map shows one dependency hop in either direction. The highlighted item is the current focus. What the colours mean

fully proved1Proved, and every prerequisite is fully proved too.planned5Described in the blueprint only.

graph LR n0("Contractible quotient"):::planned n1("Germ description"):::planned n2["Character classes"]:::planned n3("Finite quotient sheets"):::fully_proved n4("Equal parts"):::planned n5("Contradiction on the invariant chart"):::planned n2 --> n4 n4 -.-> n5 n3 -.-> n5 n3 -.-> n4 n1 --> n2 n1 -.-> n4 n0 --> n2 n0 -.-> n4 click n0 "../../../roadmap/sphere-lattice/index.html#contractible-quotient" "Contractible quotient — 1 item · 1 planned" click n1 "../../../roadmap/localization/index.html#germs" "Germ description — 1 item · 1 planned" click n2 "../../../roadmap/character-classes/index.html#character-classes" "Character classes — 1 item · 1 planned" click n3 "../../../roadmap/local-tests/index.html#finite-sheets" "Finite quotient sheets — 1 item · 1 fully proved" class n4 focus click n4 "../../../roadmap/character-classes/index.html#equal-parts" "Equal parts — 1 item · 1 planned" click n5 "../../../roadmap/character-classes/index.html#contradiction" "Contradiction on the invariant chart — 1 item · 1 planned"