Displaying similar documents to “Metric subgroups of isometries on an ultrametric space.”

On Rough Subgroup of a Group

Xiquan Liang, Dailu Li (2009)

Formalized Mathematics

Similarity:

This article describes a rough subgroup with respect to a normal subgroup of a group, and some properties of the lower and the upper approximations in a group.

Nilpotent Groups

Dailu Li, Xiquan Liang, Yanhong Men (2010)

Formalized Mathematics

Similarity:

This article describes the concept of the nilpotent group and some properties of the nilpotent groups.