Magnetic field, gauge invariance, quantization, pseudodifferential operator, Weyl calculus, Moyal product, Sobolev space, G\aa rding inequality, limiting absorption principle