Рассмотрены алгебраические детали использования процедуры целочисленного разрешения неоднозначности псевдофазовых измерений при высокоточном абсолютном местоопределении в глобальных навигационных спутниковых системах. Использование указанной процедуры позволяет существенно сократить период сходимости к точному решению координат потребителя.