|
Virtually
In mathematics, especially in the area of abstract algebra that studies infinite groups, the adverb virtually is used to modify a property so that it need only hold for a subgroup of finite index. Given a property P, the group ''G'' is said to be ''virtually P'' if there is a finite index subgroup H \le G such that ''H'' has property P. Common uses for this would be when P is abelian, nilpotent, solvable or free. For example, virtually solvable groups are one of the two alternatives in the Tits alternative, while Gromov's theorem states that the finitely generated groups with polynomial growth are precisely the finitely generated virtually nilpotent groups. This terminology is also used when P is just another group. That is, if ''G'' and ''H'' are groups then ''G'' is ''virtually'' ''H'' if ''G'' has a subgroup ''K'' of finite index in ''G'' such that ''K'' is isomorphic to ''H''. In particular, a group is virtually trivial if and only if it is finite. Two groups are vir ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Index Of A Subgroup
In mathematics, specifically group theory, the index of a subgroup ''H'' in a group ''G'' is the number of left Coset, cosets of ''H'' in ''G'', or equivalently, the number of right cosets of ''H'' in ''G''. The index is denoted , G:H, or [G:H] or (G:H). Because ''G'' is the disjoint union of the left cosets and because each left coset has the same cardinality, size as ''H'', the index is related to the order (group theory), orders of the two groups by the formula :, G, = , G:H, , H, (interpret the quantities as cardinal numbers if some of them are infinite). Thus the index , G:H, measures the "relative sizes" of ''G'' and ''H''. For example, let G = \Z be the group of integers under addition, and let H = 2\Z be the subgroup consisting of the Parity (mathematics), even integers. Then 2\Z has two cosets in \Z, namely the set of even integers and the set of odd integers, so the index , \Z:2\Z, is 2. More generally, , \Z:n\Z, = n for any positive integer ''n''. When ''G'' i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Solvable Group
In mathematics, more specifically in the field of group theory, a solvable group or soluble group is a group that can be constructed from abelian groups using extensions. Equivalently, a solvable group is a group whose derived series terminates in the trivial subgroup. Motivation Historically, the word "solvable" arose from Galois theory and the proof of the general unsolvability of quintic equations. Specifically, a polynomial equation is solvable in radicals if and only if the corresponding Galois group is solvable (note this theorem holds only in characteristic 0). This means associated to a polynomial f \in F /math> there is a tower of field extensionsF = F_0 \subseteq F_1 \subseteq F_2 \subseteq \cdots \subseteq F_m=Ksuch that # F_i = F_ alpha_i/math> where \alpha_i^ \in F_, so \alpha_i is a solution to the equation x^ - a where a \in F_ # F_m contains a splitting field for f(x) Example The smallest Galois field extension of \mathbb containing the elementa = \sqr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cyclic Group
In abstract algebra, a cyclic group or monogenous group is a Group (mathematics), group, denoted C_n (also frequently \Z_n or Z_n, not to be confused with the commutative ring of P-adic number, -adic numbers), that is Generating set of a group, generated by a single element. That is, it is a set (mathematics), set of Inverse element, 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 Exponentiation, power of g in multiplicative notation, or as an integer multiple of g in additive notation. This element g is called a ''Generating set of a group, generator'' of the group. Every infinite cyclic group is isomorphic to the additive group \Z, the integers. Every finite cyclic group of Order (group theory), order n is isomorphic to the additive group of Quotient group, Z/''n''Z, the in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semidirect Product
In mathematics, specifically in group theory, the concept of a semidirect product is a generalization of a direct product. It is usually denoted with the symbol . There are two closely related concepts of semidirect product: * an ''inner'' semidirect product is a particular way in which a group can be made up of two subgroups, one of which is a normal subgroup. * an ''outer'' semidirect product is a way to construct a new group from two given groups by using the Cartesian product as a set and a particular multiplication operation. As with direct products, there is a natural equivalence between inner and outer semidirect products, and both are commonly referred to simply as ''semidirect products''. For finite groups, the Schur–Zassenhaus theorem provides a sufficient condition for the existence of a decomposition as a semidirect product (also known as splitting extension). Inner semidirect product definitions Given a group with identity element , a subgroup , and a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Schreier Index Formula
Schreier is a surname of German language, German origin. Notable people with the surname include: *Christian Schreier (born 1959), German footballer *Dan Moses Schreier, American sound designer and composer *Jake Schreier (born 1981), American director *Józef Schreier (1909–1943), Polish mathematician *Otto Schreier (1901–1929), Austrian mathematician *Peter Schreier (1935–2019), German tenor and conductor *Richard Schreier, Canadian engineer *Sandy Schreier, American fashion historian and collector *Jason Schreier (born 1987), American journalist and author See also * Schreyer * Shrayer * Shroyer, Pennsylvania German form * Shrier, Americanized version {{surname German-language surnames ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nielsen–Schreier Theorem
In group theory, a branch of mathematics, the Nielsen–Schreier theorem states that every subgroup of a free group is itself free. It is named after Jakob Nielsen and Otto Schreier. Statement of the theorem A free group may be defined from a group presentation consisting of a set of generators with no relations. That is, every element is a product of some sequence of generators and their inverses, but these elements do not obey any equations except those trivially following from = 1. The elements of a free group may be described as all possible reduced words, those strings of generators and their inverses in which no generator is adjacent to its own inverse. Two reduced words may be multiplied by concatenating them and then removing any generator-inverse pairs that result from the concatenation. The Nielsen–Schreier theorem states that if ''H'' is a subgroup of a free group ''G'', then ''H'' is itself isomorphic to a free group. That is, there exists a set ''S'' of element ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stallings Theorem About Ends Of Groups
In the mathematical subject of group theory, the Stallings theorem about ends of groups states that a finitely generated group G has more than one end if and only if the group ''G'' admits a nontrivial decomposition as an amalgamated free product or an HNN extension over a finite subgroup. In the modern language of Bass–Serre theory the theorem says that a finitely generated group G has more than one end if and only if G admits a nontrivial (that is, without a global fixed point) action on a simplicial tree with finite edge-stabilizers and without edge-inversions. The theorem was proved by John R. Stallings, first in the torsion-free case (1968) and then in the general case (1971). Ends of graphs Let \Gamma be a connected graph where the degree of every vertex is finite. One can view \Gamma as a topological space by giving it the natural structure of a one-dimensional cell complex. Then the ends of \Gamma are the ends of this topological space. A more explicit definition ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Modular Group
In mathematics, the modular group is the projective special linear group \operatorname(2,\mathbb Z) of 2\times 2 matrices with integer coefficients and determinant 1, such that the matrices A and -A are identified. The modular group acts on the upper-half of the complex plane by linear fractional transformations. The name "modular group" comes from the relation to moduli spaces, and not from modular arithmetic. Definition The modular group is the group of fractional linear transformations of the complex upper half-plane, which have the form :z\mapsto\frac, where a,b,c,d are integers, and ad-bc=1. The group operation is function composition. This group of transformations is isomorphic to the projective special linear group \operatorname(2,\mathbb Z), which is the quotient of the 2-dimensional special linear group \operatorname(2,\mathbb Z) by its center \. In other words, \operatorname(2,\mathbb Z) consists of all matrices :\begin a & b \\ c & d \end where a,b, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Free Product
In mathematics, specifically group theory, the free product is an operation that takes two groups ''G'' and ''H'' and constructs a new The result contains both ''G'' and ''H'' as subgroups, is generated by the elements of these subgroups, and is the “ universal” group having these properties, in the sense that any two homomorphisms from ''G'' and ''H'' into a group ''K'' factor uniquely through a homomorphism from to ''K''. Unless one of the groups ''G'' and ''H'' is trivial, the free product is always infinite. The construction of a free product is similar in spirit to the construction of a free group (the universal group with a given set of generators). The free product is the coproduct in the category of groups. That is, the free product plays the same role in group theory that disjoint union plays in set theory, or that the direct sum plays in module theory. Even if the groups are commutative, their free product is not, unless one of the two groups is the trivial ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Free Group
In mathematics, the free group ''F''''S'' over a given set ''S'' consists of all words that can be built from members of ''S'', considering two words to be different unless their equality follows from the group axioms (e.g. ''st'' = ''suu''−1''t'' but ''s'' ≠ ''t''−1 for ''s'',''t'',''u'' ∈ ''S''). The members of ''S'' are called generators of ''F''''S'', and the number of generators is the rank of the free group. An arbitrary group ''G'' is called free if it is isomorphic to ''F''''S'' for some subset ''S'' of ''G'', that is, if there is a subset ''S'' of ''G'' such that every element of ''G'' can be written in exactly one way as a product of finitely many elements of ''S'' and their inverses (disregarding trivial variations such as ''st'' = ''suu''−1''t''). A related but different notion is a free abelian group; both notions are particular instances of a free object from universal algebra. As such, free groups are defined by their universal property. History ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Generalized Dihedral Group
In mathematics, the generalized dihedral groups are a family of groups with algebraic structures similar to that of the dihedral groups. They include the finite dihedral groups, the infinite dihedral group, and the orthogonal group ''O''(2). Dihedral groups play an important role in group theory, geometry, and chemistry. Definition For any abelian group ''H'', the generalized dihedral group of ''H'', written Dih(''H''), is the semidirect product of ''H'' and Z2, with Z2 acting on ''H'' by inverting elements. I.e., \mathrm(H) = H \rtimes_\phi Z_2 with φ(0) the identity and φ(1) inversion. Thus we get: :(''h''1, 0) * (''h''2, ''t''2) = (''h''1 + ''h''2, ''t''2) :(''h''1, 1) * (''h''2, ''t''2) = (''h''1 − ''h''2, 1 + ''t''2) for all ''h''1, ''h''2 in ''H'' and ''t''2 in Z2. (Writing Z2 multiplicatively, we have (''h''1, ''t''1) * (''h''2, ''t''2) = (''h''1 + ''t''1''h''2, ''t''1''t''2) .) Note that (''h'', 0) * (0,1) = (''h'',1), i.e. first the inversion and then the ope ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
