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