Неразборчиво написано

[Sinoid]

Здравствуйте! Помогите, пожалуйста, дочитать главу книги, осталось 3-4 непонятки, одна из них в том числе и из-за плохой видимости формул вот в этом месте:

вторая формула второй выклочной формулы выглядит так: $P^{-x}Q^{y}P^{x}=Q^{ya^{x}}$, я ее проверил индукцией, все верно. А вот никак не разберу с $P_1$: он квадрат-неквадрат $P$? Да и $z$ непонятно где используется. А там в показателе $z$, который в показателе $Q$ вообще какой-то индекс. Растолкуйте, пожалуйста, вы же, наверняка, читали это доказательство.

[AV_77]

$P_1 = P^z$.

[Sinoid]

Я тут попробовал, не получается, где-то косяк, а где не пойму. Смотрите:
$a=g^{\frac{q-1}{p}k}+qt,$, тогда
\Huge{$P_{1}^{-1}QP_{1}=P^{-z}QP^{z}=Q^{a^{z}}=Q^{\left(g^{\frac{q-1}{p}k+qt}\right)^{z}}=Q^{\left(g^{\frac{q-1}{p}kz+qtz}\right)}=Q^{g^{\frac{q-1}{p}\left(1+pt_{1}\right)}g^{qzt}=Q^{g^{\frac{q-1}{p}}g^{\left(q-1\right)t_{1}}g^{qzt}}=$} $\left(Q^{\left(1+qt_{2}\right)^{t_{1}}\left(g+qt_{3}\right)^{zt}}\right)^{g^{\frac{q-1}{p}}}$ почему-то очень много $t$ появилось.

(Оффтоп)

хотел формулы покрупнее написать, не получилось

[AV_77]

Sinoid в сообщении #1083258 писал(а):

$Q^{a^{z}}=Q^{\left(g^{\frac{q-1}{p}k+qt}\right)^{z}}$

Отсюда неправильно пошло.
Кроме того, если вспомните чему равны $Q^q$ и $g^{q-1}$, то все очень сильно упростится.

[Sinoid]

Теперь, по-моему, сошлось:
\Huge${P_{1}^{-1}QP_1=P^{-z}QP^{z}=Q^{a^{z}}= }$
\Huge$Q^{\left(g^{\frac{q-1}{p}k}+qt\right)^{z}}=Q^{\left(g^{\frac{q-1}{p}kz}+qt_{1}\right)}=Q^{g^{\frac{q-1}{p}kz}}=Q^{g^{\frac{q-1}{p}\left(1+pt_{2}\right)}}=Q^{g^{\frac{q-1}{p}+\left(q-1\right)t_{2}}}=$
\Huge$\left(Q^{\left(1+qt_{3}\right)^{t_{2}}}\right)^{g^{\frac{q-1}{p}}}=\left(Q^{1+qt_{4}}\right)^{g^{\frac{q-1}{p}}}=Q^{g^{\frac{q-1}{p}}}$
верно?

[Sinoid]

Спасибо.