The user ID is derived from the user name without the domain (removing all characters starting with '@'), formatted in lowercase with no symbols.