The Sequel of Nim: Symmetries and Transformations of n-Cubes and the Nimber-Simplex Graph
CSEF · 2004 Mathematics & Software
Overview
Objectives/Goals This project is a continuation of last year's project which mapped finite groups under Nim addition to n-dimensional Simplexes, creating the Nimber-Simplex graph. The goals of this year's project are first, to apply finite group theory to regular convex polytopes, second, to determine the symmetry group of an n-cube using the Nimber-Simplex graph, and third, to illustrate a reversible transformation between the Nimber-Simplex graph and an n-cube. Methods/Materials In this project, two isomorphisms are defined: one between the Nimsum group 2^n-1 and the Cartesian product C(2)^n, the other between the symmetry group of a Simplex-(n-1) and the permutation group S(n). The symmetry group of an n-dimensional hypercube is determined by mapping the group C(2)^n to the vertices of the n-cube as well as to diagonal matrices representing reflection operations. Permutations of coordinate axes, P(n), are shown to be isomorphic to S(n). The group of symmetries of the n-cube, G(n), is then a semidirect product of the normal subgroup N(n), representing the reflection symmetries, and the subgroup P(n). That is, G(n)=N(n)xP(n). A reversible transformation between the Nimber-Simplex graph in (n-1) dimensions and an n-dimensional hypercube is demonstrated. Materials used in this project include Zometool, an hp Deskjet printer, and a Dell PC running Microsoft Windows 98 and Word 97. Results The original ideas developed in this project include the definition of the Nimber-Simplex graph, the isomorphism between the Nimsum group 2^n-1 and C(2)^n, and mapping C(2)^n to vertices of an n-cube as well as the reflection matrices of the n-cube. These two results were used to prove that the Nimber-Simplex graph in (n-1) dimensions determines the symmetry group of an n-cube and that the Nimber-Simplex graph unfolds into an n-cube. Finally, it was discovered that this year's project connects all regular convex polytopes in n>4 dimensions! Conclusions/Discussion The first hypothesis that the symmetry group of an n-cube is a semidirect product of the symmetry group of a Simplex-(n-1) and the Nimsum group 2^n-1 was proven. The second hypothesis that there is a reversible transformation between the Nimber-Simplex graph in (n-1) dimensions and an n-cube was also proven. Since n-cubes and n-dimensional cross-polytopes are dual, the Nimber-Simplex graph relates all regular convex polytopes in n>4 dimensions.
Summary statement
This project determines the symmetry group of an n-cube using the Nimber-Simplex graph, demonstrates a reversible transformation between the Nimber-Simplex Graph and an n-cube, and relates all regular convex polytopes in >4 dimensions.
Help received
My father helped teach me group theory and guided my research of symmetries and regular polytopes. My parents assisted with backboard construction and reviewed the report for readability and technical accuracy. My math teacher acted as an advisor.
Awards (1)
- Category Award
Competition history
- CSEF 2004
Resources
Related projects
CSEF · 2003
The Secret of Nim: Mapping Finite Groups under Nim Addition to N-Dimensional Simplexes
CSEF · 2005
Simplex to Complex: From the Nimber-Simplex Graph to Codes, Lattices, and Groups
CSEF · 2007
Pascal's Triangle and Infinite Dimensions
CSEF · 2003
Geometrical Representations of the 24th Order Permutation Group
CSEF · 2002
Rotational Symmetry of Third Order Magic Cubes
CSEF · 2019
Dimensional Isomorphisms of the Eulerian Sequence: A Computer Inspired Analysis
CSEF · 2004
The Debruijn Sequence Taken to Higher Powers
CSEF · 2007
There and Back Again: A Point's Tale: The Planar Isometries of a Regular Polygon
Closest projects by meaning, across every fair and year in the corpus.
Browse more like this
Source: California Science & Engineering Fair public projects