|
List Of Transitive Finite Linear Groups
In mathematics, especially in areas of abstract algebra and finite geometry, the list of transitive finite linear groups is an important classification of certain highly symmetric actions of finite groups on vector spaces. The solvable finite 2-transitive groups were classified by Bertram Huppert. The classification of finite simple groups made possible the complete classification of finite doubly transitive permutation groups. This is a result by Christoph Hering. A finite 2-transitive group has a socle that is either a vector space over a finite field or a non-abelian primitive simple group; groups of the latter kind are almost simple groups and described elsewhere. This article provides a complete list of the finite 2-transitive groups whose socle is elementary abelian. Let p be a prime, and G a subgroup of the general linear group GL(d,p) acting transitively on the nonzero vectors of the ''d''-dimensional vector space (F_p)^d over the finite fieldF_p with ''p'' elements. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Almost Simple Group
In mathematics, a group is said to be almost simple if it contains a non- 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). Examples * Trivially, non-abelian simple groups and the full group of automorphisms are almost simple, but proper examples exist, meaning almost simple groups that are neither simple nor the full automorphism group. * 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), due to the exceptional outer automorphism of \mathrm_6. Two other groups, the Mathieu group \math ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
GAP Computer Algebra System
GAP (Groups, Algorithms and Programming) is a computer algebra system for computational discrete algebra with particular emphasis on computational group theory. History GAP was developed at Lehrstuhl D für Mathematik (LDFM), Rheinisch-Westfälische Technische Hochschule Aachen, Germany from 1986 to 1997. After the retirement of Joachim Neubüser from the chair of LDFM, the development and maintenance of GAP was coordinated by the School of Mathematical and Computational Sciences at the University of St Andrews, Scotland. In the summer of 2005 coordination was transferred to an equal partnership of four 'GAP Centres', located at the University of St Andrews, RWTH Aachen, Technische Universität Braunschweig, and Colorado State University at Fort Collins; in April 2020, a fifth GAP Centre located at the TU Kaiserslautern was added. Distribution GAP and its sources, including packages (sets of user contributed programs), data library (including a list of small groups) and the m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Extraspecial Group
In group theory, a branch of abstract algebra, extraspecial groups are analogues of the Heisenberg group over finite fields whose size is a prime. For each prime ''p'' and positive integer ''n'' there are exactly two (up to isomorphism) extraspecial groups of order ''p''1+2''n''. Extraspecial groups often occur in centralizers of involutions. The ordinary character theory of extraspecial groups is well understood. Definition Recall that a finite group is called a ''p''-group if its order is a power of a prime ''p''. A ''p''-group ''G'' is called extraspecial if its center ''Z'' is cyclic of order ''p'', and the quotient ''G''/''Z'' is a non-trivial elementary abelian ''p''-group. Extraspecial groups of order ''p''1+2''n'' are often denoted by the symbol ''p''1+2''n''. For example, 21+24 stands for an extraspecial group of order 225. Classification Every extraspecial ''p''-group has order ''p''1+2''n'' for some positive integer ''n'', and conversely for each such number ther ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Normal Subgroup
In abstract algebra, a normal subgroup (also known as an invariant subgroup or self-conjugate subgroup) is a subgroup that is invariant under conjugation by members of the group of which it is a part. In other words, a subgroup N of the group G is normal in G if and only if gng^ \in N for all g \in G and n \in N. The usual notation for this relation is N \triangleleft G. Normal subgroups are important because they (and only they) can be used to construct quotient groups of the given group. Furthermore, the normal subgroups of G are precisely the kernels of group homomorphisms with domain G, which means that they can be used to internally classify those homomorphisms. Évariste Galois was the first to realize the importance of the existence of normal subgroups. Definitions A subgroup N of a group G is called a normal subgroup of G if it is invariant under conjugation; that is, the conjugation of an element of N by an element of G is always in N. The usual notation for this re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symplectic Group
In mathematics, the name symplectic group can refer to two different, but closely related, collections of mathematical groups, denoted and for positive integer ''n'' and field F (usually C or R). The latter is called the compact symplectic group and is also denoted by \mathrm(n). Many authors prefer slightly different notations, usually differing by factors of . The notation used here is consistent with the size of the most common matrices which represent the groups. In Cartan's classification of the simple Lie algebras, the Lie algebra of the complex group is denoted , and is the compact real form of . Note that when we refer to ''the'' (compact) symplectic group it is implied that we are talking about the collection of (compact) symplectic groups, indexed by their dimension . The name "symplectic group" is due to Hermann Weyl as a replacement for the previous confusing names (line) complex group and Abelian linear group, and is the Greek analog of "complex". The metaplect ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Isomorphism
In mathematics, an isomorphism is a structure-preserving mapping between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word isomorphism is derived from the Ancient Greek: ἴσος ''isos'' "equal", and μορφή ''morphe'' "form" or "shape". The interest in isomorphisms lies in the fact that two isomorphic objects have the same properties (excluding further information such as additional structure or names of objects). Thus isomorphic structures cannot be distinguished from the point of view of structure only, and may be identified. In mathematical jargon, one says that two objects are . An automorphism is an isomorphism from a structure to itself. An isomorphism between two structures is a canonical isomorphism (a canonical map that is an isomorphism) if there is only one isomorphism between the two structures (as it is the case for solutions of a univer ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symplectic Form
In mathematics, a symplectic vector space is a vector space ''V'' over a field ''F'' (for example the real numbers R) equipped with a symplectic bilinear form. A symplectic bilinear form is a mapping that is ; Bilinear: Linear in each argument separately; ; Alternating: holds for all ; and ; Non-degenerate: for all implies that . If the underlying field has characteristic not 2, alternation is equivalent to skew-symmetry. If the characteristic is 2, the skew-symmetry is implied by, but does not imply alternation. In this case every symplectic form is a symmetric form, but not vice versa. Working in a fixed basis, ''ω'' can be represented by a matrix. The conditions above are equivalent to this matrix being skew-symmetric, nonsingular, and hollow (all diagonal entries are zero). This should not be confused with a symplectic matrix, which represents a symplectic transformation of the space. If ''V'' is finite-dimensional, then its dimension must necessarily be even sinc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quadratic Form
In mathematics, a quadratic form is a polynomial with terms all of degree two ("form" is another name for a homogeneous polynomial). For example, :4x^2 + 2xy - 3y^2 is a quadratic form in the variables and . The coefficients usually belong to a fixed field , such as the real or complex numbers, and one speaks of a quadratic form over . If K=\mathbb R, and the quadratic form takes zero only when all variables are simultaneously zero, then it is a definite quadratic form, otherwise it is an isotropic quadratic form. Quadratic forms occupy a central place in various branches of mathematics, including number theory, linear algebra, group theory (orthogonal group), differential geometry (Riemannian metric, second fundamental form), differential topology ( intersection forms of four-manifolds), and Lie theory (the Killing form). Quadratic forms are not to be confused with a quadratic equation, which has only one variable and includes terms of degree two or less. A quadratic form is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orthogonal Group
In mathematics, the orthogonal group in dimension , denoted , is the Group (mathematics), group of isometry, distance-preserving transformations of a Euclidean space of dimension that preserve a fixed point, where the group operation is given by Function composition, composing transformations. The orthogonal group is sometimes called the general orthogonal group, by analogy with the general linear group. Equivalently, it is the group of orthogonal matrix, orthogonal matrices, where the group operation is given by matrix multiplication (an orthogonal matrix is a real matrix whose invertible matrix, inverse equals its transpose). The orthogonal group is an algebraic group and a Lie group. It is compact group, compact. The orthogonal group in dimension has two connected component (topology), connected components. The one that contains the identity element is a normal subgroup, called the special orthogonal group, and denoted . It consists of all orthogonal matrices of determinant ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Representation (mathematics)
In mathematics, a representation is a very general relationship that expresses similarities (or equivalences) between mathematical objects or structures. Roughly speaking, a collection ''Y'' of mathematical objects may be said to ''represent'' another collection ''X'' of objects, provided that the properties and relationships existing among the representing objects ''yi'' conform, in some consistent way, to those existing among the corresponding represented objects ''xi''. More specifically, given a set ''Π'' of properties and relations, a ''Π''-representation of some structure ''X'' is a structure ''Y'' that is the image of ''X'' under a homomorphism that preserves ''Π''. The label ''representation'' is sometimes also applied to the homomorphism itself (such as group homomorphism in group theory). Representation theory Perhaps the most well-developed example of this general notion is the subfield of abstract algebra called representation theory, which studies the representing ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Octonion
In mathematics, the octonions are a normed division algebra over the real numbers, a kind of hypercomplex number system. The octonions are usually represented by the capital letter O, using boldface or blackboard bold \mathbb O. Octonions have eight dimensions; twice the number of dimensions of the quaternions, of which they are an extension. They are noncommutative and nonassociative, but satisfy a weaker form of associativity; namely, they are alternative. They are also power associative. Octonions are not as well known as the quaternions and complex numbers, which are much more widely studied and used. Octonions are related to exceptional structures in mathematics, among them the exceptional Lie groups. Octonions have applications in fields such as string theory, special relativity and quantum logic. Applying the Cayley–Dickson construction to the octonions produces the sedenions. History The octonions were discovered in 1843 by John T. Graves, inspired by his friend Wi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
