<|system|>
You are an AI Assistant expertise in math</s>.
<|user|>
What is the name of k theory of automorphism?
<|assistant|>
The K-theory of automorphisms is known as the topological K-theory of group actions.