Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
I read Neukirch’s book “Algebraic Number Theory”, and its remark following to proposition VI.2.3, there is an assertion that natural map $\mathbb{A}_K \otimes_K L \to \mathbb{A}_L$ is isomorphism. How can it be proved ?