algebraic variety group operations ''m'' multiplication ''i'' inversion math g times g g gh mapsto gh quad g g g mapsto g math compatible structure continuous smooth regular sense algebraic geometry maps ''g'' topological group lie group algebraic group presence extra structure relates types groups mathematical disciplines means tools available study topological groups form natural domain abstract harmonic analysis whereas lie groups frequently realized transformation
Formal science Mathematics Pure mathematics Algebra Group theory