|
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 ''Scientific ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abstract Algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The term ''abstract algebra'' was coined in the early 20th century to distinguish this area of study from older parts of algebra, and more specifically from elementary algebra, the use of variables to represent numbers in computation and reasoning. Algebraic structures, with their associated homomorphisms, form mathematical categories. Category theory is a formalism that allows a unified way for expressing properties and constructions that are similar for various structures. Universal algebra is a related subject that studies types of algebraic structures as single objects. For example, the structure of groups is a single object in universal algebra, which is called the ''variety of groups''. History Before the nineteenth century, algebra meant ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Centralizer And Normalizer
In mathematics, especially group theory, the centralizer (also called commutant) of a subset ''S'' in a group ''G'' is the set of elements \mathrm_G(S) of ''G'' such that each member g \in \mathrm_G(S) commutes with each element of ''S'', or equivalently, such that conjugation by g leaves each element of ''S'' fixed. The normalizer of ''S'' in ''G'' is the set of elements \mathrm_G(S) of ''G'' that satisfy the weaker condition of leaving the set S \subseteq G fixed under conjugation. The centralizer and normalizer of ''S'' are subgroups of ''G''. Many techniques in group theory are based on studying the centralizers and normalizers of suitable subsets ''S''. Suitably formulated, the definitions also apply to semigroups. In ring theory, the centralizer of a subset of a ring is defined with respect to the semigroup (multiplication) operation of the ring. The centralizer of a subset of a ring ''R'' is a subring of ''R''. This article also deals with centralizers and normaliz ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Faithful Representation
In mathematics, especially in an area of abstract algebra known as representation theory, a faithful representation ρ of a group on a vector space is a linear representation in which different elements of are represented by distinct linear mappings . In more abstract language, this means that the group homomorphism :\rho: G\to GL(V) is injective (or one-to-one). ''Caveat:'' While representations of over a field are ''de facto'' the same as -modules (with denoting the group algebra of the group ), a faithful representation of is not necessarily a faithful module for the group algebra. In fact each faithful -module is a faithful representation of , but the converse does not hold. Consider for example the natural representation of the symmetric group in dimensions by permutation matrices, which is certainly faithful. Here the order of the group is while the matrices form a vector space of dimension . As soon as is at least 4, dimension counting means that some linear ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John G
John is a common English name and surname: * John (given name) * John (surname) John may also refer to: New Testament Works * Gospel of John, a title often shortened to John * First Epistle of John, often shortened to 1 John * Second Epistle of John, often shortened to 2 John * Third Epistle of John, often shortened to 3 John People * John the Baptist (died c. AD 30), regarded as a prophet and the forerunner of Jesus Christ * John the Apostle (lived c. AD 30), one of the twelve apostles of Jesus * John the Evangelist, assigned author of the Fourth Gospel, once identified with the Apostle * John of Patmos, also known as John the Divine or John the Revelator, the author of the Book of Revelation, once identified with the Apostle * John the Presbyter, a figure either identified with or distinguished from the Apostle, the Evangelist and John of Patmos Other people with the given name Religious figures * John, father of Andrew the Apostle and Saint Peter * Pope Joh ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jacques Tits
Jacques Tits () (12 August 1930 – 5 December 2021) was a Belgian-born French mathematician who worked on group theory and incidence geometry. He introduced Tits buildings, the Tits alternative, the Tits group, and the Tits metric. Life and career Tits was born in Uccle to Léon Tits, a professor, and Lousia André. Jacques attended the Athénée of Uccle and the Free University of Brussels. His thesis advisor was Paul Libois, and Tits graduated with his doctorate in 1950 with the dissertation ''Généralisation des groupes projectifs basés sur la notion de transitivité''. His academic career includes professorships at the Free University of Brussels (now split into the Université Libre de Bruxelles and the Vrije Universiteit Brussel) (1962–1964), the University of Bonn (1964–1974) and the Collège de France in Paris, until becoming emeritus in 2000. He changed his citizenship to French in 1974 in order to teach at the Collège de France, which at that point required ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ann Arbor
Anne, alternatively spelled Ann, is a form of the Latin female given name Anna (name), Anna. This in turn is a representation of the Hebrew Hannah (given name), Hannah, which means 'favour' or 'grace'. Related names include Annie (given name), Annie. Anne is sometimes used as a male name in the Netherlands, particularly in the Friesland, Frisian speaking part (for example, author Anne de Vries). In this incarnation, it is related to Arne (name), Germanic arn-names and means 'eagle'.See entry on "Anne" in th''Behind the Name'' databaseand th"Anne"an"Ane"entries (in Dutch) in the Nederlandse Voornamenbank (Dutch First Names Database) of the Meertens Instituut (23 October 2018). It has also been used for males in France (Anne de Montmorency) and Scotland (Lord Anne Hamilton). Anne is a common name and the following lists represent a small selection. For a comprehensive list, see instead: . As a feminine name Anne * Saint Anne, Mother of the Virgin Mary * Anne, Queen of Great Bri ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nonassociative Algebra
A non-associative algebra (or distributive algebra) is an algebra over a field where the binary multiplication operation is not assumed to be associative. That is, an algebraic structure ''A'' is a non-associative algebra over a field ''K'' if it is a vector space over ''K'' and is equipped with a ''K''- bilinear binary multiplication operation ''A'' × ''A'' → ''A'' which may or may not be associative. Examples include Lie algebras, Jordan algebras, the octonions, and three-dimensional Euclidean space equipped with the cross product operation. Since it is not assumed that the multiplication is associative, using parentheses to indicate the order of multiplications is necessary. For example, the expressions (''ab'')(''cd''), (''a''(''bc''))''d'' and ''a''(''b''(''cd'')) may all yield different answers. While this use of ''non-associative'' means that associativity is not assumed, it does not mean that associativity is disallowed. In other words, "non-associative" means "not ne ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Griess Algebra
In mathematics, the Griess algebra is a commutative non-associative algebra on a real vector space of dimension 196884 that has the 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 246320597611213317192329314147 ... ''M'' as its automorphism group. It is named after mathematician R. L. Griess, who constructed it in 1980 and subsequently used it in 1982 to construct ''M''. The Monster fixes (vectorwise) a 1-space in this algebra and acts absolutely irreducibly on the 196883-dimensional orthogonal complement of this 1-space. (The Monster preserves the standard inner product on the 196884-space.) Griess's construction was later simplified by Jacques Tits and John H. Conway. The Griess algebra is the same as the degree 2 piece of the monster vertex algebra, and the Griess product is one of the vertex alge ... [...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] |
Character Theory
In mathematics, more specifically in group theory, the character of a group representation is a function on the group that associates to each group element the trace of the corresponding matrix. The character carries the essential information about the representation in a more condensed form. Georg Frobenius initially developed representation theory of finite groups entirely based on the characters, and without any explicit matrix realization of representations themselves. This is possible because a complex representation of a finite group is determined (up to isomorphism) by its character. The situation with representations over a field of positive characteristic, so-called "modular representations", is more delicate, but Richard Brauer developed a powerful theory of characters in this case as well. Many deep theorems on the structure of finite groups use characters of modular representations. Applications Characters of irreducible representations encode many important propert ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Harada–Norton Group
In the area of modern algebra known as group theory, the Harada–Norton group ''HN'' is a sporadic simple group of Order (group theory), order : 214365671119 : = 273030912000000 : ≈ 3. History and properties ''HN'' is one of the 26 sporadic groups and was found by and ). Its Schur multiplier is trivial and its outer automorphism group has order 2. ''HN'' has an involution whose Centralizer and normalizer, centralizer is of the form 2.HS.2, where HS is the Higman-Sims group (which is how Harada found it). The prime 5 plays a special role in the group. For example, it centralizes an element of order 5 in the Monster group (which is how Norton found it), and as a result acts naturally on a vertex operator algebra over the field with 5 elements . This implies that it acts on a 133 dimensional algebra over F5 with a commutative but nonassociative product, analogous to the Griess algebra . Generalized monstrous moonshine Conway and Norton suggested in their 1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Thompson Group (finite)
In the area of modern algebra known as group theory, the Thompson group ''Th'' is a sporadic simple group of order : 2153105372131931 : = 90745943887872000 : ≈ 9. History ''Th'' is one of the 26 sporadic groups and was found by and constructed by . They constructed it as the automorphism group of a certain lattice in the 248-dimensional Lie algebra of E8. It does not preserve the Lie bracket of this lattice, but does preserve the Lie bracket mod 3, so is a subgroup of the Chevalley group E8(3). The subgroup preserving the Lie bracket (over the integers) is a maximal subgroup of the Thompson group called the Dempwolff group (which unlike the Thompson group is a subgroup of the compact Lie group E8). Representations The centralizer of an element of order 3 of type 3C in the Monster group is a product of the Thompson group and a group of order 3, as a result of which the Thompson group acts on a vertex operator algebra over the field with 3 elements. This v ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
