S³

閉3次元多様体 · 球面

object:M/s3

S³ diagram — closed normal o-graphS³

Area: Area 3 · 閉3次元多様体
true vertices: 1
π₁: ⟨ 2 | 2 ⟩
H₁: 0
図式: Topology.jl · virtual-link examples, figure 4

表示

closed normal o-graph

canonical gauss code[[[-1,1]],[+]]

true vertices: 1
C1 · 向き付き閉路: 1
C2 · 三価成分: 1
C3 · method circuits: 2
閉路長: 5 · 1

基本群

π₁ 表示（未簡約）

⟨ x₁, x₂ | x₁x₂⁻¹, x₂x₁x₁⁻¹ ⟩

生成元: 2
関係子: 2

ホモロジー

H₁ = 0

上の表示のアーベル化。

自由階数: 0
torsion invariant factors: none
位数: 1

不変量

不変量

π₁生の辺データからの未簡約表示	Verified computation
H₁表示のアーベル化	Verified computation
MST · F_p[x]/(xᵖ)切断多項式代数上のMST不変量	Uncomputed
MST · U_q(sl₂)量子群上のMST不変量	Uncomputed
KuperbergKuperberg不変量	Uncomputed

出典

図式: Topology.jl · virtual-link examples, figure 4
計算: o-graph presentation pilot v1 · S³

名称について

名称は例を指すラベルであり、対象の独立した同定を主張するものではない。