|
Elementary Group
In algebra, more specifically group theory, a ''p''-elementary group is a direct product of a finite cyclic group of order relatively prime to ''p'' and a ''p''-group. A finite group is an elementary group if it is ''p''-elementary for some prime number ''p''. An elementary group is nilpotent. Brauer's theorem on induced characters states that a character on a finite group is a linear combination with integer coefficients of characters induced from elementary subgroups. More generally, a finite group ''G'' is called a ''p''-hyperelementary if it has the extension :1 \longrightarrow C \longrightarrow G \longrightarrow P \longrightarrow 1 where C is cyclic of order prime to ''p'' and ''P'' is a ''p''-group. Not every hyperelementary group is elementary: for instance the non-abelian group of order 6 is 2-hyperelementary, but not 2-elementary. See also * Elementary abelian group In mathematics, specifically in group theory, an elementary abelian group (or elementary abelian ''p'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebra
Algebra () is one of the broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathematics. Elementary algebra deals with the manipulation of variables (commonly represented by Roman letters) as if they were numbers and is therefore essential in all applications of mathematics. Abstract algebra is the name given, mostly in education, to the study of algebraic structures such as groups, rings, and fields (the term is no more in common use outside educational context). Linear algebra, which deals with linear equations and linear mappings, is used for modern presentations of geometry, and has many practical applications (in weather forecasting, for example). There are many areas of mathematics that belong to algebra, some having "algebra" in their name, such as commutative algebra, and some not, such as Galois theory. The word ''algebra'' is ... [...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 ce ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Direct Product Of Groups
In mathematics, specifically in group theory, the direct product is an operation that takes two groups and and constructs a new group, usually denoted . This operation is the group-theoretic analogue of the Cartesian product of sets and is one of several important notions of direct product in mathematics. In the context of abelian groups, the direct product is sometimes referred to as the direct sum, and is denoted G \oplus H. Direct sums play an important role in the classification of abelian groups: according to the fundamental theorem of finite abelian groups, every finite abelian group can be expressed as the direct sum of cyclic groups. Definition Given groups (with operation ) and (with operation ), the direct product is defined as follows: The resulting algebraic object satisfies the axioms for a group. Specifically: ;Associativity: The binary operation on is associative. ;Identity: The direct product has an identity element, namely , where is the identity e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Finite Group
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] |
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] |
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 has th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
P-group
In mathematics, specifically group theory, given a prime number ''p'', a ''p''-group is a group in which the order of every element is a power of ''p''. That is, for each element ''g'' of a ''p''-group ''G'', there exists a nonnegative integer ''n'' such that the product of ''pn'' copies of ''g'', and not fewer, is equal to the identity element. The orders of different elements may be different powers of ''p''. Abelian ''p''-groups are also called ''p''-primary or simply primary. A finite group is a ''p''-group if and only if its order (the number of its elements) is a power of ''p''. Given a finite group ''G'', the Sylow theorems guarantee the existence of a subgroup of ''G'' of order ''pn'' for every prime power ''pn'' that divides the order of ''G''. Every finite ''p''-group is nilpotent. The remainder of this article deals with finite ''p''-groups. For an example of an infinite abelian ''p''-group, see Prüfer group, and for an example of an infinite simple ''p''-grou ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Prime Number
A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only ways of writing it as a product, or , involve 5 itself. However, 4 is composite because it is a product (2 × 2) in which both numbers are smaller than 4. Primes are central in number theory because of the fundamental theorem of arithmetic: every natural number greater than 1 is either a prime itself or can be factorized as a product of primes that is unique up to their order. The property of being prime is called primality. A simple but slow method of checking the primality of a given number n, called trial division, tests whether n is a multiple of any integer between 2 and \sqrt. Faster algorithms include the Miller–Rabin primality test, which is fast but has a small chance of error, and the AKS primality test, which always pr ... [...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 followi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Brauer's Theorem On Induced Characters
Brauer's theorem on induced characters, often known as Brauer's induction theorem, and named after Richard Brauer, is a basic result in the branch of mathematics known as character theory, within representation theory of a finite group. Background A precursor to Brauer's induction theorem was Artin's induction theorem, which states that , ''G'', times the trivial character of ''G'' is an integer combination of characters which are each induced from trivial characters of cyclic subgroups of ''G.'' Brauer's theorem removes the factor , ''G'', , but at the expense of expanding the collection of subgroups used. Some years after the proof of Brauer's theorem appeared, J.A. Green showed (in 1955) that no such induction theorem (with integer combinations of characters induced from linear characters) could be proved with a collection of subgroups smaller than the Brauer elementary subgroups. Another result between Artin's induction theorem and Brauer's induction theorem, also due to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Induced Character
In mathematics, an induced character is the character of the representation ''V'' of a finite group ''G'' induced from a representation ''W'' of a subgroup ''H'' ≤ ''G''. More generally, there is also a notion of induction \operatorname(f) of a class function ''f'' on ''H'' given by the formula :\operatorname(f)(s) = \frac \sum_ f(t^ st). If ''f'' is a character of the representation ''W'' of ''H'', then this formula for \operatorname(f) calculates the character of the induced representation ''V'' of ''G''.. Translated from the second French edition by Leonard L. Scott. The basic result on induced characters is Brauer's theorem on induced characters Brauer's theorem on induced characters, often known as Brauer's induction theorem, and named after Richard Brauer, is a basic result in the branch of mathematics known as character theory, within representation theory of a finite group. Backgrou .... It states that every irreducible character on ''G'' is a linear combination w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Extension
In mathematics, a group extension is a general means of describing a group in terms of a particular normal subgroup and quotient group. If Q and N are two groups, then G is an extension of Q by N if there is a short exact sequence :1\to N\;\overset\;G\;\overset\;Q \to 1. If G is an extension of Q by N, then G is a group, \iota(N) is a normal subgroup of G and the quotient group G/\iota(N) is isomorphic to the group Q. Group extensions arise in the context of the extension problem, where the groups Q and N are known and the properties of G are to be determined. Note that the phrasing "G is an extension of N by Q" is also used by some. Since any finite group G possesses a maximal normal subgroup N with simple factor group G/N, all finite groups may be constructed as a series of extensions with finite simple groups. This fact was a motivation for completing the classification of finite simple groups. An extension is called a central extension if the subgroup N lies in the center o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
