Search results
Results From The WOW.Com Content Network
The case with an elliptic curve and the field of rational numbers is Mordell's theorem, answering a question apparently posed by Henri Poincaré around 1901; it was proved by Louis Mordell in 1922. It is a foundational theorem of Diophantine geometry and the arithmetic of abelian varieties .
This is the fundamental theorem of finitely generated abelian groups. The existence of algorithms for Smith normal form shows that the fundamental theorem of finitely generated abelian groups is not only a theorem of abstract existence, but provides a way for computing expression of finitely generated abelian groups as direct sums. [14]: 26–27
The main structure theorem about this group is the Mordell–Weil theorem which shows this group is in fact a finitely-generated abelian group. Moreover, there are many conjectures related to this group, such as the Birch and Swinnerton-Dyer conjecture which relates the rank of A ( K ) {\displaystyle A(K)} to the zero of the associated L ...
The fundamental theorem of finitely generated abelian groups can be stated two ways, generalizing the two forms of the fundamental theorem of finite abelian groups. The theorem, in both forms, in turn generalizes to the structure theorem for finitely generated modules over a principal ideal domain, which in turn admits further generalizations.
In mathematics, specifically in group theory, the direct product is an operation that takes two groups G and H and constructs a new group, usually denoted G × H.This operation is the group-theoretic analogue of the Cartesian product of sets and is one of several important notions of direct product in mathematics.
Every set can be the basis of a free abelian group, which is unique up to group isomorphisms. The free abelian group for a given basis set can be constructed in several different but equivalent ways: as a direct sum of copies of the integers, as a family of integer-valued functions, as a signed multiset, or by a presentation of a group.
An object in Ab is injective if and only if it is a divisible group; it is projective if and only if it is a free abelian group. The category has a projective generator (Z) and an injective cogenerator (Q/Z). Given two abelian groups A and B, their tensor product A⊗B is defined; it is again an abelian group.
This alternative is true for Gaussian distributions on connected groups of finite dimension ([2] [3]). The following theorem is valid ([5]), which can be considered as an analogue of Cramer's theorem on the decomposition of the normal distribution for locally compact Abelian groups.