Typically, I would approach this problem using combinatorics, which would ask the number of ways to distribute to 1st player, 2, 3rd, 4th, giving $$ \binom{52}{13}\binom{39}{13}\binom{26}{13} $$
but I want to understand the permutations approach, which is $$ \frac{52!}{13!13!13!13!} $$ This is equivalent to the above, but I am wondering what is the name of this formula for the permutations approach?
It looks like the formula for permutations with duplications. If that's the case, then what are the duplications here? the 13 cards in each pile?
I understand 13! is the number of permutations in each pile, but I don't understand why dividing by it is correct.
First, if the players are indistinguishable, then both answers should be divided by $4!$.
Second, the second approach assumes the following: you shuffle the deck, give the first player the first 13 cards, the second player the next 13 cards, and so on. The duplications are the internal order the cards are given to each player. If you take the same deck and shuffle only the first 13 cards, all players will receive the same cards as before, but you count it as a new deck (there are $52!$ of those). So you divide by these repetitions.
Example Suppose you have 4 cards to give to 2 players. Cards are labeled ABCD. The number of ways is $\tfrac{4!}{2!2!}=6$ because
AB|CD = BA|CD = BA | DC = AB |CD (these are the $4=2!2!$ reptitions of the event that player 1 has in the end the cards $A$ and $B$ and player 2 the other two.
If, players are not distinguishable than you have only 3 options, because you have only 3 ways to split the 4 cards into two decks and it doesn't matter which gets which (you can't tell them apart anyway... )