SubgroupIn group theory, a branch of mathematics, given a group G under a binary operation ∗, a subset H of G is called a subgroup of G if H also forms a group under the operation ∗. More precisely, H is a subgroup of G if the restriction of ∗ to H × H is a group operation on H. This is often denoted H ≤ G, read as "H is a subgroup of G". The trivial subgroup of any group is the subgroup {e} consisting of just the identity element. A proper subgroup of a group G is a subgroup H which is a proper subset of G (that is, H ≠ G).
Normal subgroupIn abstract algebra, a normal subgroup (also known as an invariant subgroup or self-conjugate subgroup) is a subgroup that is invariant under conjugation by members of the group of which it is a part. In other words, a subgroup of the group is normal in if and only if for all and The usual notation for this relation is Normal subgroups are important because they (and only they) can be used to construct quotient groups of the given group.
Semisimple Lie algebraIn mathematics, a Lie algebra is semisimple if it is a direct sum of simple Lie algebras. (A simple Lie algebra is a non-abelian Lie algebra without any non-zero proper ideals). Throughout the article, unless otherwise stated, a Lie algebra is a finite-dimensional Lie algebra over a field of characteristic 0. For such a Lie algebra , if nonzero, the following conditions are equivalent: is semisimple; the Killing form, κ(x,y) = tr(ad(x)ad(y)), is non-degenerate; has no non-zero abelian ideals; has no non-zero solvable ideals; the radical (maximal solvable ideal) of is zero.
Quasi-algebraically closed fieldIn mathematics, a field F is called quasi-algebraically closed (or C1) if every non-constant homogeneous polynomial P over F has a non-trivial zero provided the number of its variables is more than its degree. The idea of quasi-algebraically closed fields was investigated by C. C. Tsen, a student of Emmy Noether, in a 1936 paper ; and later by Serge Lang in his 1951 Princeton University dissertation and in his 1952 paper . The idea itself is attributed to Lang's advisor Emil Artin.
Simple groupIn mathematics, a simple group is a nontrivial group whose only normal subgroups are the trivial group and the group itself. A group that is not simple can be broken into two smaller groups, namely a nontrivial normal subgroup and the corresponding quotient group. This process can be repeated, and for finite groups one eventually arrives at uniquely determined simple groups, by the Jordan–Hölder theorem. The complete classification of finite simple groups, completed in 2004, is a major milestone in the history of mathematics.
D-moduleIn mathematics, a D-module is a module over a ring D of differential operators. The major interest of such D-modules is as an approach to the theory of linear partial differential equations. Since around 1970, D-module theory has been built up, mainly as a response to the ideas of Mikio Sato on algebraic analysis, and expanding on the work of Sato and Joseph Bernstein on the Bernstein–Sato polynomial. Early major results were the Kashiwara constructibility theorem and Kashiwara index theorem of Masaki Kashiwara.
Topological groupIn mathematics, topological groups are logically the combination of groups and topological spaces, i.e. they are groups and topological spaces at the same time, such that the continuity condition for the group operations connects these two structures together and consequently they are not independent from each other. Topological groups have been studied extensively in the period of 1925 to 1940. Haar and Weil (respectively in 1933 and 1940) showed that the integrals and Fourier series are special cases of a very wide class of topological groups.
Pseudo algebraically closed fieldIn mathematics, a field is pseudo algebraically closed if it satisfies certain properties which hold for algebraically closed fields. The concept was introduced by James Ax in 1967. A field K is pseudo algebraically closed (usually abbreviated by PAC) if one of the following equivalent conditions holds: Each absolutely irreducible variety defined over has a -rational point. For each absolutely irreducible polynomial with and for each nonzero there exists such that and . Each absolutely irreducible polynomial has infinitely many -rational points.
Commutator subgroupIn mathematics, more specifically in abstract algebra, the commutator subgroup or derived subgroup of a group is the subgroup generated by all the commutators of the group. The commutator subgroup is important because it is the smallest normal subgroup such that the quotient group of the original group by this subgroup is abelian. In other words, is abelian if and only if contains the commutator subgroup of . So in some sense it provides a measure of how far the group is from being abelian; the larger the commutator subgroup is, the "less abelian" the group is.
Borel subgroupIn the theory of algebraic groups, a Borel subgroup of an algebraic group G is a maximal Zariski closed and connected solvable algebraic subgroup. For example, in the general linear group GLn (n x n invertible matrices), the subgroup of invertible upper triangular matrices is a Borel subgroup. For groups realized over algebraically closed fields, there is a single conjugacy class of Borel subgroups. Borel subgroups are one of the two key ingredients in understanding the structure of simple (more generally, reductive) algebraic groups, in Jacques Tits' theory of groups with a (B,N) pair.
