---
title: Multi-Virtual Semi-Pure Braid Groups
url: https://www.emergentmind.com/topics/multi-virtual-semi-pure-braid-groups
type: topic
---

# Multi-Virtual Semi-Pure Braid Groups

Multi-virtual semi-pure braid groups are kernel subgroups of multi-virtual braid groups in which the strand permutation is computed from the virtual crossings alone, while the classical crossings are ignored in the projection to the symmetric group. In the framework introduced after Kauffman’s multi-virtual braid theory, the group \(M_kVH_n\) is defined as a normal subgroup of index \(n!\) in the \(k\)-multi-virtual braid group \(M_kVB_n\), admits an explicit presentation by Reidemeister–Schreier generators, and sits in a canonical semidirect-product decomposition with \(S_n\) [2507.14551].

## 1. Position within multi-virtual braid theory

Kauffman’s \(k\)-multi-virtual braid group \(M_kVB_n\) extends the virtual braid group by allowing one classical crossing generator \(\sigma_i\) for each adjacent pair of strands and \(k\) virtual types
\[
\rho_i^{(0)},\rho_i^{(1)},\dots,\rho_i^{(k-1)}.
\]
The type \(\alpha=0\) plays a distinguished role: only crossings of type \(0\) participate in detour moves, while detouring across types \(\alpha\neq 0\) is forbidden. This produces the hierarchy
\[
VB_n = M_1VB_n \le M_2VB_n \le M_3VB_n \le \cdots,
\]
and for \(k\ge 2\) the flat virtual braid group \(FVB_n\) embeds in \(M_kVB_n\) [2507.14551].

The defining relations of \(M_kVB_n\) combine braid relations for the \(\sigma_i\), Coxeter relations for each fixed virtual type, commutation of distant generators, and mixed relations involving the distinguished type \(0\). In particular,
\[
(\rho_i^{(\alpha)})^2=e,
\]
\[
\sigma_i\sigma_{i+1}\sigma_i=\sigma_{i+1}\sigma_i\sigma_{i+1},
\qquad
\rho_i^{(\alpha)}\rho_{i+1}^{(\alpha)}\rho_i^{(\alpha)}
=
\rho_{i+1}^{(\alpha)}\rho_i^{(\alpha)}\rho_{i+1}^{(\alpha)},
\]
and
\[
\sigma_i\rho_{i+1}^{(0)}\rho_i^{(0)}=\rho_{i+1}^{(0)}\rho_i^{(0)}\sigma_{i+1}.
\]
The deliberate omission of certain mixed relations between different virtual types is part of the definition; these omissions encode the forbidden detour moves [2507.14551].

Within this ambient group, Bardakov–Kozlovskaya–Negi–Prabhakar define two distinct kernel subgroups. The multi-virtual pure braid group \(M_kVP_n\) kills the total permutation contributed by both classical and virtual crossings, whereas the multi-virtual semi-pure braid group \(M_kVH_n\) kills only the permutation recorded by the virtual crossings. The two groups are therefore parallel rather than identical constructions, and the semi-pure terminology refers to this asymmetric treatment of classical and virtual generators [2507.14551].

## 2. Definition by epimorphism to the symmetric group

Writing \(\rho_i:=\rho_i^{(0)}\), the subgroup \(\langle \rho_1,\dots,\rho_{n-1}\rangle\) is isomorphic to \(S_n\). The semi-pure structure is defined through the epimorphism
\[
\psi_{n,k}\colon M_kVB_n \to S_n,\qquad
\sigma_i\mapsto e,\qquad
\rho_i^{(\alpha)}\mapsto \rho_i
\]
for all \(i\) and all \(\alpha=0,\dots,k-1\). The multi-virtual semi-pure braid group is
\[
M_kVH_n:=\ker\psi_{n,k}.
\]
Its image is \(S_n\), so \(M_kVH_n\) is a normal subgroup of index \(n!\) [2507.14551].

This definition has a clear algebraic meaning. In the pure case,
\[
\varphi_{n,k}\colon M_kVB_n\to S_n,\qquad
\sigma_i\mapsto \rho_i,\qquad
\rho_i^{(\alpha)}\mapsto \rho_i,
\]
all crossings contribute to the endpoint permutation. In the semi-pure case, the classical generators \(\sigma_i\) are sent to the identity, so only the virtual generators control the permutation. The paper summarizes the distinction by saying that in \(M_kVH_n\) the classical crossings are “ignored” in the permutation map, whereas in \(M_kVP_n\) they are identified with the same elementary transpositions as the virtual generators [2507.14551].

A common misconception is to read “semi-pure” as a weaker version of purity in the sense of an inclusion \(M_kVP_n\subseteq M_kVH_n\) or vice versa. What is established is more precise: the two groups are kernels of different surjections onto the same symmetric group. Their presentations coincide in some formal features but differ in the type-\(0\) relations, and this difference governs the algebraic behavior of the classical part [2507.14551].

## 3. Presentations and internal algebra

The semi-pure kernel \(M_kVH_n\) is described by generators \(x_{ij}^{(\alpha)}\) indexed by ordered strand pairs and virtual type. For type \(0\),
\[
x_{i,i+1}^{(0)}=\sigma_i^{-1},\qquad
x_{i+1,i}^{(0)}=\rho_i\,x_{i,i+1}^{(0)}\rho_i=\rho_i\sigma_i^{-1}\rho_i,
\]
and for \(1\le i<j-1\le n-1\),
\[
x_{i,j}^{(0)}=
\rho_{j-1}\cdots\rho_{i+1}\,
x_{i,i+1}^{(0)}\,
\rho_{i+1}\cdots\rho_{j-1},
\]
\[
x_{j,i}^{(0)}=
\rho_{j-1}\cdots\rho_{i+1}\,
x_{i+1,i}^{(0)}\,
\rho_{i+1}\cdots\rho_{j-1}.
\]
For each higher virtual type \(\beta\ge 1\),
\[
x_{i,i+1}^{(\beta)}=\rho_i\rho_i^{(\beta)},
\]
and \(x_{i,j}^{(\beta)}\) is obtained by the same conjugation pattern. Conjugation by the embedded symmetric group permutes the strand indices of these generators [2507.14551].

The resulting presentation of \(M_kVH_n\) has generators
\[
x_{ij}^{(0)}\quad (1\le i\neq j\le n),
\qquad
x_{ij}^{(\beta)}\quad (1\le i<j\le n,\ 1\le \beta\le k-1),
\]
with three families of defining relations. First, there is commutativity for disjoint pairs and types:
\[
x_{ij}^{(\alpha)}x_{kl}^{(\gamma)}
=
x_{kl}^{(\gamma)}x_{ij}^{(\alpha)}
\]
whenever \(i,j,k,l\) are pairwise distinct and \(0\le \alpha\le \gamma\le k-1\). Second, type \(0\) satisfies the semi-pure braid relation
\[
x_{ik}^{(0)}x_{kj}^{(0)}x_{ik}^{(0)}
=
x_{kj}^{(0)}x_{ik}^{(0)}x_{kj}^{(0)}
\]
for distinct \(i,j,k\). Third, for each \(\beta\ge 1\) one has flat-type pure relations
\[
x_{ik}^{(\beta)}x_{jk}^{(\beta)}x_{ij}^{(\beta)}
=
x_{ij}^{(\beta)}x_{jk}^{(\beta)}x_{ik}^{(\beta)}
\]
for \(1\le i<j<k\le n\) [2507.14551].

This presentation isolates the algebraic asymmetry between type \(0\) and the higher virtual types. The subgroup generated by the \(x_{ij}^{(0)}\) is isomorphic to the classical virtual semi-pure group \(VH_n\), while for each \(\beta\ge 1\) the subgroup generated by the \(x_{ij}^{(\beta)}\) is isomorphic to the flat virtual pure braid group \(FVP_n\). The type-\(0\) sector is therefore Artin-like in the semi-pure sense, whereas each higher virtual sector is flat-virtual in character [2507.14551].

## 4. Semidirect-product structure and symmetric variants

The ambient multi-virtual braid group splits over both kernel constructions:
\[
M_kVB_n \cong M_kVP_n\rtimes S_n,
\qquad
M_kVB_n \cong M_kVH_n\rtimes S_n.
\]
In the semi-pure case, the complement \(S_n\) is realized by \(\langle \rho_1,\dots,\rho_{n-1}\rangle\), and its action on \(M_kVH_n\) is the permutation action on the strand indices of the generators \(x_{ij}^{(\alpha)}\). This supplies a canonical splitting of \(\psi_{n,k}\) and makes \(M_kVH_n\) a normal subgroup of finite index with explicitly controlled conjugation action [2507.14551].

The same pattern persists for the symmetric multi-virtual braid group \(\widetilde{M_kVB}_n\), the quotient in which detour moves are allowed for all virtual types. Its semi-pure kernel
\[
\widetilde{M_kVH_n}:=\ker\big(\widetilde{M_kVB}_n\to S_n\big)
\]
again has index \(n!\), but its presentation is obtained from that of \(M_kVH_n\) by adjoining extra mixed relations. For \(\alpha\neq 0\),
\[
x_{ij}^{(0)}x_{ik}^{(\alpha)}x_{jk}^{(\alpha)}
=
x_{ik}^{(\alpha)}x_{jk}^{(\alpha)}x_{ij}^{(0)},
\]
and for \(0<\alpha<\beta\),
\[
x_{ij}^{(\alpha)}x_{ik}^{(\alpha)}x_{jk}^{(\beta)}
=
x_{jk}^{(\beta)}x_{ik}^{(\alpha)}x_{ij}^{(\alpha)}.
\]
These additional relations strengthen the interaction among virtual types and formalize the “symmetrizing” of detour behavior [2507.14551].

A useful conceptual summary is that non-symmetric multi-virtual semi-pure groups encode a hierarchy of virtualities, while symmetric multi-virtual semi-pure groups collapse much of that hierarchy by permitting type-independent detouring. The distinction is algebraically visible in the presence or absence of the additional mixed relations above [2507.14551].

## 5. Low-rank structure and neighboring quotient theories

The case \(n=3\) is especially explicit. Bardakov–Kozlovskaya–Negi–Prabhakar show
\[
M_kVH_3 \cong VH_3 * \underbrace{FVP_3 * \cdots * FVP_3}_{k-1\ \text{factors}}.
\]
Thus the three-strand semi-pure group decomposes as a free product of the ordinary virtual semi-pure group and \(k-1\) flat virtual pure factors. This gives a concrete combinatorial model of how the higher virtual types enlarge the classical semi-pure structure [2507.14551].

For the \(2\)-virtual three-strand group \(M_2VB_3\), with \(\tau_i:=\rho_i^{(1)}\), the semi-pure kernel \(MVH_3\) is generated by a classical sector
\[
x_{12}=\sigma_1,\quad
x_{23}=\sigma_2,\quad
x_{13}=\rho_2\sigma_1\rho_2,
\]
together with the type-\(1\) flat-virtual sector
\[
z_{12}=\rho_1\tau_1,\quad
z_{23}=\rho_2\tau_2,\quad
z_{13}=\rho_2\rho_1\tau_1\rho_2,
\]
and their oppositely oriented analogues. The relation
\[
z_{12}z_{13}z_{23}=z_{23}z_{13}z_{12}
\]
captures the flat-type component, while the type-\(0\) generators satisfy the six semi-pure Artin relations inherited from \(VH_3\) [2507.14551].

The multi-virtual theory is accompanied by related quotient families. Bardakov–Kozlovskaya–Negi–Prabhakar define multi-welded and multi-unrestricted braid groups, together with their pure and semi-pure kernels obtained from induced maps to \(S_n\) [2507.14551]. In the universal framework, the two one-forbidden quotients of \(UV_n(k)\) are isomorphic, and the corresponding one-forbidden quotients of \(M_kVB_n\) are likewise isomorphic; at the unrestricted level, the universal quotient \(UUV_n(k)\) and its descendants retain a semidirect-product structure over \(S_n\) and, for \(n\ge 5\), have perfect commutator subgroup and \(S_n\) as smallest non-abelian finite quotient [2606.06095]. These results concern the ambient multi-virtual or unrestricted groups rather than \(M_kVH_n\) directly, but they delineate the quotient landscape in which multi-virtual semi-pure groups sit.

## 6. Universal frameworks, analogues, and open directions

A later universal construction places multi-virtual braid groups inside the family \(UV_n(c)\) of universal virtual braid groups. For \(k\ge2\), \(M_kVB_n\) is obtained as a quotient of \(UV_n(k)\) by identifying
\[
\rho_i\leftrightarrow \rho_i^{(0)},\qquad
\sigma_{i,t}\leftrightarrow \rho_i^{(t)}\ (1\le t\le k-1),\qquad
\sigma_{i,k}\leftrightarrow \sigma_i,
\]
and then imposing braid relations in each fixed type \(t\) [2604.01633]. The universal theory supplies a finite-index right-angled Artin subgroup \(KUV_n(c)\) and proves for \(UV_n(c)\) linearity, residual finiteness, solvable word and conjugacy problems, the Tits alternative, perfect commutator subgroup for \(n\ge5\), and rigidity of finite quotients. The same paper treats these properties explicitly for \(M_kVB_n\); for semi-pure multi-virtual groups it presents the kernel-pattern as the relevant model, but does not develop \(M_kVH_n\) intrinsically there [2604.01633]. A plausible implication is that the universal quotient description should strongly constrain the algorithmic and finite-quotient behavior of \(M_kVH_n\), though that transfer is not fully spelled out.

Representation theory also points outward from the ambient universal setting. Homogeneous \(2\)-local representations of \(UV_n(c)\) and of its welded quotient \(UW_n(c)\) have been classified, with \(UV_n(c)\) serving as a unifying host for braid-type groups with multiple crossing types [2604.19307]. This suggests a representation-theoretic route to multi-virtual semi-pure groups by restriction from universal representations, but the explicit representation theory of \(M_kVH_n\) remains open.

The concluding section of the foundational multi-virtual paper isolates four directions that bear directly on semi-pure groups: constructing representations into automorphism groups of groups or quandles; identifying algebraic structures analogous to the Hecke-algebraic role of classical braid groups; defining groups and quandles for multi-virtual knots and proving invariance under multi-virtual Reidemeister and detour moves; and extending the theory to parametric multi-virtual braid groups in the sense of Loday–Stein [2507.14551]. No explicit representation theory or invariant construction is fully developed there.

Multi-virtual semi-pure braid groups therefore occupy a precise but still expanding position in braid-type algebra. They are explicitly defined kernel subgroups of \(M_kVB_n\), presented by generators \(x_{ij}^{(\alpha)}\) and semi-pure/flat relations, decomposed as complements to \(S_n\), and sharply understood in low rank. At the same time, universal and quotient-theoretic work shows that they belong to a broader ecosystem of multi-type virtual, welded, and unrestricted braid groups, where outer automorphisms, forbidden relations, and RAAG-based finite-index structures impose additional constraints on future developments [2507.14551].

Source: https://www.emergentmind.com/topics/multi-virtual-semi-pure-braid-groups