A group structure arising from Grover walks on complete graphs with self-loops and its application | Synapse