Ramification theory