|
Young Subgroup
In mathematics, the Young subgroups of the symmetric group S_n are special subgroups that arise in combinatorics and representation theory. When S_n is viewed as the group of permutations of the set \, and if \lambda = (\lambda_1, \ldots, \lambda_\ell) is an integer partition of n, then the Young subgroup S_\lambda indexed by \lambda is defined by S_\lambda = S_ \times S_ \times \cdots \times S_, where S_ denotes the set of permutations of \ and \times denotes the direct product of groups. Abstractly, S_\lambda is isomorphic to the product S_ \times S_ \times \cdots \times S_. Young subgroups are named for Alfred Young. When S_n is viewed as a reflection group, its Young subgroups are precisely its parabolic subgroups. They may equivalently be defined as the subgroups generated by a subset of the adjacent transpositions (1 \ 2), (2 \ 3), \ldots, (n - 1 \ n). In some cases, the name ''Young subgroup'' is used more generally for the product S_ \times \cdots \times S_, where \ i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting poin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Parabolic Subgroup Of A Reflection Group
In the mathematical theory of reflection groups, the parabolic subgroups are a special kind of subgroup. The precise definition of which subgroups are parabolic depends on context—for example, whether one is discussing general Coxeter groups or complex reflection groups—but in all cases the collection of parabolic subgroups exhibits important good behaviors. For example, the parabolic subgroups of a reflection group have a natural indexing set and form a lattice (order), lattice when ordered by inclusion. The different definitions of parabolic subgroups essentially coincide in the case of finite real reflection groups. Parabolic subgroups arise in the theory of algebraic groups, through their connection with Weyl groups. Background: reflection groups In a Euclidean space (such as the Euclidean plane, ordinary three-dimensional space, or their higher-dimensional analogues), a ''reflection (mathematics), reflection'' is a symmetry of the space across a mirror (technically, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Combinatorics
Combinatorics is an area of mathematics primarily concerned with counting, both as a means and an end in obtaining results, and certain properties of finite structures. It is closely related to many other areas of mathematics and has many applications ranging from logic to statistical physics and from evolutionary biology to computer science. Combinatorics is well known for the breadth of the problems it tackles. Combinatorial problems arise in many areas of pure mathematics, notably in algebra, probability theory, topology, and geometry, as well as in its many application areas. Many combinatorial questions have historically been considered in isolation, giving an ''ad hoc'' solution to a problem arising in some mathematical context. In the later twentieth century, however, powerful and general theoretical methods were developed, making combinatorics into an independent branch of mathematics in its own right. One of the oldest and most accessible parts of combinatorics i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Representation Theory
Representation theory is a branch of mathematics that studies abstract algebraic structures by ''representing'' their elements as linear transformations of vector spaces, and studies modules over these abstract algebraic structures. In essence, a representation makes an abstract algebraic object more concrete by describing its elements by matrices and their algebraic operations (for example, matrix addition, matrix multiplication). The theory of matrices and linear operators is well-understood, so representations of more abstract objects in terms of familiar linear algebra objects helps glean properties and sometimes simplify calculations on more abstract theories. The algebraic objects amenable to such a description include groups, associative algebras and Lie algebras. The most prominent of these (and historically the first) is the representation theory of groups, in which elements of a group are represented by invertible matrices in such a way that the group operatio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Transposition (mathematics)
In mathematics, and in particular in group theory, a cyclic permutation (or cycle) is a permutation of the elements of some set ''X'' which maps the elements of some subset ''S'' of ''X'' to each other in a cyclic fashion, while fixing (that is, mapping to themselves) all other elements of ''X''. If ''S'' has ''k'' elements, the cycle is called a ''k''-cycle. Cycles are often denoted by the list of their elements enclosed with parentheses, in the order to which they are permuted. For example, given ''X'' = , the permutation (1, 3, 2, 4) that sends 1 to 3, 3 to 2, 2 to 4 and 4 to 1 (so ''S'' = ''X'') is a 4-cycle, and the permutation (1, 3, 2) that sends 1 to 3, 3 to 2, 2 to 1 and 4 to 4 (so ''S'' = and 4 is a fixed element) is a 3-cycle. On the other hand, the permutation that sends 1 to 3, 3 to 1, 2 to 4 and 4 to 2 is not a cyclic permutation because it separately permutes the pairs and . The set ''S'' is called the orbit of the cycle. Every permutation on finitely many elem ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conjugacy Class
In mathematics, especially group theory, two elements a and b of a group are conjugate if there is an element g in the group such that b = gag^. This is an equivalence relation whose equivalence classes are called conjugacy classes. In other words, each conjugacy class is closed under b = gag^. for all elements g in the group. Members of the same conjugacy class cannot be distinguished by using only the group structure, and therefore share many properties. The study of conjugacy classes of non-abelian groups is fundamental for the study of their structure. For an abelian group, each conjugacy class is a set containing one element (singleton set). Functions that are constant for members of the same conjugacy class are called class functions. Definition Let G be a group. Two elements a, b \in G are conjugate if there exists an element g \in G such that gag^ = b, in which case b is called of a and a is called a conjugate of b. In the case of the general linear group \operat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Disjoint Sets
In mathematics, two sets are said to be disjoint sets if they have no element in common. Equivalently, two disjoint sets are sets whose intersection is the empty set.. For example, and are ''disjoint sets,'' while and are not disjoint. A collection of two or more sets is called disjoint if any two distinct sets of the collection are disjoint. Generalizations This definition of disjoint sets can be extended to a family of sets \left(A_i\right)_: the family is pairwise disjoint, or mutually disjoint if A_i \cap A_j = \varnothing whenever i \neq j. Alternatively, some authors use the term disjoint to refer to this notion as well. For families the notion of pairwise disjoint or mutually disjoint is sometimes defined in a subtly different manner, in that repeated identical members are allowed: the family is pairwise disjoint if A_i \cap A_j = \varnothing whenever A_i \neq A_j (every two ''distinct'' sets in the family are disjoint).. For example, the collection of sets is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Set Partition
In mathematics, a partition of a set is a grouping of its elements into non-empty subsets, in such a way that every element is included in exactly one subset. Every equivalence relation on a set defines a partition of this set, and every partition defines an equivalence relation. A set equipped with an equivalence relation or a partition is sometimes called a setoid, typically in type theory and proof theory. Definition and Notation A partition of a set ''X'' is a set of non-empty subsets of ''X'' such that every element ''x'' in ''X'' is in exactly one of these subsets (i.e., ''X'' is a disjoint union of the subsets). Equivalently, a family of sets ''P'' is a partition of ''X'' if and only if all of the following conditions hold: *The family ''P'' does not contain the empty set (that is \emptyset \notin P). *The union of the sets in ''P'' is equal to ''X'' (that is \textstyle\bigcup_ A = X). The sets in ''P'' are said to exhaust or cover ''X''. See also collectively exh ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Adjacent Transposition
In mathematics, and in particular in group theory, a cyclic permutation (or cycle) is a permutation of the elements of some set ''X'' which maps the elements of some subset ''S'' of ''X'' to each other in a cyclic fashion, while fixing (that is, mapping to themselves) all other elements of ''X''. If ''S'' has ''k'' elements, the cycle is called a ''k''-cycle. Cycles are often denoted by the list of their elements enclosed with parentheses, in the order to which they are permuted. For example, given ''X'' = , the permutation (1, 3, 2, 4) that sends 1 to 3, 3 to 2, 2 to 4 and 4 to 1 (so ''S'' = ''X'') is a 4-cycle, and the permutation (1, 3, 2) that sends 1 to 3, 3 to 2, 2 to 1 and 4 to 4 (so ''S'' = and 4 is a fixed element) is a 3-cycle. On the other hand, the permutation that sends 1 to 3, 3 to 1, 2 to 4 and 4 to 2 is not a cyclic permutation because it separately permutes the pairs and . The set ''S'' is called the orbit of the cycle. Every permutation on finitely many elem ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reflection Group
In group theory and geometry, a reflection group is a discrete group which is generated by a set of reflections of a finite-dimensional Euclidean space. The symmetry group of a regular polytope or of a tiling of the Euclidean space by congruent copies of a regular polytope is necessarily a reflection group. Reflection groups also include Weyl groups and crystallographic Coxeter groups. While the orthogonal group is generated by reflections (by the Cartan–Dieudonné theorem), it is a continuous group (indeed, Lie group), not a discrete group, and is generally considered separately. Definition Let ''E'' be a finite-dimensional Euclidean space. A finite reflection group is a subgroup of the general linear group of ''E'' which is generated by a set of orthogonal reflections across hyperplanes passing through the origin. An affine reflection group is a discrete subgroup of the affine group of ''E'' that is generated by a set of ''affine reflections'' of ''E'' (without the requi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symmetric Group
In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group \mathrm_n defined over a finite set of n symbols consists of the permutations that can be performed on the n symbols. Since there are n! (n factorial) such permutation operations, the order (number of elements) of the symmetric group \mathrm_n is n!. Although symmetric groups can be defined on infinite sets, this article focuses on the finite symmetric groups: their applications, their elements, their conjugacy classes, a finite presentation, their subgroups, their automorphism groups, and their representation theory. For the remainder of this article, "symmetric group" will mean a symmetric group on a finite set. The symmetric group is important to diverse areas of mathematics such as Galois theory, invariant theory, the represen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alfred Young (mathematician)
Alfred Young, FRS (16 April 1873 – 15 December 1940) was a British mathematician. He was born in Widnes, Lancashire, England, and educated at Monkton Combe School in Somerset and Clare College, Cambridge, graduating BA as 10th Wrangler in 1895. He is known for his work in the area of group theory. Both Young diagrams and Young tableaux (which he introduced in 1900) are named after him. Young was appointed to the position of lecturer at Selwyn College, Cambridge, in 1901, transferring to Clare College in 1905. In 1902 he collaborated with John Hilton Grace on the book ''The Algebra of Invariants''. In 1907 he married Edith Clara ''née'' Wilson. In 1908 he became an ordained clergyman, and in 1910 became parish priest at Birdbrook in Essex, a village 25 miles east of Cambridge. He lived there for the rest of his life, but in 1926 began lecturing once again at Cambridge. Most of his long series of papers on invariant theory and the symmetric group were written while he w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
