{"id":"arxiv/2610.22247","url":"https://arxiv.org/abs/2610.22247","tags":["math.RA","math.RT"],"score":0,"title":"An infinite completely normal basis theorem","domain":"math.RA","source":"arxiv","authors":["Patrik Lundström"],"reviews":0,"subject":"math.RA","summary":"Let $L/K$ be an arbitrary Galois extension with group $G$, equipped with the Krull topology. Let $C(G,K)$ denote the $K$-vector space of continuous functions $G\\to K$, with $K$ discrete and $G$ acting by left translation. We prove that there exists a $G$-equivariant $K$-linear isomorphism $\\varphi:C(G,K)\\to L$ such that, for every open subgroup $H$ of $G$, the map $\\varphi^H:C(H,L^H)\\to L$ induced by extension by zero and extension of scalars is an $H$-equivariant $L^H$-linear isomorphism. This gives a completely normal analogue of Lenstra's infinite normal basis theorem; the case of finite…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-15","reactions":{}}