Разложение трансвекции в элементарной группе

Рассматривается элементарная сеть (элементарный ковер) $\sigma=(\sigma_{ij})$ порядка 3 аддитивных подгрупп коммутативного кольца, связанная с ней производная сеть $\omega$, элементарная группа $E(\sigma)$ и сетевая группа $G(\omega)$. Получено разложение элементарной трансвекции $t_{ij}(\alpha)$ из $E(\sigma)$ в произведение матрицы из группы $\langle t_{ij}(\sigma_{ij}),t_{ji}(\sigma_{ji})\rangle$ и матрицы из $G(\omega)$.