Si un número primo "p" es un factor de F("n") y no es factor de ningún F("m") con "m" < "n", entonces se dice que "p" es un "factor característico" o un "divisor primitivo" de F("n").