partidor (sustantivo masculino): Divisor.