|
Janko Group J1
In the area of modern algebra known as group theory, the Janko group ''J1'' is a sporadic simple group of order : 233571119 = 175560 : ≈ 2. History ''J1'' is one of the 26 sporadic groups and was originally described by Zvonimir Janko in 1965. It is the only Janko group whose existence was proved by Janko himself and was the first sporadic group to be found since the discovery of the Mathieu groups in the 19th century. Its discovery launched the modern theory of sporadic groups. In 1986 Robert A. Wilson showed that ''J1'' cannot be a subgroup of the monster group. Thus it is one of the 6 sporadic groups called the pariahs. Properties The smallest faithful complex representation of ''J1'' has dimension 56.Jansen (2005), p.123 ''J1'' can be characterized abstractly as the unique simple group with abelian 2-Sylow subgroups and with an involution whose centralizer is isomorphic to the direct product of the group of order two and the alternating group A5 ... [...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] |
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] |
(2,3,7) Triangle Group
In the theory of Riemann surfaces and hyperbolic geometry, the triangle group (2,3,7) is particularly important. This importance stems from its connection to Hurwitz surfaces, namely Riemann surfaces of genus ''g'' with the largest possible order, 84(''g'' − 1), of its automorphism group. A note on terminology – the "(2,3,7) triangle group" most often refers, not to the ''full'' triangle group Δ(2,3,7) (the Coxeter group with Schwarz triangle (2,3,7) or a realization as a hyperbolic reflection group), but rather to the ''ordinary'' triangle group (the von Dyck group) ''D''(2,3,7) of orientation-preserving maps (the rotation group), which is index 2. Torsion-free normal subgroups of the (2,3,7) triangle group are Fuchsian groups associated with Hurwitz surfaces, such as the Klein quartic, Macbeath surface and First Hurwitz triplet. Constructions Hyperbolic construction To construct the triangle group, start with a hyperbolic triangle with angles π/2, π/3, and π/7. Thi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hurwitz Group
In mathematics, Hurwitz's automorphisms theorem bounds the order of the group of automorphisms, via orientation-preserving conformal mappings, of a compact Riemann surface of genus ''g'' > 1, stating that the number of such automorphisms cannot exceed 84(''g'' − 1). A group for which the maximum is achieved is called a Hurwitz group, and the corresponding Riemann surface a Hurwitz surface. Because compact Riemann surfaces are synonymous with non-singular complex projective algebraic curves, a Hurwitz surface can also be called a Hurwitz curve.Technically speaking, there is an equivalence of categories between the category of compact Riemann surfaces with the orientation-preserving conformal maps and the category of non-singular complex projective algebraic curves with the algebraic morphisms. The theorem is named after Adolf Hurwitz, who proved it in . Hurwitz's bound also holds for algebraic curves over a field of characteristic 0, and over fields of positi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Of Lie Type
In mathematics, specifically in group theory, the phrase ''group of Lie type'' usually refers to finite groups that are closely related to the group of rational points of a reductive linear algebraic group with values in a finite field. The phrase ''group of Lie type'' does not have a widely accepted precise definition, but the important collection of finite simple groups of Lie type does have a precise definition, and they make up most of the groups in the classification of finite simple groups. The name "groups of Lie type" is due to the close relationship with the (infinite) Lie groups, since a compact Lie group may be viewed as the rational points of a reductive linear algebraic group over the field of real numbers. and are standard references for groups of Lie type. Classical groups An initial approach to this question was the definition and detailed study of the so-called ''classical groups'' over finite and other fields by . These groups were studied by L. E. Dickson a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Leonard Eugene Dickson
Leonard Eugene Dickson (January 22, 1874 – January 17, 1954) was an American mathematician. He was one of the first American researchers in abstract algebra, in particular the theory of finite fields and classical groups, and is also remembered for a three-volume history of number theory, ''History of the Theory of Numbers''. Life Dickson considered himself a Texan by virtue of having grown up in Cleburne, where his father was a banker, merchant, and real estate investor. He attended the University of Texas at Austin, where George Bruce Halsted encouraged his study of mathematics. Dickson earned a B.S. in 1893 and an M.S. in 1894, under Halsted's supervision. Dickson first specialised in Halsted's own specialty, geometry.A. A. Albert (1955Leonard Eugene Dickson 1874–1954from National Academy of Sciences Both the University of Chicago and Harvard University welcomed Dickson as a Ph.D. student, and Dickson initially accepted Harvard's offer, but chose to attend Chicago in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Finite Field
In mathematics, a finite field or Galois field (so-named in honor of Évariste Galois) is a field that contains a finite number of elements. As with any field, a finite field is a set on which the operations of multiplication, addition, subtraction and division are defined and satisfy certain basic rules. The most common examples of finite fields are given by the integers mod when is a prime number. The ''order'' of a finite field is its number of elements, which is either a prime number or a prime power. For every prime number and every positive integer there are fields of order p^k, all of which are isomorphic. Finite fields are fundamental in a number of areas of mathematics and computer science, including number theory, algebraic geometry, Galois theory, finite geometry, cryptography and coding theory. Properties A finite field is a finite set which is a field; this means that multiplication, addition, subtraction and division (excluding division by zero) are ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orthogonal Matrix
In linear algebra, an orthogonal matrix, or orthonormal matrix, is a real square matrix whose columns and rows are orthonormal vectors. One way to express this is Q^\mathrm Q = Q Q^\mathrm = I, where is the transpose of and is the identity matrix. This leads to the equivalent characterization: a matrix is orthogonal if its transpose is equal to its inverse: Q^\mathrm=Q^, where is the inverse of . An orthogonal matrix is necessarily invertible (with inverse ), unitary (), where is the Hermitian adjoint (conjugate transpose) of , and therefore normal () over the real numbers. The determinant of any orthogonal matrix is either +1 or −1. As a linear transformation, an orthogonal matrix preserves the inner product of vectors, and therefore acts as an isometry of Euclidean space, such as a rotation, reflection or rotoreflection. In other words, it is a unitary transformation. The set of orthogonal matrices, under multiplication, forms the group , known as the orthogonal gr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Modular Representation
Modular representation theory is a branch of mathematics, and is the part of representation theory that studies linear representations of finite groups over a field ''K'' of positive characteristic ''p'', necessarily a prime number. As well as having applications to group theory, modular representations arise naturally in other branches of mathematics, such as algebraic geometry, coding theory, combinatorics and number theory. Within finite group theory, character-theoretic results proved by Richard Brauer using modular representation theory played an important role in early progress towards the classification of finite simple groups, especially for simple groups whose characterization was not amenable to purely group-theoretic methods because their Sylow 2-subgroups were too small in an appropriate sense. Also, a general result on embedding of elements of order 2 in finite groups called the Z* theorem, proved by George Glauberman using the theory developed by Brauer, was par ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
O'Nan Group
In the area of abstract algebra known as group theory, the O'Nan group ''O'N'' or O'Nan–Sims group is a sporadic simple group of order : 2934573111931 : = 460815505920 : ≈ 5. History ''O'Nan'' is one of the 26 sporadic groups and was found by in a study of groups with a Sylow 2-subgroup of " Alperin type", meaning isomorphic to a Sylow 2-Subgroup of a group of type (Z/2''n''Z ×Z/2''n''Z ×Z/2''n''Z).PSL3(F2). For the O'Nan group ''n'' = 2 and the extension does not split. The only other simple group with a Sylow 2-subgroup of Alperin type with ''n'' ≥ 2 is the Higman–Sims group again with ''n'' = 2, but the extension splits. The Schur multiplier has order 3, and its outer automorphism group has order 2. showed that O'Nan cannot be a subquotient of the monster group. Thus it is one of the 6 sporadic groups called the pariahs. Representations showed that its triple cover has two 45-dimensional representations over the field with 7 elements, excha ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Schur Multiplier
In mathematical group theory, the Schur multiplier or Schur multiplicator is the second homology group H_2(G, \Z) of a group ''G''. It was introduced by in his work on projective representations. Examples and properties The Schur multiplier \operatorname(G) of a finite group ''G'' is a finite abelian group whose exponent divides the order of ''G''. If a Sylow ''p''-subgroup of ''G'' is cyclic for some ''p'', then the order of \operatorname(G) is not divisible by ''p''. In particular, if all Sylow ''p''-subgroups of ''G'' are cyclic, then \operatorname(G) is trivial. For instance, the Schur multiplier of the nonabelian group of order 6 is the trivial group since every Sylow subgroup is cyclic. The Schur multiplier of the elementary abelian group of order 16 is an elementary abelian group of order 64, showing that the multiplier can be strictly larger than the group itself. The Schur multiplier of the quaternion group is trivial, but the Schur multiplier of dihedral 2-groups ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Outer Automorphism Group
In mathematics, the outer automorphism group of a group, , is the quotient, , where is the automorphism group of and ) is the subgroup consisting of inner automorphisms. The outer automorphism group is usually denoted . If is trivial and has a trivial center, then is said to be complete. An automorphism of a group which is not inner is called an outer automorphism. The cosets of with respect to outer automorphisms are then the elements of ; this is an instance of the fact that quotients of groups are not, in general, (isomorphic to) subgroups. If the inner automorphism group is trivial (when a group is abelian), the automorphism group and outer automorphism group are naturally identified; that is, the outer automorphism group does act on the group. For example, for the alternating group, , the outer automorphism group is usually the group of order 2, with exceptions noted below. Considering as a subgroup of the symmetric group, , conjugation by any odd permutation is an oute ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
