魔方的生成元.docVIP

关于魔方的生成元问题 定理：魔方的生成元有六个，其中任意五个生成元是独立的。是极大无关组，而四个生成元不是极大无关组。六个生成元是不独立的。任意一个生成元可以由其它五个生成元表示。 证明： 一个角在同一个位置上有三个方向。转动可以实现一个角在同一个位置上的三个方向，下面说明这一点。 例如角7，不妨设7的前面是红色。上面是黄色，右面是蓝色。依顺时针为序不会发生变化。位置变动顺时针为正，逆时针为负，即则红色转到上面为正，红色转到右面为负。 角7转动U使7到5，红色到左边，再转动F使5到7，红色到上边， 角7转动-U使7到6，红色到右边，再转动-R使6到7，红色到右边， 下面说明一个角可以转动到八个不同的位置上。 例如角7，转动U，可以到5，4，6三个位置。转动R可以到（6），2，3三个位置。转动F 可以到（3），1，（5）三个位置。这里只涉及七个角。 再转动L，（4），（5），（1）可以转到0。这里涉及八个角。 这里用到四个生成元U，R，F，L。 一个边在同一个位置上有二个方向。转动可以实现一个边在同一个位置上的二个方向，下面说明这一点。 例如边S前面是红色。上面是黄色。转动U使S到-T，红色到左边，再转动L使-T到Z，红色仍然在左边，继续转动F使Z到S，红色到上边。 然而：转动U使S到，-T，-S，T。转动R可以使Ｔ到Ｐ，Ｎ，Ｈ。转动F 可以使Ｈ到Ｍ，Ｚ，（Ｓ）．转动L可以使Ｚ到－Ｎ，Ｑ，（Ｔ）。四个生成元U，R，F，L只涉及十一个边。即四个生成元不能得到整个魔方群。即四个生成元不是极大无关组。 只有再增加一个转动。例如增加一个转动Ｄ，使－Ｎ到－Ｍ，（Ｎ），（Ｍ）。或增加一个转动Ｂ，使Ｑ到（－Ｓ），（Ｐ），－M。才能使一条边到达十二个位置上。得到整个魔方群。所以五个生成元是极大无关组。 因为整个魔方可以任意拿，所以也就证明了魔方的生成元有六个。其中任意而四个生成元虽然是独立的，但不是极大无关组。任意五个生成元不仅是独立的，而且是极大无关组。但六个生成元是不独立的。 以下证明：任意一个个生成元可以由其它五个生成元表示。 为此首先证明一个引理：UD’R2L2UD’=U’DR2L2U’D。 表一： E U -D 2R 2L U -D X -X E -U D 2R 2L -U D -X 4 6 3 1 1 1 4 5 0 1 1 -S T N M M M -S -T -N M M 6 7 2 3 3 3 6 4 1 3 3 T S -T -T -T T -S -T -T 7 5 0 2 2 2 7 6 3 2 2 S -T -N -M -M -M S T N -M -M 5 4 1 0 0 0 5 7 2 0 0 -T -S T T T -T S T T 0 2 7 5 5 5 0 1 4 5 5 -M N T S S S -M -N -T S S 2 3 6 7 7 7 2 0 5 7 7 N M -N -N -N N -M -N -N 3 1 4 6 6 6 3 2 7 6 6 M -N -T -S -S -S M N T -S -S 1 0 5 4 4 4 1 3 6 4 4 -N -M N N N -N M N N Q Z Z Z Q Z Z P H H H P H H H P P P H P P Z Q Q Q Z Q Q 上面的表格第8列表示的是X的变化，与第19列表示的是-X的变化，为了便于看出把第19列复制到第10列，上面的表格第8列与第10列完全相同,这就证明了引理。 设：X= UD’R2L2UD’,则 X’= U’DR2L2U’D。 因为B的转动 后面的四边四角的方向不变。6—4,，4—0，0—2，2—6。-S__Q，Q__-m，-m__P，P__-S。以下说明实现上述变化的转动程序。 下证明B的任何转动，可以由U，D，F，R，L的转动而加以实现。 （表一，表二列表示转动，行表示块的变化） 设：X= UD’R2L2UD’,则 X’= U’DR2L2U’D。表二： E X F X 90 E X 2F X 180 E X 3F X 270 4 1 5 0 4 1 7 2 4 1 3 6 -S M Z Q -S M S -M -S M H P 6 3 1 4 6 3 5 0 6 3 7 2