|
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 \Phi( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nilpotent Group
In mathematics, specifically group theory, a nilpotent group ''G'' is a group that has an upper central series that terminates with ''G''. Equivalently, its central series is of finite length or its lower central series terminates with . Intuitively, a nilpotent group is a group that is "almost abelian". This idea is motivated by the fact that nilpotent groups are solvable, and for finite nilpotent groups, two elements having relatively prime orders must commute. It is also true that finite nilpotent groups are supersolvable. The concept is credited to work in the 1930s by Russian mathematician Sergei Chernikov. Nilpotent groups arise in Galois theory, as well as in the classification of groups. They also appear prominently in the classification of Lie groups. Analogous terms are used for Lie algebras (using the Lie bracket) including nilpotent, lower central series, and upper central series. Definition The definition uses the idea of a central series for a group. The fo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Socle (mathematics)
In mathematics, the term socle has several related meanings. Socle of a group In the context of group theory, the socle of a group ''G'', denoted soc(''G''), is the subgroup generated by the minimal normal subgroups of ''G''. It can happen that a group has no minimal non-trivial normal subgroup (that is, every non-trivial normal subgroup properly contains another such subgroup) and in that case the socle is defined to be the subgroup generated by the identity. The socle is a direct product of minimal normal subgroups. As an example, consider the cyclic group Z12 with generator ''u'', which has two minimal normal subgroups, one generated by ''u''4 (which gives a normal subgroup with 3 elements) and the other by ''u''6 (which gives a normal subgroup with 2 elements). Thus the socle of Z12 is the group generated by ''u''4 and ''u''6, which is just the group generated by ''u''2. The socle is a characteristic subgroup, and hence a normal subgroup. It is not necessarily transitively ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Frattini's Argument
In group theory, a branch of mathematics, Frattini's argument is an important lemma in the structure theory of finite groups. It is named after Giovanni Frattini, who used it in a paper from 1885 when defining the Frattini subgroup of a group. The argument was taken by Frattini, as he himself admits, from a paper of Alfredo Capelli dated 1884.M. Brescia, F. de Giovanni, M. Trombetti"The True Story Behind Frattini’s Argument" '' Advances in Group Theory and Applications'' 3doi:10.4399/97888255036928/ref> Frattini's Argument Statement If G is a finite group with normal subgroup H, and if P is a Sylow ''p''-subgroup of H, then :G = N_(P)H where N_(P) denotes the normalizer of P in G and N_(P)H means the product of group subsets. Proof The group P is a Sylow p-subgroup of H, so every Sylow p-subgroup of H is an H-conjugate of P, that is, it is of the form h^Ph, for some h \in H (see Sylow theorems). Let g be any element of G. Since H is normal in G, the subgroup g^Pg is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fitting Subgroup
In mathematics, especially in the area of algebra known as group theory, the Fitting subgroup ''F'' of a finite group ''G'', named after Hans Fitting, is the unique largest normal nilpotent subgroup of ''G''. Intuitively, it represents the smallest subgroup which "controls" the structure of ''G'' when ''G'' is solvable. When ''G'' is not solvable, a similar role is played by the generalized Fitting subgroup ''F*'', which is generated by the Fitting subgroup and the components of ''G''. For an arbitrary (not necessarily finite) group ''G'', the Fitting subgroup is defined to be the subgroup generated by the nilpotent normal subgroups of ''G''. For infinite groups, the Fitting subgroup is not always nilpotent. The remainder of this article deals exclusively with finite groups. The Fitting subgroup The nilpotency of the Fitting subgroup of a finite group is guaranteed by Fitting's theorem which says that the product of a finite collection of normal nilpotent subgroups of ''G ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
If And Only If
In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false. The connective is biconditional (a statement of material equivalence), and can be likened to the standard material conditional ("only if", equal to "if ... then") combined with its reverse ("if"); hence the name. The result is that the truth of either one of the connected statements requires the truth of the other (i.e. either both statements are true, or both are false), though it is controversial whether the connective thus defined is properly rendered by the English "if and only if"—with its pre-existing meaning. For example, ''P if and only if Q'' means that ''P'' is true whenever ''Q'' is true, and the only case in which ''P'' is true is if ''Q'' is also true, whereas in the case of ''P if Q'', there could be other scenarios where ''P'' is true and ''Q ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Order (group Theory)
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 h ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cyclic Group
In group theory, a branch of abstract algebra in pure mathematics, a cyclic group or monogenous group is a group, denoted C''n'', that is generated by a single element. That is, it is a set of invertible elements with a single associative binary operation, and it contains an element ''g'' such that every other element of the group may be obtained by repeatedly applying the group operation to ''g'' or its inverse. Each element can be written as an integer power of ''g'' in multiplicative notation, or as an integer multiple of ''g'' in additive notation. This element ''g'' is called a '' generator'' of the group. Every infinite cyclic group is isomorphic to the additive group of Z, the integers. Every finite cyclic group of order ''n'' is isomorphic to the additive group of Z/''n''Z, the integers modulo ''n''. Every cyclic group is an abelian group (meaning that its group operation is commutative), and every finitely generated abelian group ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Direct Sum Of Abelian Groups
The direct sum is an operation between structures in abstract algebra, a branch of mathematics. It is defined differently, but analogously, for different kinds of structures. To see how the direct sum is used in abstract algebra, consider a more elementary kind of structure, the abelian group. The direct sum of two abelian groups A and B is another abelian group A\oplus B consisting of the ordered pairs (a,b) where a \in A and b \in B. To add ordered pairs, we define the sum (a, b) + (c, d) to be (a + c, b + d); in other words addition is defined coordinate-wise. For example, the direct sum \Reals \oplus \Reals , where \Reals is real coordinate space, is the Cartesian plane, \R ^2 . A similar process can be used to form the direct sum of two vector spaces or two modules. We can also form direct sums with any finite number of summands, for example A \oplus B \oplus C, provided A, B, and C are the same kinds of algebraic structures (e.g., all abelian groups, or all vector s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Isomorphism
In abstract algebra, a group isomorphism is a function between two groups that sets up a one-to-one correspondence between the elements of the groups in a way that respects the given group operations. If there exists an isomorphism between two groups, then the groups are called isomorphic. From the standpoint of group theory, isomorphic groups have the same properties and need not be distinguished. Definition and notation Given two groups (G, *) and (H, \odot), a ''group isomorphism'' from (G, *) to (H, \odot) is a bijective group homomorphism from G to H. Spelled out, this means that a group isomorphism is a bijective function f : G \to H such that for all u and v in G it holds that f(u * v) = f(u) \odot f(v). The two groups (G, *) and (H, \odot) are isomorphic if there exists an isomorphism from one to the other. This is written (G, *) \cong (H, \odot). Often shorter and simpler notations can be used. When the relevant group operations are understood, they are omitted and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Elementary Abelian Group
In mathematics, specifically in group theory, an elementary abelian group (or elementary abelian ''p''-group) is an abelian group in which every nontrivial element has order ''p''. The number ''p'' must be prime, and the elementary abelian groups are a particular kind of ''p''-group. The case where ''p'' = 2, i.e., 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''-fold direct product of groups. In ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quotient Group
A quotient group or factor group is a mathematical group obtained by aggregating similar elements of a larger group using an equivalence relation that preserves some of the group structure (the rest of the structure is "factored" out). For example, the cyclic group of addition modulo ''n'' can be obtained from the group of integers under addition by identifying elements that differ by a multiple of n and defining a group structure that operates on each such class (known as a congruence class) as a single entity. It is part of the mathematical field known as group theory. For a congruence relation on a group, the equivalence class of the identity element is always a normal subgroup of the original group, and the other equivalence classes are precisely the cosets of that normal subgroup. The resulting quotient is written G\,/\,N, where G is the original group and N is the normal subgroup. (This is pronounced G\bmod N, where \mbox is short for modulo.) Much of the importa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Frattini Subgroup")
