Идель

- обратимый элемент кольца аделей. Совокупность всех И. образует по умножению группу, наз. группой иделей. Элементами группы И. поля рациональных чисел являются последовательности вида [img: http://localhost:8080/file/021002-95.jpg] где [img: http://localhost:8080/file/021002-96.jpg] - ненулевое действительное число, а р- отличное от нуля р-адическое число, р=2,3, 5, 7,... и |а р| р=1при всех р, кроме конечного числа (здесь |х| р- р -адическая [img: http://localhost:8080/file/021002-97.jpg] норма). Последовательность И. считается сходящейся к И. о, если она сходится к апокомпонентно и если существует такое N, что при [img: http://localhost:8080/file/021002-98.jpg] для всех р. Группа И. с такой топологией является локально компактной топологич. группой. Аналогично строится группа И. произвольного числового поля. Мультипликативная группа поля рациональных чисел изоморфно вкладывается в группу И. этого поля. Именно, каждому рациональному числу [img: http://localhost:8080/file/021002-99.jpg] сопоставляется последовательность (r, r,..., r,...), являющаяся И. Такой И. наз. главным. Подгруппа главных И. дискретна в группе всех И. Понятия аделей и И. были введены К. Шевалле (С. Chevalley) в 1936 для целей алгебраич. теории чисел. Новый язык показал свою плодотворность при изучении арифметич. аспектов теории алгебраич. групп. Для этих целей А. Вейль (A. Weil) обобщил определения аделей и И. на случай любой линейной алгебраической группы, определенной над числовым полем.