Each micro:bit has a unique five-character name assigned to it that you might see when you are using Scratch or connecting via Bluetooth. The names are hard-coded and based on their internal unique ID, so you can't manually rename the micro:bits. However, you can find out the name by looking at the barcode in pairing mode:


Here's where this name is set in the micro:bit runtime.