Page 1 Next

Displaying 1 – 20 of 27

Showing per page

Definition and Properties of Direct Sum Decomposition of Groups1

Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama (2015)

Formalized Mathematics

In this article, direct sum decomposition of group is mainly discussed. In the second section, support of element of direct product group is defined and its properties are formalized. It is formalized here that an element of direct product group belongs to its direct sum if and only if support of the element is finite. In the third section, product map and sum map are prepared. In the fourth section, internal and external direct sum are defined. In the last section, an equivalent form of internal...

Deformations and derived categories

Frauke M. Bleher, Ted Chinburg (2005)

Annales de l'institut Fourier

In this paper we generalize the deformation theory of representations of a profinite group developed by Schlessinger and Mazur to deformations of objects of the derived category of bounded complexes of pseudocompact modules for such a group. We show that such objects have versal deformations under certain natural conditions, and we find a sufficient condition for these versal deformations to be universal. Moreover, we consider applications to deforming Galois cohomology classes and the étale hypercohomology...

Diophantine geometry over groups I : Makanin-Razborov diagrams

Zlil Sela (2001)

Publications Mathématiques de l'IHÉS

This paper is the first in a sequence on the structure of sets of solutions to systems of equations in a free group, projections of such sets, and the structure of elementary sets defined over a free group. In the first paper we present the (canonical) Makanin-Razborov diagram that encodes the set of solutions of a system of equations. We continue by studying parametric families of sets of solutions, and associate with such a family a canonical graded Makanin-Razborov diagram, that encodes the collection...

Currently displaying 1 – 20 of 27

Page 1 Next