There are norm mappings when , and so an inverse system .
There are norm maps whenever , and this gives us the data of an inverse system .