|
Special Group (finite Group Theory)
In group theory, a discipline within abstract algebra, a special group is a finite group of prime power order that is either elementary abelian itself or of class 2 with its derived group, its center, and its Frattini subgroup all equal and elementary abelian . A special group of order ''p''''n'' that has class 2 and whose derived group has order ''p'' is called an extra special 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) extraspec .... References * Finite groups P-groups {{group-theory-stub ... [...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] |
Abstract Algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures, which are set (mathematics), sets with specific operation (mathematics), operations acting on their elements. Algebraic structures include group (mathematics), groups, ring (mathematics), rings, field (mathematics), fields, module (mathematics), modules, vector spaces, lattice (order), lattices, and algebra over a field, algebras over a field. The term ''abstract algebra'' was coined in the early 20th century to distinguish it from older parts of algebra, and more specifically from elementary algebra, the use of variable (mathematics), variables to represent numbers in computation and reasoning. The abstract perspective on algebra has become so fundamental to advanced mathematics that it is simply called "algebra", while the term "abstract algebra" is seldom used except in mathematical education, pedagogy. Algebraic structures, with their associated homomorphisms, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Finite Group
In abstract algebra, a finite group is a group whose underlying set is finite. Finite groups often arise when considering symmetry of mathematical or physical objects, when those objects admit just a finite number of structure-preserving transformations. Important examples of finite groups include cyclic groups and permutation groups. The study of finite groups has been an integral part of group theory since it arose in the 19th century. One major area of study has been classification: the classification of finite simple groups (those with no nontrivial normal subgroup) was completed in 2004. History During the twentieth century, mathematicians investigated some aspects of the theory of finite groups in great depth, especially the local theory of finite groups and the theory of solvable and nilpotent groups. As a consequence, the complete classification of finite simple groups was achieved, meaning that all those simple groups from which all finite groups can be bu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Prime Power
In mathematics, a prime power is a positive integer which is a positive integer power of a single prime number. For example: , and are prime powers, while , and are not. The sequence of prime powers begins: 2, 3, 4, 5, 7, 8, 9, 11, 13, 16, 17, 19, 23, 25, 27, 29, 31, 32, 37, 41, 43, 47, 49, 53, 59, 61, 64, 67, 71, 73, 79, 81, 83, 89, 97, 101, 103, 107, 109, 113, 121, 125, 127, 128, 131, 137, 139, 149, 151, 157, 163, 167, 169, 173, 179, 181, 191, 193, 197, 199, 211, 223, 227, 229, 233, 239, 241, 243, 251, … . The prime powers are those positive integers that are divisible by exactly one prime number; in particular, the number 1 is not a prime power. Prime powers are also called primary numbers, as in the primary decomposition. Properties Algebraic properties Prime powers are powers of prime numbers. Every prime power (except powers of 2 greater than 4) has a primitive root; thus the multiplicative group of integers modulo ''p''''n'' (that is, the group of units of the ri ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Order Of A Group
In mathematics, the order of a finite group is the number of its elements. If a group is not finite, one says that its order is ''infinite''. The ''order'' of an element of a group (also called period length or period) is the order of the subgroup generated by the element. If the group operation is denoted as a multiplication, the order of an element of a group, is thus the smallest positive integer such that , where denotes the identity element of the group, and denotes the product of copies of . If no such exists, the order of is infinite. The order of a group is denoted by or , and the order of an element is denoted by or , instead of \operatorname(\langle a\rangle), where the brackets denote the generated group. Lagrange's theorem states that for any subgroup of a finite group , the order of the subgroup divides the order of the group; that is, is a divisor of . In particular, the order of any element is a divisor of . Example The symmetric group S3 has ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Elementary Abelian Group
In mathematics, specifically in group theory, an elementary abelian group is an abelian group in which all elements other than the identity have the same order. This common order must be a prime number, and the elementary abelian groups in which the common order is ''p'' are a particular kind of ''p''-group. A group for which ''p'' = 2 (that is, an elementary abelian 2-group) is sometimes called a Boolean group. Every elementary abelian ''p''-group is a vector space over the prime field with ''p'' elements, and conversely every such vector space is an elementary abelian group. By the classification of finitely generated abelian groups, or by the fact that every vector space has a basis, every finite elementary abelian group must be of the form (Z/''p''Z)''n'' for ''n'' a non-negative integer (sometimes called the group's ''rank''). Here, Z/''p''Z denotes the cyclic group of order ''p'' (or equivalently the integers mod ''p''), and the superscript notation means the ''n''-f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Derived Group
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 of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Center (group Theory)
In abstract algebra, the center of a group (mathematics), group is the set (mathematics), set of elements that commutative, commute with every element of . It is denoted , from German ''wikt:Zentrum, Zentrum,'' meaning ''center''. In set-builder notation, :. The center is a normal subgroup, Z(G)\triangleleft G, and also a characteristic subgroup, characteristic subgroup, but is not necessarily fully characteristic subgroup, fully characteristic. The quotient group, , is group isomorphism, isomorphic to the inner automorphism group, . A group is abelian if and only if . At the other extreme, a group is said to be centerless if is trivial group, trivial; i.e., consists only of the identity element. The elements of the center are central elements. As a subgroup The center of ''G'' is always a subgroup (mathematics), subgroup of . In particular: # contains the identity element of , because it commutes with every element of , by definition: , where is the identity; # If an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Frattini Subgroup
In mathematics, particularly in group theory, the Frattini subgroup \Phi(G) of a group is the intersection of all maximal subgroups of . For the case that has no maximal subgroups, for example the trivial group or a Prüfer group, it is defined by \Phi(G)=G. It is analogous to the Jacobson radical in the theory of rings, and intuitively can be thought of as the subgroup of "small elements" (see the "non-generator" characterization below). It is named after Giovanni Frattini, who defined the concept in a paper published in 1885. Some facts * \Phi(G) is equal to the set of all non-generators or non-generating elements of . A non-generating element of is an element that can always be removed from a generating set; that is, an element ''a'' of such that whenever is a generating set of containing ''a'', X \setminus \ is also a generating set of . * \Phi(G) is always a characteristic subgroup of ; in particular, it is always a normal subgroup of . * If is finite, then \P ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Extra Special 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 t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Finite Groups
In abstract algebra, a finite group is a group (mathematics), group whose underlying set is finite set, finite. Finite groups often arise when considering symmetry of Symmetry in mathematics, mathematical or Symmetry (physics), physical objects, when those objects admit just a finite number of structure-preserving transformations. Important examples of finite groups include cyclic groups and permutation groups. The study of finite groups has been an integral part of group theory since it arose in the 19th century. One major area of study has been classification: the classification of finite simple groups (those with no nontrivial normal subgroup) was completed in 2004. History During the twentieth century, mathematicians investigated some aspects of the theory of finite groups in great depth, especially the Local analysis, local theory of finite groups and the theory of Solvable group, solvable and nilpotent groups. As a consequence, the complete classification of finite sim ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
