Рейтинг:2

Карты криптографических инвариантов

флаг cn

В [БГК+18] в разделе 4, Boneh et al. напишите что:

Для любого выбора идеальных классов $\mathfrak{a}_1,\dots,\mathfrak{a}_n,\mathfrak{a}_1',\dots,\mathfrak{a}_n'$ в ${Cl}(\mathcal{O})$, абелевы многообразия \начать{выравнивать} (\mathfrak{a}_1 \star E) \times \dots \times (\mathfrak{a}_n \star E) \text{ и } (\mathfrak{a}_1' \star E) \times \dots \times (\mathfrak{a}_n' \star E) \end{align} изоморфны над $\mathbb{F}_q$ если $\mathfrak{a}_1 \cdots \mathfrak{a}_n = \mathfrak{a}_1' \cdots \mathfrak{a}_n' $ в ${Cl}(\mathcal{O})$. В особый: \begin{align} (\mathfrak{a}_1 \star E) \times \dots \times (\mathfrak{a}_n \star E) \cong (\mathfrak{a}_1\cdots\mathfrak{a}_n) \star E \times E^{n-1} \end{выравнивание}

Доказательств в статье нет, и мне самому это доказать не удалось. Может ли кто-нибудь указать мне на доказательства этих утверждений?

meshcollider avatar
флаг gb
Это доказано в документе в Приложении A.4, по крайней мере, до части «если» и дает ссылку на часть «только если». См. теорему A.1, которая доказывает второе уравнение, которое вы упомянули, а затем доказывает первое из него.

Ответить или комментировать

Большинство людей не понимают, что склонность к познанию нового открывает путь к обучению и улучшает межличностные связи. В исследованиях Элисон, например, хотя люди могли точно вспомнить, сколько вопросов было задано в их разговорах, они не чувствовали интуитивно связи между вопросами и симпатиями. В четырех исследованиях, в которых участники сами участвовали в разговорах или читали стенограммы чужих разговоров, люди, как правило, не осознавали, что задаваемый вопрос повлияет — или повлиял — на уровень дружбы между собеседниками.