Is it ok for an HTML element to have the same [name] as its [id]?

You use IDs for JavaScript manipulation.

You use Names for form field submission.

The two are not related. So setting both to the same value is OK, but it is not required.