63 (number)

Mathematics

63 is the sum of the first six powers of 2 (20 + 21 + ... 25). It is the eighth highly cototient number, and the fourth centered octahedral number after 7 and 25. For five unlabeled elements, there are 63 posets.

Sixty-three is the seventh square-prime of the form , p^{2} \times q and the second of the form 3^{2} \times q. It contains a prime aliquot sum of 41, the thirteenth indexed prime; and part of the aliquot sequence (63, 41, 1, 0) within the 41-aliquot tree.

Zsigmondy's theorem states that where ab0 are coprime integers for any integer n \ge 1, there exists a primitive prime divisor p that divides a^n-b^n and does not divide a^k-b^k for any positive integer k, except for when

• n=1, a-b=1; ; with a^n-b^n=1 having no prime divisors,
• n=2, a+b ; a power of two, where any odd prime factors of a^2-b^2=(a+b)(a^1-b^1) are contained in a^1-b^1, which is even;

and for a special case where n=6 with a=2 and b=1, which yields a^6-b^6=2^6-1^6=63=3^2\times 7=(a^2-b^2)^2 (a^3-b^3).

63 is a Mersenne number of the form 2^{n} - 1 with an n of 6, however this does not yield a Mersenne prime, as 63 is the forty-fourth composite number. It is the only number in the Mersenne sequence whose prime factors are each factors of at least one previous element of the sequence (3 and 7, respectively the first and second Mersenne primes). In the list of Mersenne numbers, 63 lies between Mersenne primes 31 and 127, with 127 the thirty-first prime number. It is also the fourth Woodall number of the form n \cdot 2^n - 1 with n = 4, with the previous members being 1, 7 and 23 (they add to 31, the third Mersenne prime).

In the integer positive definite quadratic matrix {1, 2, 3, 5, 6, 7, 10, 14, 15} representative of all (even and odd) integers, the sum of all nine terms is equal to 63.

63 is the third Delannoy number, which represents the number of pathways in a 3 \times 3 grid from a southwest corner to a northeast corner, using only single steps northward, eastward, or northeasterly.

Finite simple groups

63 holds thirty-six integers that are relatively prime with itself (and up to), equivalently its Euler totient. In the classification of finite simple groups of Lie type, 63 and 36 are both exponents that figure in the orders of three exceptional groups of Lie type. The orders of these groups are equivalent to the product between the quotient of q = p^{n} (with p prime and n a positive integer) by the GCD of (a, b), and a \textstyle \prod (in capital pi notation, product over a set of i terms): :\frac{q^{63}}{(2, q - 1)}\prod_{i\in{2, 6, 8, 10, 12, 14, 18} } \left(q^i - 1\right), the order of exceptional Chevalley finite simple group of Lie type, E_{7}(q). :\frac{q^{36}}{(3, q - 1)}\prod_{i\in{2, 5, 6, 8, 9, 12} } \left(q^i - 1\right), the order of exceptional Chevalley finite simple group of Lie type, E_{6}(q). :\frac{q^{36}}{(3, q + 1)}\prod_{i\in{2, 5, 6, 8, 9, 12} } \left(q^i - (-1)^i\right), the order of one of two exceptional Steinberg groups, ^{2}E_{6}(q^{2}).

Lie algebra E_{6} holds thirty-six positive roots in sixth-dimensional space, while E_{7} holds sixty-three positive root vectors in the seven-dimensional space (with one hundred and twenty-six total root vectors, twice 63). The thirty-sixth-largest of thirty-seven total complex reflection groups is W(E_{7}), with order 2^{63} where the previous W(E_{6}) has order 2^{36}; these are associated, respectively, with E_{7} and E_{6}.

There are 63 uniform polytopes in the sixth dimension that are generated from the abstract hypercubic \mathrm {B_{6}} Coxeter group (sometimes, the demicube is also included in this family), that is associated with classical Chevalley Lie algebra B_{6} via the orthogonal group and its corresponding special orthogonal Lie algebra (by symmetries shared between unordered and ordered Dynkin diagrams). There are also 36 uniform 6-polytopes that are generated from the \mathrm {A_{6}} simplex Coxeter group, when counting self-dual configurations of the regular 6-simplex separately. In similar fashion, \mathrm {A_{6}} is associated with classical Chevalley Lie algebra A_{6} through the special linear group and its corresponding special linear Lie algebra.

In the third dimension, there are a total of sixty-three stellations generated with icosahedral symmetry \mathrm {I_{h}}, using Miller's rules; fifty-nine of these are generated by the regular icosahedron and four by the regular dodecahedron, inclusive (as zeroth indexed stellations for regular figures). Though the regular tetrahedron and cube do not produce any stellations, the only stellation of the regular octahedron as a stella octangula is a compound of two self-dual tetrahedra that facets the cube, since it shares its vertex arrangement. Overall, \mathrm {I_{h}} of order 120 contains a total of thirty-one axes of symmetry; specifically, the \mathbb {E_{8}} lattice that is associated with exceptional Lie algebra {E_{8}} contains symmetries that can be traced back to the regular icosahedron via the icosians. The icosahedron and dodecahedron can inscribe any of the other three Platonic solids, which are all collectively responsible for generating a maximum of thirty-six polyhedra which are either regular (Platonic), semi-regular (Archimedean), or duals to semi-regular polyhedra containing regular vertex-figures (Catalan), when including four enantiomorphs from two semi-regular snub polyhedra and their duals as well as self-dual forms of the tetrahedron. :See Tables 5, 6 and 7 (groups T1, O1 and I1, respectively).

Otherwise, the sum of the divisors of sixty-three, \sigma(63)=104, is equal to the constant term a(0) = 104 that belongs to the principal modular function (McKay–Thompson series) T_{2A}(\tau) of sporadic group \mathrm B, the second largest such group after the Friendly Giant \mathrm F_{1}. :j_{2A}(\tau) = T_{2A}(\tau)+104 = \frac{1}{q} + 104 + 4372q + 96256q^2 + \cdots This value is also the value of the minimal faithful dimensional representation of the Tits group \mathrm T, the only finite simple group that can categorize as being non-strict of Lie type, or loosely sporadic; that is also twice the faithful dimensional representation of exceptional Lie algebra F_{4}, in 52 dimensions.

References

References

1. {{Cite OEIS. A100827. Highly cototient numbers: records for a(n) in A063741.
2. {{cite OEIS. A001845. Centered octahedral numbers (crystal ball sequence for cubic lattice)
3. {{Cite OEIS. A000112. Number of partially ordered sets (posets) with n unlabeled elements
4. Ribenboim, Paulo. (2004). "The Little Book of Big Primes". [[Springer Science+Business Media.
5. {{Cite OEIS. A000225. a(n) equal to 2^n - 1. (Sometimes called Mersenne numbers, although that name is usually reserved for A001348.)
6. {{Cite OEIS. A002808. The composite numbersnumbers n of the form x*y for x > 1 and y > 1.
7. {{Cite OEIS. A000668. Mersenne primes (primes of the form 2^n - 1).
8. The thirty-first [[odd number]], of the simplest form $2n+1$, is 63.{{Cite OEIS. A005408. The odd numbers: a(n) equal to 2*n + 1.
9. {{Cite OEIS. A003261. Woodall numbers
10. {{Cite OEIS. A030050. Numbers from the Conway-Schneeberger 15-theorem.
11. (2007). "Number Theory Volume I: Tools and Diophantine Equations". [[Springer Science+Business Media.
12. {{Cite OEIS. A001850. Central Delannoy numbers
13. {{Cite OEIS. A000010. Euler totient function phi(n): count numbers less than or equal to n and prime to n.
14. Gallian, Joseph A.. (1976). "The Search for Finite Simple Groups". [[Taylor & Francis]].
15. Carter, Roger W.. (1972). "Simple groups of Lie type". [[Wiley (publisher).
16. Sekiguchi, Jiro. (2023). "Simple singularity of type E₇ and the complex reflection group ST34".
17. Coxeter, H.S.M.. (1988). "Regular and Semi-Regular Polytopes. III". [[Springer-Verlag]].
18. Webb, Robert. "Enumeration of Stellations".
19. (1998). "Bridges: Mathematical Connections in Art, Music, and Science".
20. Baez, John C.. (2018). "From the Icosahedron to E₈". London Mathematical Society Newsletter.
21. {{Cite OEIS. A000203. a(n) equal to sigma(n), the sum of the divisors of n. Also called sigma_1(n).
22. Lubeck, Frank. (2001). "Smallest degrees of representations of exceptional groups of Lie type". [[Taylor & Francis]].