Rank of an abelian group

In mathematics, the rank, Prüfer rank, or torsion-free rank of an abelian group A is the cardinality of a maximal linearly independent subset. The rank of A determines the size of the largest free abelian group contained in A. If A is torsion-free then it embeds into a vector space over the rational numbers of dimension rank A. For finitely generated abelian groups, rank is a strong invariant and every such group is determined up to isomorphism by its rank and torsion subgroup. Torsion-free abelian groups of rank 1 have been completely classified. However, the theory of abelian groups of higher rank is more involved. The term rank has a different meaning in the context of elementary abelian groups. A subset {aα} of an abelian group A is linearly independent (over Z) if the only linear combination of these elements that is equal to zero is trivial: if where all but finitely many coefficients nα are zero (so that the sum is, in effect, finite), then all coefficients are zero. Any two maximal linearly independent sets in A have the same cardinality, which is called the rank of A. The rank of an abelian group is analogous to the dimension of a vector space. The main difference with the case of vector space is a presence of torsion. An element of an abelian group A is classified as torsion if its order is finite. The set of all torsion elements is a subgroup, called the torsion subgroup and denoted T(A). A group is called torsion-free if it has no non-trivial torsion elements. The factor-group A/T(A) is the unique maximal torsion-free quotient of A and its rank coincides with the rank of A. The notion of rank with analogous properties can be defined for modules over any integral domain, the case of abelian groups corresponding to modules over Z. For this, see finitely generated module#Generic rank. The rank of an abelian group A coincides with the dimension of the Q-vector space A ⊗ Q. If A is torsion-free then the canonical map A → A ⊗ Q is injective and the rank of A is the minimum dimension of Q-vector space containing A as an abelian subgroup.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (24)

Related people (4)

Related units (3)

Related concepts (12)

Related courses (1)

Related lectures (32)

Torsion (algebra)

In mathematics, specifically in ring theory, a torsion element is an element of a module that yields zero when multiplied by some non-zero-divisor of the ring. The torsion submodule of a module is the submodule formed by the torsion elements. A torsion module is a module that equals its torsion submodule. A module is torsion-free if its torsion submodule comprises only the zero element. This terminology is more commonly used for modules over a domain, that is, when the regular elements of the ring are all its nonzero elements.

Torsion subgroup

In the theory of abelian groups, the torsion subgroup AT of an abelian group A is the subgroup of A consisting of all elements that have finite order (the torsion elements of A). An abelian group A is called a torsion group (or periodic group) if every element of A has finite order and is called torsion-free if every element of A except the identity is of infinite order. The proof that AT is closed under the group operation relies on the commutativity of the operation (see examples section).

Free abelian group

In mathematics, a free abelian group is an abelian group with a basis. Being an abelian group means that it is a set with an addition operation that is associative, commutative, and invertible. A basis, also called an integral basis, is a subset such that every element of the group can be uniquely expressed as an integer combination of finitely many basis elements. For instance the two-dimensional integer lattice forms a free abelian group, with coordinatewise addition as its operation, and with the two points (1,0) and (0,1) as its basis.

A Lemma: Introduction to Homology Groups MATH-323: Topology III - Homology

Introduces the concept of homology groups and focuses on a lemma about free abelian groups.

Free Abelian Groups: Group Theory MATH-211: Group Theory

Explores the concept of free abelian groups as an important left adjoint functor.

Endomorphisms and automorphisms of totally disconnected locally compact groups V

Explores endomorphisms and automorphisms of totally disconnected locally compact groups, emphasizing surjective homomorphisms and free abelian groups.

MATH-211: Group Theory

Après une introduction à la théorie des catégories, nous appliquerons la théorie générale au cas particulier des groupes, ce qui nous permettra de bien mettre en perspective des notions telles que quo

Moments of the number of points in a bounded set for number field lattices

Maryna Viazovska, Nihar Prakash Gargava, Vlad Serban

We examine the moments of the number of lattice points in a fixed ball of volume

V

for lattices in Euclidean space which are modules over the ring of integers of a number field

K

. In particular, denoting by

ω_K

the number of roots of unity in

K

, we ...

arXiv2023

Generic direct summands of tensor products for simple algebraic groups and quantum groups at roots of unity

Jonathan Gruber

Let G be either a simple linear algebraic group over an algebraically closed field of characteristic l>0 or a quantum group at an l-th root of unity. The category Rep(G) of finite-dimensional G-modules is non-semisimple. In this thesis, we develop new tech ...

EPFL2022

Multiplicity-free representations of algebraic groups II

Donna Testerman, Martin W. Liebeck

We continue our work, started in [9], on the program of classifying triples (X, Y, V), where X, Yare simple algebraic groups over an algebraically closed field of characteristic zero with X < Y, and Vis an irreducible module for Y such that the restriction ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2022