Theorem 1.3, p. 4 — (8) is associative iff (H, G, α, f) is a crossed system; then H #^f_α G is a group with unit (f(1, 1)⁻¹, 1)

Initializing...

Theorem 1.3, p. 4 — (8) is associative iff (H, G, α, f) is a crossed system; then H #^f_α G is a group with unit (f(1, 1)⁻¹, 1) · Prove2Me