Displaying similar documents to “Differentiability and Approximate Differentiability for Intrinsic Lipschitz Functions in Carnot Groups and a Rademacher Theorem”

On the isoperimetry of graphs with many ends

Christophe Pittet (1998)

Colloquium Mathematicae

Similarity:

Let X be a connected graph with uniformly bounded degree. We show that if there is a radius r such that, by removing from X any ball of radius r, we get at least three unbounded connected components, then X satisfies a strong isoperimetric inequality. In particular, the non-reduced l 2 -cohomology of X coincides with the reduced l 2 -cohomology of X and is of uncountable dimension. (Those facts are well known when X is the Cayley graph of a finitely generated group with infinitely many ends.) ...

Functions with preclosed graphs.

Bandyopadhyay, Nandini, Bhattacharyya, P. (2005)

Bulletin of the Malaysian Mathematical Sciences Society. Second Series

Similarity:

Normal Subgroup of Product of Groups

Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama (2011)

Formalized Mathematics

Similarity:

In [6] it was formalized that the direct product of a family of groups gives a new group. In this article, we formalize that for all j ∈ I, the group G = Πi∈IGi has a normal subgroup isomorphic to Gj. Moreover, we show some relations between a family of groups and its direct product.