1 Basic definition

Free rank is a numerical invariant that measures the size of the largest free part that can be split off from an algebraic object. The exact definition depends on the setting, but the guiding idea is the same: it records how many independent free generators can be found inside the object in a direct-summand sense or, in some contexts, as a maximal free substructure.

For many purposes, free rank is used to distinguish the “free” component of an object from its torsion or otherwise nonfree component. It is especially useful when an object admits a decomposition into a free piece and a remainder with different structure.

1.1 Free rank for modules

For a module over a ring, free rank typically refers to the largest cardinality of a free submodule that can be embedded as a direct summand. When the module is finitely generated over a commutative ring with suitable decomposition properties, this may coincide with the number of copies of the ring appearing in a decomposition.

In common situations, a module of free rank \(n\) contains a submodule isomorphic to \(R^n\), where \(R\) is the base ring, and this submodule is maximal with respect to inclusion among free direct summands. The notion is most transparent over rings where free modules are well behaved, such as principal ideal domains.

1.2 Free rank for abelian groups

For an abelian group, free rank usually means the number of copies of \(\mathbb{Z}\) that occur in the largest free direct summand. Equivalently, it is the rank of the largest free abelian subgroup that splits off from the group.

In finitely generated cases, this free rank is the same as the number of infinite cyclic factors in the standard decomposition theorem. Thus a group like \(\mathbb{Z}^r \oplus T\), where \(T\) is finite, has free rank \(r\).

1.3 Free rank in group theory

In group theory, the phrase free rank may also appear in contexts involving free products, free subgroups, or decompositions into a free factor and a complementary factor. The intended meaning is usually the size of the free part of the group in the relevant decomposition.

For example, in a group that splits as a free product with a free group factor, the free rank measures the rank of that free factor. The definition is therefore context-dependent and should be interpreted relative to the structural theorem being used.

1.4 Comparison with other notions of rank

Free rank differs from other rank notions that measure dimension after extension of scalars, growth of subgroups, or maximal independent sets in a more general sense. In module theory, “rank” often refers to the dimension after tensoring with a field of fractions or a suitable localization, while free rank emphasizes an actual free summand rather than only a generic dimension.

Because of this, free rank can be smaller than an abstract rank invariant if the object contains non-splitting torsion-free parts or other complications. The distinction becomes important in nonprincipal rings and in objects without clean decomposition theorems.

2 Fundamental examples

2.1 Free modules

A free module \(R^n\) has free rank \(n\). This is the basic case and serves as the model for the invariant. Every basis element contributes one unit to the free rank, and no larger free direct summand exists.

For infinitely generated free modules, the free rank is the corresponding cardinality of a basis. In such cases, the invariant records the full size of the free structure.

2.2 Finitely generated abelian groups

A finitely generated abelian group decomposes as \[ \mathbb{Z}^r \oplus T, \] where \(T\) is finite. The free rank is \(r\). This number captures the part of the group that behaves like a lattice rather than a finite torsion object.

For example, \(\mathbb{Z}^2 \oplus \mathbb{Z}/6\mathbb{Z}\) has free rank \(2\), while \(\mathbb{Z}/12\mathbb{Z}\) has free rank \(0\).

2.3 Torsion modules and zero free rank

A torsion module often has free rank \(0\), since it contains no nonzero free direct summand. Every element is annihilated by some nonzero scalar, so no copy of the base ring can split off freely.

This case highlights the contrast between free and nonfree behavior. A torsion object may still be large or complicated, but it has no free component in the sense measured by free rank.

2.4 Mixed decomposition examples

Mixed examples combine free and nonfree parts. A module such as \(R^3 \oplus M\), where \(M\) has no free direct summand, has free rank \(3\). Similarly, an abelian group like \(\mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Q}/\mathbb{Z}\) has free rank \(1\), provided the free factor splits as a direct summand in the decomposition under consideration.

These examples show that free rank isolates the largest stable free component even when additional summands are present.

3 Properties

3.1 Invariance under isomorphism

Free rank is invariant under isomorphism. If two modules or groups are isomorphic, then they have the same maximal free direct summand size. This follows because an isomorphism preserves decomposition types and the existence of free subobjects.

As a result, free rank is a genuine structural invariant rather than a property of a particular presentation.

3.2 Behavior under direct sums

For direct sums, free rank is typically additive when the category and decomposition theory permit a clean splitting. If two objects each have free direct summands, then the direct sum has a free rank at least as large as the sum of those free ranks.

In standard settings such as finitely generated abelian groups, the free rank of a direct sum equals the sum of the free ranks of the summands. This reflects the fact that free components combine without interference.

3.3 Behavior under submodules and quotients

A submodule may have free rank smaller than or equal to that of the ambient module, but the relationship depends on whether the inclusion respects direct summands. A quotient can reduce free rank by collapsing part of the free structure, though some quotient maps leave it unchanged.

The invariant is therefore not monotone in the simplest possible way across all subobjects and factor objects. Its behavior is most predictable under exact decompositions and split sequences.

3.4 Relation to torsion subobjects

Free rank is complementary to torsion-related structure. In many familiar cases, an object can be viewed as having a free part plus a torsion part, and the free rank measures the size of the former.

However, not every torsion-free object is free, and not every decomposition into free and torsion components is available in arbitrary settings. Free rank captures only the split free portion, not all torsion-free behavior.

4 Computation

4.1 Using decomposition theorems

The most effective way to compute free rank is through a decomposition theorem that isolates free direct summands. Once an object is written as a direct sum of a free part and a complementary part, the free rank is read off from the number of free generators.

This method is especially useful in classifications of finitely generated modules over well-behaved rings and in the structure theory of finitely generated abelian groups.

4.2 Computation over principal ideal domains

Over a principal ideal domain, finitely generated modules decompose into a free part and a torsion part. The free rank is the number of copies of the ring in that decomposition.

If a module is presented by generators and relations, one can often compute the free rank by diagonalizing the relation matrix into Smith normal form. The number of zero diagonal entries corresponds to the free rank.

4.3 Computation for finitely generated abelian groups

For a finitely generated abelian group, the free rank is obtained from the standard decomposition into cyclic factors. The number of infinite cyclic summands equals the free rank.

In practical terms, one may compute it by reducing a presentation matrix to Smith normal form. The free rank is then the nullity of the relation matrix over \(\mathbb{Z}\), after accounting for torsion factors.

4.4 Computation in exact sequences

Exact sequences can help determine free rank when the free parts of neighboring objects are known. In a short exact sequence where one map splits or where the torsion structure is controlled, the free rank can often be recovered additively.

In more complicated situations, exactness alone may not determine the free rank without further information about splitting. Still, exact sequences are a central tool for comparing free ranks across related objects.

5.1 Rank of a module

Module rank is often defined using tensor products with a field of fractions or localization, especially for domains. This rank measures generic linear size, not necessarily the size of a free direct summand.

Free rank is more restrictive, since it counts only free summands that actually split off inside the module. For well-behaved finitely generated modules over suitable rings, the two notions may coincide, but in general they can differ.

5.2 Torsion-free rank

Torsion-free rank refers to the size of the largest torsion-free part in a broad sense, often after passing to a quotient or localization. Unlike free rank, it does not require the corresponding substructure to be free or split off as a direct summand.

Thus a torsion-free module may have positive torsion-free rank while having smaller free rank. The difference reflects the gap between being torsion-free and being genuinely free.

5.3 Corank

Corank is another related invariant, but it is used in different ways across algebra. In some contexts it measures the size of the largest free quotient rather than the largest free subobject.

Because of this, corank and free rank are dual in spirit but not identical. The exact relationship depends on the category and on whether one is studying submodules, quotients, or dual objects.

5.4 Minimal number of generators

The minimal number of generators records how many elements are needed to generate the entire object. Free rank is more selective, since it concerns the largest free direct summand rather than the smallest generating set.

An object may require many generators while having free rank zero, as in many torsion modules. Conversely, a free module of rank \(n\) has both free rank \(n\) and minimal number of generators \(n\).

6 Applications

6.1 Classification of finitely generated modules

Free rank plays a central role in classification results for finitely generated modules over principal ideal domains and related rings. It separates the free portion from the torsion portion, making the structure theorem easier to state and apply.

By identifying the free rank, one can determine how much of the module is determined by independent basis elements and how much is controlled by elementary divisors or invariant factors.

6.2 Structure theory of abelian groups

In abelian group theory, free rank is one of the basic numerical invariants used in decomposition results. It identifies the number of infinite cyclic factors in a finitely generated group and provides the starting point for analyzing the torsion subgroup.

This makes free rank a standard tool in understanding lattices, finite extensions, and direct-sum decompositions of abelian groups.

6.3 Free summands in module decomposition

Free rank is useful whenever one seeks a maximal free summand inside a module. Such summands often simplify calculations, since free modules are easy to work with and have bases.

Finding the free part can reduce a problem to the study of the remaining nonfree component, which may be smaller or more structured. This is common in module splitting arguments and reduction procedures.

6.4 Homological algebra contexts

In homological algebra, free rank can appear when studying projective resolutions, chain complexes, and homology modules. A free summand may simplify the computation of derived functors by providing manageable building blocks.

Although homological methods often focus on projective or injective properties more generally, free rank remains relevant when one wants a concrete measure of how much free structure is present in a module or homology group.