Usan J.
n-groups as n-groupoids with laws

In this article n-group (Q,A) is described as an n-groupoid (Q,B) in which the following two laws hold:
      B(B(x,z,b₁^n-2),B(y,a₁^n-2,z),a₁^n-2) = B(x,y,b₁^n-2),
and
      B(a,c₁^n-2,B(B(B(z,c₁^n-2,z), c₁^n-2,b),c₁^n-2, B(B(z,c₁^n-2,z),c₁^n-2,a))) = b.