group-explorer icon indicating copy to clipboard operation
group-explorer copied to clipboard

Published 20 hours ago • verified publisher icon nathancarter

Update and rename Unnamed2_16.group to Pauli.group

Open jonmarkprice opened this issue 3 years ago • 0 comments

This group is called the Pauli Group (https://en.wikipedia.org/wiki/Pauli_group). It's also the central product of the Cyclic group of order 4 and the Dihedral group of order 8.

jonmarkprice avatar Mar 30 '21 21:03 jonmarkprice