|
Mathieu Group M24
In the area of modern algebra known as group theory, the Mathieu group ''M24'' is a sporadic simple group of order : 21033571123 = 244823040 : ≈ 2. History and properties ''M24'' is one of the 26 sporadic groups and was introduced by . It is a 5-transitive permutation group on 24 objects. The Schur multiplier and the outer automorphism group are both trivial. The Mathieu groups can be constructed in various ways. Initially, Mathieu and others constructed them as permutation groups. It was difficult to see that M24 actually existed, that its generators did not just generate the alternating group A24. The matter was clarified when Ernst Witt constructed M24 as the automorphism (symmetry) group of an S(5,8,24) Steiner system W24 (the Witt design). M24 is the group of permutations that map every block in this design to some other block. The subgroups M23 and M22 then are easily defined to be the stabilizers of a single point and a pair of points respectiv ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Theory
In abstract algebra, group theory studies the algebraic structures known as group (mathematics), groups. The concept of a group is central to abstract algebra: other well-known algebraic structures, such as ring (mathematics), rings, field (mathematics), fields, and vector spaces, can all be seen as groups endowed with additional operation (mathematics), operations and axioms. Groups recur throughout mathematics, and the methods of group theory have influenced many parts of algebra. Linear algebraic groups and Lie groups are two branches of group theory that have experienced advances and have become subject areas in their own right. Various physical systems, such as crystals and the hydrogen atom, and Standard Model, three of the four known fundamental forces in the universe, may be modelled by symmetry groups. Thus group theory and the closely related representation theory have many important applications in physics, chemistry, and materials science. Group theory is also ce ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Automorphism Group
In mathematics, the automorphism group of an object ''X'' is the group consisting of automorphisms of ''X'' under composition of morphisms. For example, if ''X'' is a finite-dimensional vector space, then the automorphism group of ''X'' is the group of invertible linear transformations from ''X'' to itself (the general linear group of ''X''). If instead ''X'' is a group, then its automorphism group \operatorname(X) is the group consisting of all group automorphisms of ''X''. Especially in geometric contexts, an automorphism group is also called a symmetry group. A subgroup of an automorphism group is sometimes called a transformation group. Automorphism groups are studied in a general way in the field of category theory. Examples If ''X'' is a set with no additional structure, then any bijection from ''X'' to itself is an automorphism, and hence the automorphism group of ''X'' in this case is precisely the symmetric group of ''X''. If the set ''X'' has additional struct ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
K3 Surface
In mathematics, a complex analytic K3 surface is a compact connected complex manifold of dimension 2 with trivial canonical bundle and irregularity zero. An (algebraic) K3 surface over any field means a smooth proper geometrically connected algebraic surface that satisfies the same conditions. In the Enriques–Kodaira classification of surfaces, K3 surfaces form one of the four classes of minimal surfaces of Kodaira dimension zero. A simple example is the Fermat quartic surface :x^4+y^4+z^4+w^4=0 in complex projective 3-space. Together with two-dimensional compact complex tori, K3 surfaces are the Calabi–Yau manifolds (and also the hyperkähler manifolds) of dimension two. As such, they are at the center of the classification of algebraic surfaces, between the positively curved del Pezzo surfaces (which are easy to classify) and the negatively curved surfaces of general type (which are essentially unclassifiable). K3 surfaces can be considered the simplest algebraic va ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Umbral Moonshine
In mathematics, umbral moonshine is a mysterious connection between Niemeier lattices and Ramanujan's mock theta functions. It is a generalization of the Mathieu moonshine phenomenon connecting representations of the Mathieu group M24 with K3 surfaces. Mathieu moonshine The prehistory of Mathieu moonshine starts with a theorem of Mukai, asserting that any group of symplectic automorphisms of a K3 surface embeds in the Mathieu group M23. The moonshine observation arose from physical considerations: any K3 sigma-model conformal field theory has an action of the N=(4,4) superconformal algebra, arising from a hyperkähler structure. When computed the first few terms of the decomposition of the elliptic genus of a K3 CFT into characters of the N=(4,4) superconformal algebra, they found that the multiplicities matched well with simple combinations of representations of M24. However, by the Mukai–Kondo classification, there is no faithful action of this group on any K3 surfac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Small Cubicuboctahedron
In geometry, the small cubicuboctahedron is a uniform star polyhedron, indexed as U13. It has 20 faces (8 triangles, 6 squares, and 6 octagons), 48 edges, and 24 vertices. Its vertex figure is a crossed quadrilateral. The small cubicuboctahedron is a faceting of the rhombicuboctahedron. Its square faces and its octagonal faces are parallel to those of a cube, while its triangular faces are parallel to those of an octahedron: hence the name ''cubicuboctahedron''. The ''small'' suffix serves to distinguish it from the great cubicuboctahedron, which also has faces in the aforementioned directions. Related polyhedra It shares its vertex arrangement with the stellated truncated hexahedron. It additionally shares its edge arrangement with the rhombicuboctahedron (having the triangular faces and 6 square faces in common), and with the small rhombihexahedron (having the octagonal faces in common). Related tilings As the Euler characteristic suggests, the small cubicuboctahed ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Immersion (mathematics)
In mathematics, an immersion is a differentiable function between differentiable manifolds whose differential (or pushforward) is everywhere injective. Explicitly, is an immersion if :D_pf : T_p M \to T_N\, is an injective function at every point ''p'' of ''M'' (where ''TpX'' denotes the tangent space of a manifold ''X'' at a point ''p'' in ''X''). Equivalently, ''f'' is an immersion if its derivative has constant rank equal to the dimension of ''M'': :\operatorname\,D_p f = \dim M. The function ''f'' itself need not be injective, only its derivative must be. A related concept is that of an embedding. A smooth embedding is an injective immersion that is also a topological embedding, so that ''M'' is diffeomorphic to its image in ''N''. An immersion is precisely a local embedding – that is, for any point there is a neighbourhood, , of ''x'' such that is an embedding, and conversely a local embedding is an immersion. For infinite dimensional manifolds, this is so ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tessellation
A tessellation or tiling is the covering of a surface, often a plane, using one or more geometric shapes, called ''tiles'', with no overlaps and no gaps. In mathematics, tessellation can be generalized to higher dimensions and a variety of geometries. A periodic tiling has a repeating pattern. Some special kinds include ''regular tilings'' with regular polygonal tiles all of the same shape, and ''semiregular tilings'' with regular tiles of more than one shape and with every corner identically arranged. The patterns formed by periodic tilings can be categorized into 17 wallpaper groups. A tiling that lacks a repeating pattern is called "non-periodic". An ''aperiodic tiling'' uses a small set of tile shapes that cannot form a repeating pattern. A ''tessellation of space'', also known as a space filling or honeycomb, can be defined in the geometry of higher dimensions. A real physical tessellation is a tiling made of materials such as cemented ceramic squares or hexagons. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Klein Quartic
In hyperbolic geometry, the Klein quartic, named after Felix Klein, is a compact Riemann surface of genus with the highest possible order automorphism group for this genus, namely order orientation-preserving automorphisms, and automorphisms if orientation may be reversed. As such, the Klein quartic is the Hurwitz surface of lowest possible genus; see Hurwitz's automorphisms theorem. Its (orientation-preserving) automorphism group is isomorphic to , the second-smallest non-abelian simple group after the alternating group A5. The quartic was first described in . Klein's quartic occurs in many branches of mathematics, in contexts including representation theory, homology theory, octonion multiplication, Fermat's Last Theorem, and the Stark–Heegner theorem on imaginary quadratic number fields of class number one; see for a survey of properties. Originally, the "Klein quartic" referred specifically to the subset of the complex projective plane defined by an algebraic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Small Cubicuboctahedron
In geometry, the small cubicuboctahedron is a uniform star polyhedron, indexed as U13. It has 20 faces (8 triangles, 6 squares, and 6 octagons), 48 edges, and 24 vertices. Its vertex figure is a crossed quadrilateral. The small cubicuboctahedron is a faceting of the rhombicuboctahedron. Its square faces and its octagonal faces are parallel to those of a cube, while its triangular faces are parallel to those of an octahedron: hence the name ''cubicuboctahedron''. The ''small'' suffix serves to distinguish it from the great cubicuboctahedron, which also has faces in the aforementioned directions. Related polyhedra It shares its vertex arrangement with the stellated truncated hexahedron. It additionally shares its edge arrangement with the rhombicuboctahedron (having the triangular faces and 6 square faces in common), and with the small rhombihexahedron (having the octagonal faces in common). Related tilings As the Euler characteristic suggests, the small cubicuboctahed ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Robert Griess
Robert Louis Griess, Jr. (born 1945, Savannah, Georgia) is a mathematician working on finite simple groups and vertex algebras. He is currently the John Griggs Thompson Distinguished University Professor of mathematics at University of Michigan. Education Griess developed a keen interest in mathematics prior to entering undergraduate studies at the University of Chicago in the fall of 1963. There, he eventually earned a Ph.D. in 1971 under the supervision of John Griggs Thompson after defending a dissertation on the Schur multipliers of the then-known finite simple groups. Research Griess' early work focused on group extensions, cohomology and Schur multipliers, as well as on the classification of finite simple groups and their properties. He was awarded a Guggenheim Fellowship in 1981. In 1982, he published the first construction of the monster group using the Griess algebra, for which he was awarded the 2010 AMS Leroy P. Steele Prize for Seminal Contribution to Research. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Monster Group
In the area of abstract algebra known as group theory, the monster group M (also known as the Fischer–Griess monster, or the friendly giant) is the largest sporadic simple group, having order 2463205976112133171923293141475971 = 808,017,424,794,512,875,886,459,904,961,710,757,005,754,368,000,000,000 ≈ 8. The finite simple groups have been completely classified. Every such group belongs to one of 18 countably infinite families, or is one of 26 sporadic groups that do not follow such a systematic pattern. The monster group contains 20 sporadic groups (including itself) as subquotients. Robert Griess, who proved the existence of the monster in 1982, has called those 20 groups the ''happy family'', and the remaining six exceptions '' pariahs''. It is difficult to give a good constructive definition of the monster because of its complexity. Martin Gardner wrote a popular account of the monster group in his June 1980 Mathematical Games column in ''Scientifi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
