**Are you an EPFL student looking for a semester project?**

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

Concept# Free abelian group

Summary

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. Free abelian groups have properties which make them similar to vector spaces, and may equivalently be called free \Z-modules, the free modules over the integers. Lattice theory studies free abelian subgroups of real vector spaces. In algebraic topology, free abelian groups are used to define chain groups, and in algebraic geometry they are used to define divisors.
The elements of a free abelian group with b

Official source

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

Loading

Related people

Loading

Related units

Loading

Related concepts

Loading

Related courses

Loading

Related lectures

Loading

Related publications (21)

Loading

Loading

Loading

Related people (2)

Related concepts (56)

Homology (mathematics)

In mathematics, homology is a general way of associating a sequence of algebraic objects, such as abelian groups or modules, with other mathematical objects such as topological spaces. Homology gro

Ring (mathematics)

In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist. In other words, a ring is a set equipped wit

Abelian group

In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are

Related units (1)

Related courses (12)

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 quotients de groupe et actions de groupe.

MATH-323: Algebraic topology

Homology is one of the most important tools to study topological spaces and it plays an important role in many fields of mathematics. The aim of this course is to introduce this notion, understand its properties and learn how to compute it. There will be many examples and applications.

MATH-310: Algebra

Study basic concepts of modern algebra: groups, rings, fields.

This dissertation investigates the amenability of topological full groups using a property of group actions called extensive amenability. Extensive amenability is a core concept of several amenability results for groups of dynamical origin. We study its properties and present some applications.
The main result of the thesis is such an application, a Tits alternative for topological full groups of minimal actions of finitely generated groups. On the one hand, we show that topological full groups of minimal actions of virtually cyclic groups are amenable. On the other hand, if $G$ is a finitely generated not virtually cyclic group, we construct a minimal free action of $G$ on a Cantor space such that the topological full group contains a non-abelian free group.

The notion of active sum provides an analogue for groups of what the direct sum is for abelian groups. One natural question then is which groups are the active sum of a family of cyclic subgroups. Many groups have been found to give a positive answer to this question, while the case of finite metacyclic groups remained unknown. In this note we show that every finite metacyclic group can be recovered as the active sum of a discrete family of cyclic subgroups.

We study actions of groups by orientation preserving homeomorphisms on R (or an interval) that are minimal, have solvable germs at +/-infinity and contain a pair of elements of a certain dynamical type. We call such actions coherent. We establish that such an action is rigid, i.e., any two such actions of the same group are topologically conjugate. We also establish that the underlying group is always non-elementary amenable, but satisfies that every proper quotient is solvable. The structure theory we develop allows us to prove a plethora of non-embeddability statements concerning groups of piecewise linear and piecewise projective homeomorphisms. For instance, we demonstrate that any coherent group action G < Horneo(+) (R) that produces a nonamenable equivalence relation with respect to the Lebesgue measure satisfies that the underlying group does not embed into Thompson's group F. This includes all known examples of nonamenable groups that do not contain non abelian free subgroups and act faithfully on the real line by homeomorphisms. We also establish that the Brown-Stein-Thompson groups F(2, pi, horizontal ellipsis ,p(n)) for n >= 1 and p(1), horizontal ellipsis ,p(n) distinct odd primes, do not embed into Thompson's group F. This answers a question recently raised by C. Bleak, M. Brin and J. Moore.

Related lectures (29)