Čech cohomologyIn mathematics, specifically algebraic topology, Čech cohomology is a cohomology theory based on the intersection properties of open covers of a topological space. It is named for the mathematician Eduard Čech. Let X be a topological space, and let be an open cover of X. Let denote the nerve of the covering. The idea of Čech cohomology is that, for an open cover consisting of sufficiently small open sets, the resulting simplicial complex should be a good combinatorial model for the space X.
Subgroup seriesIn mathematics, specifically group theory, a subgroup series of a group is a chain of subgroups: where is the trivial subgroup. Subgroup series can simplify the study of a group to the study of simpler subgroups and their relations, and several subgroup series can be invariantly defined and are important invariants of groups. A subgroup series is used in the subgroup method. Subgroup series are a special example of the use of filtrations in abstract algebra.
Category of abelian groupsIn mathematics, the Ab has the abelian groups as and group homomorphisms as morphisms. This is the prototype of an : indeed, every can be embedded in Ab. The zero object of Ab is the trivial group {0} which consists only of its neutral element. The monomorphisms in Ab are the injective group homomorphisms, the epimorphisms are the surjective group homomorphisms, and the isomorphisms are the bijective group homomorphisms. Ab is a of Grp, the .
Noetherian ringIn mathematics, a Noetherian ring is a ring that satisfies the ascending chain condition on left and right ideals; if the chain condition is satisfied only for left ideals or for right ideals, then the ring is said left-Noetherian or right-Noetherian respectively. That is, every increasing sequence of left (or right) ideals has a largest element; that is, there exists an n such that: Equivalently, a ring is left-Noetherian (resp. right-Noetherian) if every left ideal (resp. right-ideal) is finitely generated.
Killing formIn mathematics, the Killing form, named after Wilhelm Killing, is a symmetric bilinear form that plays a basic role in the theories of Lie groups and Lie algebras. Cartan's criteria (criterion of solvability and criterion of semisimplicity) show that Killing form has a close relationship to the semisimplicity of the Lie algebras. The Killing form was essentially introduced into Lie algebra theory by in his thesis.
Galois groupIn mathematics, in the area of abstract algebra known as Galois theory, the Galois group of a certain type of field extension is a specific group associated with the field extension. The study of field extensions and their relationship to the polynomials that give rise to them via Galois groups is called Galois theory, so named in honor of Évariste Galois who first discovered them. For a more elementary discussion of Galois groups in terms of permutation groups, see the article on Galois theory.
Pre-abelian categoryIn mathematics, specifically in , a pre-abelian category is an that has all and . Spelled out in more detail, this means that a category C is pre-abelian if: C is , that is over the of abelian groups (equivalently, all hom-sets in C are abelian groups and composition of morphisms is bilinear); C has all finite (equivalently, all finite coproducts); note that because C is also preadditive, finite products are the same as finite coproducts, making them biproducts; given any morphism f: A → B in C, the equaliser of f and the zero morphism from A to B exists (this is by definition the kernel of f), as does the coequaliser (this is by definition the cokernel of f).
Lie algebra cohomologyIn mathematics, Lie algebra cohomology is a cohomology theory for Lie algebras. It was first introduced in 1929 by Élie Cartan to study the topology of Lie groups and homogeneous spaces by relating cohomological methods of Georges de Rham to properties of the Lie algebra. It was later extended by to coefficients in an arbitrary Lie module. If is a compact simply connected Lie group, then it is determined by its Lie algebra, so it should be possible to calculate its cohomology from the Lie algebra.
K-theoryIn mathematics, K-theory is, roughly speaking, the study of a ring generated by vector bundles over a topological space or scheme. In algebraic topology, it is a cohomology theory known as topological K-theory. In algebra and algebraic geometry, it is referred to as algebraic K-theory. It is also a fundamental tool in the field of operator algebras. It can be seen as the study of certain kinds of invariants of large matrices.
Triangulated categoryIn mathematics, a triangulated category is a with the additional structure of a "translation functor" and a class of "exact triangles". Prominent examples are the of an , as well as the . The exact triangles generalize the short exact sequences in an abelian category, as well as fiber sequences and cofiber sequences in topology. Much of homological algebra is clarified and extended by the language of triangulated categories, an important example being the theory of sheaf cohomology.
