Where do .pyc files come from?

[Ernesto]

I noticed in a python distribution there were 5 python files (.py) and
5 other files with the same name, but with the extension .pyc .  Is
this some kind of compiled version of the .py files.  Thanks,