Why do the global variables a and b exist without having been created here?

In

 f := Module[{a}, a;]

In

 ?a

Out

 Global`a

I don't understand why the global variable `a` was declared and exists.
Sometimes the way *Mathematica* works feels very confusing to me.

Thank you. :)