Search Results for ""

If there exists a one-to-one correspondence between two subgroups and subfields such that G(E(G^')) = G^' (1) E(G(E^')) = E^', (2) then E is said to have a Galois theory. A ...

A minimal free resolution of a finitely generated graded module M over a commutative Noetherian Z-graded ring R in which all maps are homogeneous module homomorphisms, i.e., ...

The term "gradient" has several meanings in mathematics. The simplest is as a synonym for slope. The more general gradient, called simply "the" gradient in vector analysis, ...

A group homomorphism is a map f:G->H between two groups such that the group operation is preserved:f(g_1g_2)=f(g_1)f(g_2) for all g_1,g_2 in G, where the product on the ...

A presentation of a group is a description of a set I and a subset R of the free group F(I) generated by I, written <(x_i)_(i in I)|(r)_(r in R)>, where r=1 (the identity ...

The upper central series of a group G is the sequence of groups (each term normal in the term following it) 1=Z_0<=Z_1<=Z_2<=...<=Z_n<=... that is constructed in the ...

The Cartesian product of a countable infinity of copies of the interval [0,1]. It can be denoted [0,1]^(aleph_0) or [0,1]^omega, where aleph_0 and omega are the first ...

Given two modules M and N over a unit ring R, Hom_R(M,N) denotes the set of all module homomorphisms from M to N. It is an R-module with respect to the addition of maps, ...

A non-zero module which is not the direct sum of two of its proper submodules. The negation of indecomposable is, of course, decomposable. An abstract vector space is ...

A nonzero module M over a ring R whose only submodules are the module itself and the zero module. It is also called a simple module, and in fact this is the name more ...