Для установки нажмите кнопочку Установить расширение. И это всё.
Исходный код расширения WIKI 2 регулярно проверяется специалистами Mozilla Foundation, Google и Apple. Вы также можете это сделать в любой момент.
Как перевоплотить Википедию
Хотите, чтобы Википедия всегда выглядела так профессионально и современно? Мы создали расширение для браузера. Оно совершенствует любую страницу энциклопедии, которую вы посетите, с помощью магических технологий WIKI 2.
Попробуйте — вы его можете удалить в любой момент.
Установить за 5 сек.
Да-да, но позже
4,5
Келли Слэйтон
Мои поздравления с отличным проектом... что за великолепная идея!
Александр Григорьевский
Я использую WIKI 2 каждый день и почти забыл как выглядит оригинальная Википедия.
Существует множество эквивалентных формулировок леммы Гензеля.
Общая формулировка
Пусть — поле, полное относительно дискретного нормирования, а — кольцо целых поля (то есть, элементов с неотрицательным нормированием). Пусть — некоторый элемент , такой что , обозначим соответствующее ему поле вычетов[en] как . Пусть — некоторый многочлен с коэффициентами из . Если у редуцированного многочлена есть простой корень (то есть, существует такой что и ), то существует единственный , такой что и [1].
Альтернативная формулировка
В менее общем виде лемма формулируется следующим образом: пусть — многочлен с целыми (или p-адическими целыми) коэффициентами. Пусть также и — целые числа, такие что . Если — целое число, такое что
то существует целое число , такое что
Более того, число определено однозначно по модулю и может быть выражено в явном виде как
где — целое число, такое что
Следует заметить, что, в силу , также выполнено условие .
Пример
Рассмотрим уравнение , определяющее автоморфные числа длины в десятичной системе счисления. Его можно рассматривать в виде эквивалентной системы двух уравнений по модулю степеней простых чисел:
При решениями уравнения являются числа, заканчивающиеся на , , или . Чтобы получить решения для больших , можно воспользоваться леммой Гензеля, считая, что .
По приведённым выше формулам, переход от к для будет иметь следующий вид: