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. :)