|
Mathieu Groups
In group theory, a topic in abstract algebra, the Mathieu groups are the five sporadic simple groups ''M''11, ''M''12, ''M''22, ''M''23 and ''M''24 introduced by . They are multiply transitive permutation groups on 11, 12, 22, 23 or 24 objects. They are the first sporadic groups to be discovered. Sometimes the notation ''M''8, ''M''9, ''M''10, ''M''20, and ''M''21 is used for related groups (which act on sets of 8, 9, 10, 20, and 21 points, respectively), namely the stabilizers of points in the larger groups. While these are not sporadic simple groups, they are subgroups of the larger groups and can be used to construct the larger ones. John Conway has shown that one can also extend this sequence up, obtaining the Mathieu groupoid ''M''13 acting on 13 points. ''M''21 is simple, but is not a sporadic group, being isomorphic to the projective special linear group PSL(3,4). History introduced the group ''M''12 as part of an investigation of multiply transitive permuta ... [...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 cen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symmetric Group
In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group \mathrm_n defined over a finite set of n symbols consists of the permutations that can be performed on the n symbols. Since there are n! (n factorial) such permutation operations, the order (number of elements) of the symmetric group \mathrm_n is n!. Although symmetric groups can be defined on infinite sets, this article focuses on the finite symmetric groups: their applications, their elements, their conjugacy classes, a finite presentation, their subgroups, their automorphism groups, and their representation theory. For the remainder of this article, "symmetric group" will mean a symmetric group on a finite set. The symmetric group is important to diverse areas of mathematics such as Galois theory, invariant theory, the re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Commutator Subgroup
In mathematics, more specifically in abstract algebra, the commutator subgroup or derived subgroup of a group is the subgroup generated by all the commutators of the group. The commutator subgroup is important because it is the smallest normal subgroup such that the quotient group of the original group by this subgroup is abelian. In other words, G/N is abelian if and only if N contains the commutator subgroup of G. So in some sense it provides a measure of how far the group is from being abelian; the larger the commutator subgroup is, the "less abelian" the group is. Commutators For elements g and h of a group ''G'', the commutator of g and h is ,h= g^h^gh. The commutator ,h/math> is equal to the identity element ''e'' if and only if gh = hg , that is, if and only if g and h commute. In general, gh = hg ,h/math>. However, the notation is somewhat arbitrary and there is a non-equivalent variant definition for the commutator that has the inverses on the right hand side o ... [...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 (mathematics), field that contains a finite number of Element (mathematics), elements. As with any field, a finite field is a Set (mathematics), 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 the integers mod n, integers mod p when p 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 p and every positive integer k there are fields of order p^k. All finite fields of a given order are isomorphism, 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 that is a fiel ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quaternion Group
In group theory, the quaternion group Q8 (sometimes just denoted by Q) is a nonabelian group, non-abelian group (mathematics), group of Group order, order eight, isomorphic to the eight-element subset \ of the quaternions under multiplication. It is given by the presentation of a group, group presentation :\mathrm_8 = \langle \bar,i,j,k \mid \bar^2 = e, \;i^2 = j^2 = k^2 = ijk = \bar \rangle , where ''e'' is the identity element and commutativity, commutes with the other elements of the group. These relations, discovered by W. R. Hamilton, also generate the quaternions as an algebra over the real numbers. Another presentation of Q8 is :\mathrm_8 = \langle a,b \mid a^4 = e, a^2 = b^2, ba = a^b\rangle. Like many other finite groups, it Inverse Galois problem, can be realized as the #Galois group, Galois group of a certain field of algebraic numbers. Compared to dihedral group The quaternion group Q8 has the same order as the dihedral group Examples of groups#The symmetry ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Special Unitary Group
In mathematics, the projective unitary group is the quotient of the unitary group by the right multiplication of its center, , embedded as scalars. Abstractly, it is the holomorphic isometry group of complex projective space, just as the projective orthogonal group is the isometry group of real projective space. In terms of matrices, elements of are complex unitary matrices, and elements of the center are diagonal matrices equal to , where is the identity matrix. Thus, elements of correspond to equivalence classes of unitary matrices under multiplication by a constant phase . This space is not (which only requires the determinant to be one), because still contains elements where is an -th root of unity (since then ). Abstractly, given a Hermitian space , the group is the image of the unitary group in the automorphism group of the projective space . Projective special unitary group The projective special unitary group PSU() is equal to the projective unitary gro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alternating Group
In mathematics, an alternating group is the Group (mathematics), group of even permutations of a finite set. The alternating group on a set of elements is called the alternating group of degree , or the alternating group on letters and denoted by or Basic properties For , the group A''n'' is the commutator subgroup of the symmetric group S''n'' with Index of a subgroup, index 2 and has therefore factorial, ''n''!/2 elements. It is the kernel (algebra), kernel of the signature group homomorphism explained under symmetric group. The group A''n'' is abelian group, abelian if and only if and simple group, simple if and only if or . A5 is the smallest non-abelian simple group, having order of a group, order 60, and thus the smallest non-solvable group. The group A4 has the Klein four-group V as a proper normal subgroup, namely the identity and the double transpositions , that is the kernel of the surjection of A4 onto . We have the exact sequence . In Galois theory, this m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Almost Simple Group
In mathematics, a group (mathematics), group is said to be almost simple if it contains a non-abelian group, abelian simple group and is contained within the automorphism group of that simple group – that is, if it fits between a (non-abelian) simple group and its automorphism group. In symbols, a group A is almost simple if there is a (non-abelian) simple group ''S'' such that S \leq A \leq \operatorname(S), where the inclusion of S in \mathrm(S) is the Conjugation (group action), action by conjugation, which is Faithful action, faithful since S has a trivial Center (group theory), center. Examples * Trivially, non-abelian simple groups and the full group of automorphisms are almost simple. For n=5 or n \geq 7, the symmetric group \mathrm_n is the automorphism group of the simple alternating group \mathrm_n, so \mathrm_n is almost simple in this trivial sense. * For n=6 there is a proper example, as \mathrm_6 sits properly between the simple \mathrm_6 and \operatorname(\mathrm_6 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Special Linear Group
In mathematics, especially in the group theoretic area of algebra, the projective linear group (also known as the projective general linear group or PGL) is the induced action of the general linear group of a vector space ''V'' on the associated projective space P(''V''). Explicitly, the projective linear group is the quotient group : PGL(''V'') = GL(''V'')/Z(''V'') where GL(''V'') is the general linear group of ''V'' and Z(''V'') is the subgroup of all nonzero scalar transformations of ''V''; these are quotiented out because they act trivially on the projective space and they form the kernel of the action, and the notation "Z" reflects that the scalar transformations form the center of the general linear group. The projective special linear group, PSL, is defined analogously, as the induced action of the special linear group on the associated projective space. Explicitly: : PSL(''V'') = SL(''V'')/SZ(''V'') where SL(''V'') is the special linear group over ''V'' and SZ(''V ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cross Ratio
In geometry, the cross-ratio, also called the double ratio and anharmonic ratio, is a number associated with a list of four collinear points, particularly points on a projective line. Given four points , , , on a line, their cross ratio is defined as : (A,B;C,D) = \frac where an orientation of the line determines the sign of each distance and the distance is measured as projected into Euclidean space. (If one of the four points is the line's point at infinity, then the two distances involving that point are dropped from the formula.) The point is the harmonic conjugate of with respect to and precisely if the cross-ratio of the quadruple is , called the ''harmonic ratio''. The cross-ratio can therefore be regarded as measuring the quadruple's deviation from this ratio; hence the name ''anharmonic ratio''. The cross-ratio is preserved by linear fractional transformations. It is essentially the only projective invariant of a quadruple of collinear points; this underlies i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective General Linear Group
In mathematics, especially in the group theoretic area of algebra, the projective linear group (also known as the projective general linear group or PGL) is the induced action of the general linear group of a vector space ''V'' on the associated projective space P(''V''). Explicitly, the projective linear group is the quotient group : PGL(''V'') = GL(''V'')/Z(''V'') where GL(''V'') is the general linear group of ''V'' and Z(''V'') is the subgroup of all nonzero scalar transformations of ''V''; these are quotiented out because they act trivially on the projective space and they form the kernel of the action, and the notation "Z" reflects that the scalar transformations form the center of the general linear group. The projective special linear group, PSL, is defined analogously, as the induced action of the special linear group on the associated projective space. Explicitly: : PSL(''V'') = SL(''V'')/SZ(''V'') where SL(''V'') is the special linear group over ''V'' and SZ(''V ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Zassenhaus Group
In mathematics, a Zassenhaus group, named after Hans Zassenhaus, is a certain sort of doubly transitive permutation group very closely related to rank-1 groups of Lie type. Definition A Zassenhaus group is a permutation group ''G'' on a finite set ''X'' with the following three properties: * ''G'' is doubly transitive. *Non-trivial elements of ''G'' fix at most two points. *''G'' has no regular normal subgroup. ("Regular" means that non-trivial elements do not fix any points of ''X''; compare free action.) The degree of a Zassenhaus group is the number of elements of ''X''. Some authors omit the third condition that ''G'' has no regular normal subgroup. This condition is put in to eliminate some "degenerate" cases. The extra examples one gets by omitting it are either Frobenius groups or certain groups of degree 2''p'' and order 2''p''(2''p'' − 1)''p'' for a prime ''p'', that are generated by all semilinear mappings and Galois automorphisms of a field of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
