|
Thompson Subgroup
In mathematical finite group theory, the Thompson subgroup J(P) of a finite ''p''-group ''P'' refers to one of several characteristic subgroups of ''P''. originally defined J(P) to be the subgroup generated by the abelian subgroups of ''P'' of maximal rank. More often the Thompson subgroup J(P) is defined to be the subgroup generated by the abelian subgroups of ''P'' of maximal order or the subgroup generated by the elementary abelian subgroups of ''P'' of maximal rank. In general these three subgroups can be different, though they are all called the Thompson subgroup and denoted by J(P). See also *Glauberman normal p-complement theorem *ZJ theorem *Puig subgroup, a subgroup analogous to the Thompson subgroup References * * *{{Citation , last1=Thompson , first1=John G. , author1-link=John G. Thompson , title=A replacement theorem for p-groups and a conjecture , doi=10.1016/0021-8693(69)90068-4 , mr=0245683 , year=1969 , journal=Journal of Algebra ''Journal of Algeb ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Classical Involution Theorem
In mathematical finite group theory, the classical involution theorem of classifies simple groups with a classical involution and satisfying some other conditions, showing that they are mostly groups of Lie type over a field of odd characteristic. extended the classical involution theorem to groups of finite Morley rank. A classical involution ''t'' of a finite group ''G'' is an involution whose centralizer has a subnormal subgroup In mathematics, in the field of group theory, a subgroup ''H'' of a given group ''G'' is a subnormal subgroup of ''G'' if there is a finite chain of subgroups of the group, each one normal in the next, beginning at ''H'' and ending at ''G''. In not ... containing ''t'' with quaternion Sylow 2-subgroups. References * * * * Theorems about finite groups {{group-theory-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Finite Group Theory
Finite is the opposite of infinite. It may refer to: * Finite number (other) * Finite set, a set whose cardinality (number of elements) is some natural number * Finite verb, a verb form that has a subject, usually being inflected or marked for person and/or tense or aspect * "Finite", a song by Sara Groves from the album '' Invisible Empires'' See also * * Nonfinite (other) Nonfinite is the opposite of finite * a nonfinite verb is a verb that is not capable of serving as the main verb in an independent clause * a non-finite clause In linguistics, a non-finite clause is a dependent or embedded clause that represen ... {{disambiguation fr:Fini it:Finito ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Characteristic Subgroup
In mathematics, particularly in the area of abstract algebra known as group theory, a characteristic subgroup is a subgroup that is mapped to itself by every automorphism of the parent group. Because every conjugation map is an inner automorphism, every characteristic subgroup is normal; though the converse is not guaranteed. Examples of characteristic subgroups include the commutator subgroup and the center of a group. Definition A subgroup of a group is called a characteristic subgroup if for every automorphism of , one has ; then write . It would be equivalent to require the stronger condition = for every automorphism of , because implies the reverse inclusion . Basic properties Given , every automorphism of induces an automorphism of the quotient group , which yields a homomorphism . If has a unique subgroup of a given index, then is characteristic in . Related concepts Normal subgroup A subgroup of that is invariant under all inner automorphisms i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian Group
In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after early 19th century mathematician Niels Henrik Abel. The concept of an abelian group underlies many fundamental algebraic structures, such as fields, rings, vector spaces, and algebras. The theory of abelian groups is generally simpler than that of their non-abelian counterparts, and finite abelian groups are very well understood and fully classified. Definition An abelian group is a set A, together with an operation \cdot that combines any two elements a and b of A to form another element of A, denoted a \cdot b. The symbo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rank Of A Group
In the mathematical subject of group theory, the rank of a group ''G'', denoted rank(''G''), can refer to the smallest cardinality of a generating set for ''G'', that is : \operatorname(G)=\min\. If ''G'' is a finitely generated group, then the rank of ''G'' is a nonnegative integer. The notion of rank of a group is a group-theoretic analog of the notion of dimension of a vector space. Indeed, for ''p''-groups, the rank of the group ''P'' is the dimension of the vector space ''P''/Φ(''P''), where Φ(''P'') is the Frattini subgroup. The rank of a group is also often defined in such a way as to ensure subgroups have rank less than or equal to the whole group, which is automatically the case for dimensions of vector spaces, but not for groups such as affine groups. To distinguish these different definitions, one sometimes calls this rank the subgroup rank. Explicitly, the subgroup rank of a group ''G'' is the maximum of the ranks of its subgroups: : \operatorname(G)=\max_ \min\ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Glauberman Normal P-complement Theorem
In mathematical group theory, a normal p-complement of a finite group for a prime ''p'' is a normal subgroup of order coprime to ''p'' and index a power of ''p''. In other words the group is a semidirect product of the normal ''p''-complement and any Sylow ''p''-subgroup. A group is called p-nilpotent if it has a normal ''p''-complement. Cayley normal 2-complement theorem Cayley showed that if the Sylow 2-subgroup of a group ''G'' is cyclic then the group has a normal 2-complement, which shows that the Sylow 2-subgroup of a simple group of even order cannot be cyclic. Burnside normal p-complement theorem showed that if a Sylow ''p''-subgroup of a group ''G'' is in the center of its normalizer then ''G'' has a normal ''p''-complement. This implies that if ''p'' is the smallest prime dividing the order of a group ''G'' and the Sylow ''p''-subgroup is cyclic, then ''G'' has a normal ''p''-complement. Frobenius normal p-complement theorem The Frobenius normal ''p''-complement the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
ZJ Theorem
In mathematics, George Glauberman's ZJ theorem states that if a finite group ''G'' is ''p''-constrained and ''p''-stable and has a normal ''p''-subgroup for some odd prime ''p'', then ''O''''p''′(''G'')''Z''(''J''(''S'')) is a normal subgroup of ''G'', for any Sylow ''p''-subgroup ''S''. Notation and definitions *''J''(''S'') is the Thompson subgroup of a ''p''-group ''S'': the subgroup generated by the abelian subgroups of maximal order. *''Z''(''H'') means the center of a group ''H''. *''O''''p''′ is the maximal normal subgroup of ''G'' of order coprime to ''p'', the ''p''′-core *''O''''p'' is the maximal normal ''p''-subgroup of ''G'', the ''p''-core. *''O''''p''′,''p''(''G'') is the maximal normal ''p''-nilpotent subgroup of ''G'', the ''p''′,''p''-core, part of the upper ''p''-series. *For an odd prime ''p'', a group ''G'' with ''O''''p''(''G'') ≠ 1 is said to be ''p''-stable if whenever ''P'' is a p-subgroup of ''G'' such that ''POp′''(''G'') is nor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Puig Subgroup
In mathematical finite group theory, the Puig subgroup, introduced by , is a characteristic subgroup of a ''p''-group analogous to the Thompson subgroup In mathematical finite group theory, the Thompson subgroup J(P) of a finite ''p''-group ''P'' refers to one of several characteristic subgroups of ''P''. originally defined J(P) to be the subgroup generated by the abelian subgroups of ''P'' of m .... Definition If ''H'' is a subgroup of a group ''G'', then ''L''''G''(''H'') is the subgroup of ''G'' generated by the abelian subgroups normalized by ''H''. The subgroups ''L''''n'' of ''G'' are defined recursively by *''L''0 is the trivial subgroup *''L''''n''+1 = ''L''''G''(''L''''n'') They have the property that *''L''0 ⊆ ''L''2 ⊆ ''L''4... ⊆ ...''L''5 ⊆ ''L''3 ⊆ ''L''1 The Puig subgroup ''L''(''G'') is the intersection of the subgroups ''L''''n'' for ''n'' odd, and the subgroup ''L''*(''G'') is the union of the subgroups ''L''''n'' for ''n'' even. Properties Puig ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
American Mathematical Society
The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, advocacy and other programs. The society is one of the four parts of the Joint Policy Board for Mathematics and a member of the Conference Board of the Mathematical Sciences. History The AMS was founded in 1888 as the New York Mathematical Society, the brainchild of Thomas Fiske, who was impressed by the London Mathematical Society on a visit to England. John Howard Van Amringe was the first president and Fiske became secretary. The society soon decided to publish a journal, but ran into some resistance, due to concerns about competing with the American Journal of Mathematics. The result was the ''Bulletin of the American Mathematical Society'', with Fiske as editor-in-chief. The de facto journal, as intended, was influential in in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Journal Of Algebra
''Journal of Algebra'' (ISSN 0021-8693) is an international mathematical research journal in algebra. An imprint of Academic Press, it is published by Elsevier. ''Journal of Algebra'' was founded by Graham Higman, who was its editor from 1964 to 1984. From 1985 until 2000, Walter Feit served as its editor-in-chief. In 2004, ''Journal of Algebra'' announced (vol. 276, no. 1 and 2) the creation of a new section on computational algebra, with a separate editorial board. The first issue completely devoted to computational algebra was vol. 292, no. 1 (October 2005). The Editor-in-Chief of the ''Journal of Algebra'' is Michel Broué, Université Paris Diderot, and Gerhard Hiß, Rheinisch-Westfälische Technische Hochschule Aachen ( RWTH) is Editor of the computational algebra section. See also *Susan Montgomery M. Susan Montgomery (born 2 April 1943 in Lansing, MI) is a distinguished American mathematician whose current research interests concern noncommutative algebras: in parti ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |