Теория

p-адическая геометрия начинается с обычной делимости. Главное изменение взгляда: нас интересует не величина числа, а число точных слоёв делимости на одно простое p.

p-адический порядок превращает цепочку проверок делимости в одно значение. Именно оно станет координатой для нормы, расстояния, цифр и дерева.

Норма превращает глубину делимости в понятие размера. Это не новая информация, а другой способ читать тот же порядок.

p-адическое расстояние соединяет арифметику делимости с геометрическим словом «близко». Оно полностью определяется разностью.

Ультраметрика — первый момент, когда p-адическое расстояние перестаёт быть просто необычной формулой и становится другой геометрией.

Сравнимость по степеням p можно читать как последовательное проявление цифр. Не нужно заранее представлять бесконечную запись: начинаем с конечной проверяемой точности.

Дерево вычетов делает точность пространственной. Ствол хранит общие решения на грубых уровнях, а каждая развилка показывает новую различающую цифру.

Zₚ собирает все конечные уровни точности в один объект. Каждый уровень проверяем, а бесконечность выражаем условием совместимости.

Сходимость — это не движение на экране, а точное обещание: какую бы конечную глубину мы ни запросили, поздний хвост уже согласован на ней.

Совместимые вычеты позволяют считать без мистики: для любой нужной точности выполняем обычную конечную арифметику modulo pⁿ.

Zₚ достаточно для целых по p-адической шкале, но не содержит 1/p. Qₚ добавляет отрицательные порядки и остаётся полным полем.

Лемма Гензеля превращает дерево вычетов в инструмент решения уравнений: стартуем с корня на грубом уровне и проверяем, какая ветвь продолжается.

Структурный перенос полезен только при дисциплине: сначала называем исходную операцию, затем целевую, а потом отдельно отмечаем границу аналогии.