см. 512.547 Линейные представления абстрактных групп
см. 512.741.5 p-адические аналитические группы
см. 512.743.5 p-адические линейные группы
см. 512.78 Аналитические пространства над произвольными полными нормированными полями
см. 517 Анализ