Monoids and the State Complexity of the Operation root(<i>L</i>)