О строгой решеточной определяемости смешанных нильпотентных групп

Доказывается, что если смешанная $n$-ступенно нильпотентная группа содержит в качестве подгруппы свободную $n$-ступенно нильпотентную группу, то каждый ее решеточный изоморфизм индуцируется групповым изоморфизмом. Каждая $n$-ступенно нильпотентная группа без кручения с двумя порождающими, не являющаяся свободной $n$-ступенно нильпотентной группой, может быть включена в качестве подгруппы в такую смешанную $n$-ступенно нильпотентную группу, что некоторый её решёточный изоморфизм не индуцируется групповым изоморфизмом.