Geometric Group Theory An

Introduction draft Clara Löh

Visit to download the full and correct content document:
https://textbookfull.com/product/geometric-group-theory-an-introduction-draft-clara-loh
/
More products digital (pdf, epub, mobi) instant
download maybe you interests ...

Geometric Group Theory An Introduction 1st Edition

Clara Löh

https://textbookfull.com/product/geometric-group-theory-an-
introduction-1st-edition-clara-loh/

Geometric and Cohomological Group Theory 1st Edition

Peter H. Kropholler

https://textbookfull.com/product/geometric-and-cohomological-
group-theory-1st-edition-peter-h-kropholler/

Dynamical Systems and Geometric Mechanics An

Introduction Jared Michael Maruskin

https://textbookfull.com/product/dynamical-systems-and-geometric-
mechanics-an-introduction-jared-michael-maruskin/

Group Recommender Systems An Introduction 1st Edition

Alexander Felfernig

https://textbookfull.com/product/group-recommender-systems-an-
introduction-1st-edition-alexander-felfernig/
An introduction to group work practice Eighth Edition
Toseland

https://textbookfull.com/product/an-introduction-to-group-work-
practice-eighth-edition-toseland/

Sport and Sustainable Development An Introduction 1st

Edition Taylor & Francis Group

https://textbookfull.com/product/sport-and-sustainable-
development-an-introduction-1st-edition-taylor-francis-group/

An introduction to medicinal chemistry Graham L Patrick

https://textbookfull.com/product/an-introduction-to-medicinal-
chemistry-graham-l-patrick/

An Introduction to Medicinal Chemistry Graham L.

Patrick

https://textbookfull.com/product/an-introduction-to-medicinal-
chemistry-graham-l-patrick-2/

Elementary Number Theory: Primes, Congruences, and

Secrets (book draft) William Stein

https://textbookfull.com/product/elementary-number-theory-primes-
congruences-and-secrets-book-draft-william-stein/
Clara Löh

Geometric Group Theory

An Introduction

n!
sio
er
tv
af
dr
a
is
is
th
Clara Löh
clara.loeh@mathematik.uni-regensburg.de
http://www.mathematik.uni-regensburg.de/loeh/
Fakultät für Mathematik
n!

Universität Regensburg
sio

93040 Regensburg
er

Germany
tv
af

All drawings by Clara Löh

dr
a
is
is
th
th

für A ∗ A
is
is
a
dr
af
tv
er
sio
n!
th
is
is
a
dr
af
tv
er
sio
n!
About this book
This book is an introduction into geometric group theory. It is certainly not
an encyclopedic treatment of geometric group theory, but hopefully it will
prepare and encourage the reader to take the next step and learn more ad-
vanced aspects of geometric group theory.
The core material of the book should be accessible to third year students,
requiring only a basic acquaintance with group theory, metric spaces, and
point-set topology. I tried to keep the level of the exposition as elementary
as possible, preferring elementary proofs over arguments that require more
machinery in topology or geometry. I refrained from adding complete proofs
for some of the deeper theorems and instead included sketch proofs, high-
lighting the key ideas and the view towards applications. However, many of
the applications will need a more extensive background in algebraic topology,
Riemannian geometry, and algebra.
The exercises are rated in difficulty, from easy* over medium** to hard***.
And very hard∞ * (usually, open problems of some sort). The core exercises
should be accessible to third year students, but some of the exercises aim at
applications in other fields and hence require a background in these fields.
Moreover, there are exercise sections that develop additional theory in a series
of exercises; these exercise sections are marked with + .
This book covers slightly more than a one-semester course. Most of the
material originates from various courses and seminars I taught at the Uni-
versität Regensburg: the geometric group theory courses (2010 and 2014),
the seminar on amenable groups (2011), the course on linear groups and
heights (2015, together with Walter Gubler), and an elementary course on
geometry (2016). Most of the students had a background in real and complex
analysis, in linear algebra, algebra, and some basic geometry of manifolds;
some of the students also had experience in algebraic topology and Rieman-
nian geometry. I would like to thank the participants of these courses and
seminars for their interest in the subject and their patience.
I am particularly grateful to Toni Annala, Matthias Blank, Luigi Ca-
puti, Francesca Diana, Alexander Engel, Daniel Fauser, Stefan Friedl, Wal-
ter Gubler, Michal Marcinkowski, Andreas Thom, Johannes Witzig, and the
anonymous referees for many valuable suggestions and corrections. This work
was supported by the GRK 1692 Curvature, Cycles, and Cohomology (Uni-
versität Regensburg, funded by the DFG).
n!
sio
er
tv
af

Regensburg, September 2017 Clara Löh

dr
a
is
is
th
th
is
is
a
dr
af
tv
er
sio
n!
Contents

1 Introduction 1

Part I Groups 7

2 Generating groups 9
2.1 Review of the category of groups 10
2.1.1 Abstract groups: axioms 10
2.1.2 Concrete groups: automorphism groups 12
2.1.3 Normal subgroups and quotients 16
2.2 Groups via generators and relations 19
2.2.1 Generating sets of groups 19
2.2.2 Free groups 20
2.2.3 Generators and relations 25
2.2.4 Finitely presented groups 29
2.3 New groups out of old 31
2.3.1 Products and extensions 32
2.3.2 Free products and amalgamated free products 34
2.E Exercises 39
n!
sio
er
tv
af
dr
a
is
is
th
viii Contents

Part II Groups → Geometry 51

3 Cayley graphs 53
3.1 Review of graph notation 54
3.2 Cayley graphs 57
3.3 Cayley graphs of free groups 61
3.3.1 Free groups and reduced words 62
3.3.2 Free groups → trees 65
3.3.3 Trees → free groups 66
3.E Exercises 68

4 Group actions 75
4.1 Review of group actions 76
4.1.1 Free actions 77
4.1.2 Orbits and stabilisers 80
4.1.3 Application: Counting via group actions 83
4.1.4 Transitive actions 84
4.2 Free groups and actions on trees 86
4.2.1 Spanning trees for group actions 87
4.2.2 Reconstructing a Cayley tree 88
4.2.3 Application: Subgroups of free groups are free 92
4.3 The ping-pong lemma 95
4.4 Free subgroups of matrix groups 97
4.4.1 Application: The group SL(2, Z) is virtually free 97
4.4.2 Application: Regular graphs of large girth 100
4.4.3 Application: The Tits alternative 102
4.E Exercises 105

5 Quasi-isometry 115
5.1 Quasi-isometry types of metric spaces 116
5.2 Quasi-isometry types of groups 122
5.2.1 First examples 125
5.3 Quasi-geodesics and quasi-geodesic spaces 127
5.3.1 (Quasi-)Geodesic spaces 127
5.3.2 Geodesification via geometric realisation of graphs 128
5.4 The Švarc-Milnor lemma 132
5.4.1 Application: (Weak) commensurability 137
5.4.2 Application: Geometric structures on manifolds 139
5.5 The dynamic criterion for quasi-isometry 141
n!

5.5.1 Application: Comparing uniform lattices 146

sio

5.6 Quasi-isometry invariants 148

er

5.6.1 Quasi-isometry invariants 148

tv

5.6.2 Geometric properties of groups and rigidity 150

af

5.6.3 Functorial quasi-isometry invariants 151

dr

5.E Exercises 156

a
is
is
th
Contents ix

Part III Geometry of groups 165

6 Growth types of groups 167

6.1 Growth functions of finitely generated groups 168
6.2 Growth types of groups 170
6.2.1 Growth types 171
6.2.2 Growth types and quasi-isometry 172
6.2.3 Application: Volume growth of manifolds 176
6.3 Groups of polynomial growth 179
6.3.1 Nilpotent groups 180
6.3.2 Growth of nilpotent groups 181
6.3.3 Polynomial growth implies virtual nilpotence 182
6.3.4 Application: Virtual nilpotence is geometric 184
6.3.5 More on polynomial growth 185
6.3.6 Quasi-isometry rigidity of free Abelian groups 186
6.3.7 Application: Expanding maps of manifolds 187
6.4 Groups of uniform exponential growth 188
6.4.1 Uniform exponential growth 188
6.4.2 Uniform uniform exponential growth 190
6.4.3 The uniform Tits alternative 190
6.4.4 Application: The Lehmer conjecture 192
6.E Exercises 194

7 Hyperbolic groups 203

7.1 Classical curvature, intuitively 204
7.1.1 Curvature of plane curves 204
7.1.2 Curvature of surfaces in R3 205
7.2 (Quasi-)Hyperbolic spaces 208
7.2.1 Hyperbolic spaces 208
7.2.2 Quasi-hyperbolic spaces 210
7.2.3 Quasi-geodesics in hyperbolic spaces 213
7.2.4 Hyperbolic graphs 219
7.3 Hyperbolic groups 220
7.4 The word problem in hyperbolic groups 224
7.4.1 Application: “Solving” the word problem 225
7.5 Elements of infinite order in hyperbolic groups 229
7.5.1 Existence 229
7.5.2 Centralisers 235
n!
sio

7.5.3 Quasi-convexity 241

7.5.4 Application: Products and negative curvature 245
er
tv

7.6 Non-positively curved groups 246

af

7.E Exercises 250

dr
a
is
is
th
x Contents

8 Ends and boundaries 257

8.1 Geometry at infinity 258
8.2 Ends 259
8.2.1 Ends of geodesic spaces 259
8.2.2 Ends of quasi-geodesic spaces 262
8.2.3 Ends of groups 264
8.3 Gromov boundary 267
8.3.1 Gromov boundary of quasi-geodesic spaces 267
8.3.2 Gromov boundary of hyperbolic spaces 269
8.3.3 Gromov boundary of groups 270
8.3.4 Application: Free subgroups of hyperbolic groups 271
8.4 Application: Mostow rigidity 277
8.E Exercises 280

9 Amenable groups 289

9.1 Amenability via means 290
9.1.1 First examples of amenable groups 290
9.1.2 Inheritance properties 292
9.2 Further characterisations of amenability 295
9.2.1 Følner sequences 295
9.2.2 Paradoxical decompositions 298
9.2.3 Application: The Banach-Tarski paradox 300
9.2.4 (Co)Homological characterisations of amenability 302
9.3 Quasi-isometry invariance of amenability 304
9.4 Quasi-isometry vs. bilipschitz equivalence 305
9.E Exercises 309

Part IV Reference material 317

A Appendix 319
A.1 The fundamental group 320
A.1.1 Construction and examples 320
A.1.2 Covering theory 322
A.2 Group (co)homology 325
A.2.1 Construction 325
A.2.2 Applications 327
A.3 The hyperbolic plane 329
A.3.1 Construction of the hyperbolic plane 329
A.3.2 Length of curves 330
n!

A.3.3 Symmetry and geodesics 332

sio

A.3.4 Hyperbolic triangles 341

A.3.5 Curvature 346
er
tv

A.3.6 Other models 347

A.4 An invitation to programming 349
af
dr
a
is
is
th
Contents xi

Bibliography 353

Index of notation 367

Index 373

n!
sio
er
tv
af
dr
a
is
is
th
th
is
is
a
dr
af
tv
er
sio
n!
1
Introduction

Groups are an abstract concept from algebra, formalising the study of sym-
metries of various mathematical objects.
What is geometric group theory? Geometric group theory investigates the
interaction between algebraic and geometric properties of groups:
• Can groups be viewed as geometric objects and how are geometric and
algebraic properties of groups related?
• More generally: On which geometric objects can a given group act in
a reasonable way, and how are geometric properties of these geometric
objects/actions related to algebraic properties of the group?
How does geometric group theory work? Classically, group-valued invari-
ants are associated with geometric objects, such as, e.g., the isometry group
or the fundamental group. It is one of the central insights leading to geometric
group theory that this process can be reversed to a certain extent:
1. We associate a geometric object with the group in question; this can
be an “artificial” abstract construction or a very concrete model space
(such as the Euclidean plane or the hyperbolic plane) or action from
classical geometric theories.
2. We take geometric invariants and apply these to the geometric objects
obtained by the first step. This allows to translate geometric terms such
as geodesics, curvature, volumes, etc. into group theory.
Usually, in this step, in order to obtain good invariants, one restricts
attention to finitely generated groups and takes geometric invariants
n!

from large scale geometry (as they blur the difference between different
sio

finite generating sets of a given group).

er

3. We compare the behaviour of such geometric invariants of groups with

tv

the algebraic behaviour, and we study what can be gained by this sym-
af

biosis of geometry and algebra.

dr
a
is
is
th
2 Introduction

Z×Z Z Z∗Z

Figure 1.1.: Basic examples of Cayley graphs

A key example of geometric objects associated with a group are Cayley

graphs (with respect to a chosen generating set) together with the corre-
sponding word metrics. For instance, from the point of view of large scale
geometry, Cayley graphs of Z resemble the geometry of the real line, Cayley
graphs of Z × Z resemble the geometry of the Euclidean plane, while Cayley
graphs of the free group Z ∗ Z on two generators have essential features of
the geometry of the hyperbolic plane (Figure 1.1; exact definitions of these
concepts are introduced in later chapters).
More generally, in (large scale) geometric group theoretic terms, the uni-
verse of (finitely generated) groups roughly unfolds as depicted in Figure 1.2.
The boundaries are inhabited by amenable groups and non-positively curved
groups respectively – classes of groups that are (at least partially) accessi-
ble. However, studying these boundary classes is only the very beginning of
understanding the universe of groups; in general, knowledge about these two
classes of groups is far from enough to draw conclusions about groups at the
inner regions of the universe:

“Hic abundant leones.” [29]

“A statement that holds for all finitely generated groups
has to be either trivial or wrong.” [attributed to M. Gromov]

Why study geometric group theory? On the one hand, geometric group
theory is an interesting theory combining aspects of different fields of math-
ematics in a cunning way. On the other hand, geometric group theory has
numerous applications to problems in classical fields such as group theory,
Riemannian geometry, topology, and number theory.
For example, free groups (an a priori purely algebraic notion) can be char-
n!
sio

acterised geometrically via actions on trees; this leads to an elegant proof of

er

the (purely algebraic!) fact that subgroups of free groups are free.
tv

Further applications of geometric group theory to algebra and Riemannian

af

geometry include the following:

dr
a
is
is
th
Introduction 3

elementary amenable

solvable

s polycyclic
oup
gr
e nilpotent
bl
e na
am Abelian
finite groups

1 Z ?!
no free
n-
po
sit hyperbolic
ive
ly
cu
rv CAT(0)
ed
gr
ou
ps

Figure 1.2.: The universe of groups (simplified version of Bridson’s universe

of groups [29])

• Recognising that certain matrix groups are free groups; there is a geo-
metric criterion, the ping-pong lemma, that allows to deduce freeness
of a group by looking at a suitable action (not necessarily on a tree).
• Recognising that certain groups are finitely generated; this can be done
geometrically by exhibiting a good action on a suitable space.
• Establishing decidability of the word problem for large classes of groups;
for example, Dehn used geometric ideas in his algorithm solving the
word problem in certain geometric classes of groups.
n!

• Recognising that certain groups are virtually nilpotent; Gromov found a

sio

characterisation of finitely generated virtually nilpotent groups in terms

er

of geometric data, more precisely, in terms of the growth type.

tv

• Proving non-existence of Riemannian metrics satisfying certain cur-

af

vature conditions on certain smooth manifolds; this is achieved by

dr
a
is
is
th
4 Introduction

translating these curvature conditions into group theory and looking

at groups associated with the given smooth manifold (e.g., the funda-
mental group). Moreover, a similar technique also yields (non-)splitting
results for certain non-positively curved spaces.
• Rigidity results for certain classes of matrix groups and Riemannian
manifolds; here, the key is the study of an appropriate geometry at
infinity of groups.
• Group-theoretic reformulation of the Lehmer conjecture; by the work of
Breuillard et al., the Lehmer conjecture in algebraic number theory is
equivalent to a problem about growth of certain matrix groups.
• Geometric group theory provides a layer of abstraction that helps to
understand and generalise classical geometry – in particular, in the case
of negative or non-positive curvature and the corresponding geometry
at infinity.
• The Banach-Tarski paradox (a sphere can be divided into finitely many
pieces that in turn can be puzzled together into two spheres congruent to
the given one [this relies on the axiom of choice]); the Banach-Tarski
paradox corresponds to certain matrix groups not being “amenable”,
a notion related to both measure theoretic and geometric properties of
groups.
• A better understanding of many classical groups; this includes, for in-
stance, mapping class groups of surfaces and outer automorphisms of
free groups (and their behaviour similar to certain matrix groups).
Overview of the book. The goal of this book is to explain the basic termi-
nology of geometric group theory, the standard proof techniques, and how
these concepts can be applied to obtain the results listed above.
As the main characters in geometric group theory are groups, we will start
by reviewing concepts and examples from group theory and by introducing
constructions that allow to generate interesting groups (Chapter 2). Readers
familiar with group theory and the standard examples of groups can happily
skip this chapter.
Then we will introduce one of the main combinatorial objects in geometric
group theory, Cayley graphs, and review basic notions concerning actions of
groups (Chapter 3–4). A first taste of the power of geometric group theory
is the geometric characterisation of free groups via actions on trees.
As next step, we will introduce a metric structure on groups via word
metrics on Cayley graphs, and we will study the large scale geometry of
groups with respect to this metric structure, in particular, the concept of
quasi-isometry (Chapter 5).
After these preparations, we will enjoy the quasi-geometry of groups, in-
n!

cluding
sio

• growth types (Chapter 6),

er

• hyperbolicity (Chapter 7),

tv

• geometry at infinity (Chapter 8),

af

• amenability (Chapter 9).

dr
a
is
is
th
Introduction 5

Basics on fundamental groups, group (co)homology, and elementary prop-

erties of the hyperbolic plane, are collected in the appendices (Appendix A).
As the proof of the pudding is in the eating, Appendix A.4 contains a list of
programming tasks related to geometric group theory.
Literature. Geometric group theory is a vast, rapidly growing area of mathe-
matics; therefore, not all aspects can be covered in this book. The selection of
topics is biased by my own preferences, but I hope that this book will prepare
and encourage the reader to discover more of geometric group theory. The
standard resources for geometric group theory are:
• Topics in Geometric group theory by de la Harpe [77] (one of the first
collections of results and examples in geometric group theory),
• Geometric Group Theory by Druţu and M. Kapovich, with an appendix
by Nica [53] (the latest compendium on geometric group theory for
advanced students and researchers),
• Office Hours with a Geometric Group Theorist edited by Clay and Mar-
galit [41] (a recent collection of topics and examples with a focus on
intuition),
• Metric spaces of non-positive curvature by Bridson and Haefliger [31] (a
compendium on non-positive curvature and its relations with geometric
group theory; parts of Chapter 7 and Chapter 8 follow this source),
• Trees by Serre [159] (the standard source for Bass-Serre theory).
A short and comprehensible introduction into curvature in classical Rie-
mannian geometry is given in the book Riemannian manifolds. An introduc-
tion to curvature by Lee [96]. Background material on fundamental groups
and covering theory can be found in the book Algebraic Topology: An Intro-
duction by Massey [115].
Furthermore, I recommend to look at the overview articles by Bridson
on geometric and combinatorial group theory [29, 30]. The original reference
for modern large scale geometry of groups is the landmark paper Hyperbolic
groups [74] by Gromov.
One sentence on notation. The natural numbers N contain 0.

n!
sio
er
tv
af
dr
a
is
is
th
th
is
is
a
dr
af
tv
er
sio
n!
 Part I

Groups

th
is
is
a
dr
af
tv
er
sio
n!
th
is
is
a
dr
af
tv
er
sio
n!
2
Generating groups

As the main characters in geometric group theory are groups, we start by

reviewing concepts and examples from group theory. In particular, we will
present basic construction principles that allow to generate interesting exam-
ples of groups. This includes the description of groups in terms of generators
and relations and the iterative construction of groups via semi-direct prod-
ucts, amalgamated free products, and HNN-extensions.
Readers familiar with (infinite) group theory and standard examples of
groups can happily skip this chapter.

Overview of this chapter

2.1 Review of the category of groups 10

2.2 Groups via generators and relations 19
2.3 New groups out of old 31
2.E Exercises 39

n!
sio
er
tv
af
dr
a
is
is
th
10 2. Generating groups

2.1 Review of the category of groups

2.1.1 Abstract groups: axioms

For the sake of completeness, we briefly recall the definition of a group; more
information on basic properties of groups can be found in any textbook on
algebra [94, 150]. The category of groups has groups as objects and group
homomorphisms as morphisms.

Definition 2.1.1 (Group). A group is a set G together with a binary opera-

tion · : G × G −→ G satisfying the following axioms:
• Associativity. For all g1 , g2 , g3 ∈ G we have

g1 · (g2 · g3 ) = (g1 · g2 ) · g3 .

• Existence of a neutral element. There exists a neutral element e ∈ G

for “·”, i.e.,
∀g∈G e · g = g = g · e.
(This property uniquely determines the neutral element.)
• Existence of inverses. For every g ∈ G there exists an inverse ele-
ment g −1 ∈ G with respect to “·”, i.e.,

g · g −1 = e = g −1 · g.

(This property uniquely determines the inverse element of g.)

A group G is Abelian if composition is commutative, i.e., if g1 · g2 = g2 · g1
holds for all g1 , g2 ∈ G.

Definition 2.1.2 (Subgroup). Let G be a group with respect to “·”. A sub-

set H ⊂ G is a subgroup if H is a group with respect to the restriction of “·”
to H×H ⊂ G×G. The index [G : H] of a subgroup H ⊂ G is the cardinality of
the set {g ·H | g ∈ G}; here, we use the coset notation g ·H := {g ·h | h ∈ H}.

Example 2.1.3 (Some (sub)groups).

• Trivial group(s) are groups consisting only of a single element e and the
composition (e, e) 7−→ e. Clearly, every group contains a trivial group
given by the neutral element as subgroup.
n!

• The sets Z, Q, and R are groups with respect to addition; moreover, Z

sio

is a subgroup of Q, and Q is a subgroup of R.

er

• The natural numbers N = {0, 1, . . . } do not form a group with respect

tv

to addition (e.g., 1 does not have an additive inverse in N); the rational
af

numbers Q do not form a group with respect to multiplication (0 does

dr
a
is
is
th
2.1. Review of the category of groups 11

not have a multiplicative inverse), but Q \ {0} is a group with respect

to multiplication.
Now that we have introduced the main objects, we need morphisms to
relate different objects to each other. As in other mathematical theories,
morphisms should be structure preserving, and we consider two objects to be
the same if they have the same structure:
Definition 2.1.4 (Group homomorphism/isomorphism). Let G, H be groups.
• A map ϕ : G −→ H is a group homomorphism if ϕ is compatible with
the composition in G and H respectively, i.e., if

ϕ(g1 · g2 ) = ϕ(g1 ) · ϕ(g2 )

holds for all g1 , g2 ∈ G. (Every group homomorphism maps the neutral

element to the neutral element and inverses to inverses).
• A group homomorphism ϕ : G −→ H is a group isomorphism if there
exists a group homomorphism ψ : H −→ G such that ϕ ◦ ψ = idH and
ψ ◦ ϕ = idG . If there exists a group isomorphism between G and H,
then G and H are isomorphic, and we write G ∼ = H.
Example 2.1.5 (Some group homomorphisms).
• Clearly, all trivial groups are (canonically) isomorphic. Hence, we usu-
ally speak of “the” trivial group.
• If H is a subgroup of a group G, then the inclusion H ,→ G is a group
homomorphism.
• Let n ∈ Z. Then

Z −→ Z
x 7−→ n · x

is a group homomorphism; however, addition of n 6= 0 is not a group

homomorphism (e.g., the neutral element is not mapped to the neutral
element).
• The exponential map exp : R −→ R>0 is a group homomorphism be-
tween the additive group R and the multiplicative group R>0 ; the ex-
ponential map is even an isomorphism (the inverse homomorphism is
given by the logarithm).
Definition 2.1.6 (Kernel/image of homomorphisms). Let ϕ : G −→ H be a
group homomorphism. Then the subgroup

ker ϕ := {g ∈ G | ϕ(g) = e}
n!

of G is the kernel of ϕ, and the subgroup

sio
er

im ϕ := {ϕ(g) | g ∈ G}
tv
af

of H is the image of ϕ.
dr
a
is
is
th
12 2. Generating groups

Remark 2.1.7 (Isomorphisms via kernel/image). It is a simple exercise in al-

gebra to verify the following:
1. A group homomorphism is injective if and only if its kernel is the trivial
subgroup (Exercise 2.E.3).
2. A group homomorphism is an isomorphism if and only if it is bijective.
3. In particular: A group homomorphism ϕ : G −→ H is an isomorphism
if and only if ker ϕ is the trivial subgroup and im ϕ = H.

2.1.2 Concrete groups: automorphism groups

The concept, and hence the axiomatisation, of groups developed originally out
of the observation that certain collections of “invertible” structure preserving
transformations of geometric or algebraic objects fit into the same abstract
framework; moreover, it turned out that many interesting properties of the
underlying objects are encoded in the group structure of the corresponding
automorphism group.

Example 2.1.8 (Symmetric groups). Let X be a set. Then the set SX of all
bijections of type X −→ X is a group with respect to composition of maps,
the symmetric group over X. If n ∈ N, then we abbreviate Sn := S{1,...,n} . If
|X| ≥ 3, the group SX is not Abelian.

This example is generic in the following sense:

Proposition 2.1.9 (Cayley’s theorem). Every group is isomorphic to a sub-

group of some symmetric group.

Proof. Let G be a group. Then G is isomorphic to a subgroup of SG : For g ∈ G

we define the map

fg : G −→ G
x 7−→ g · x.

For all g, h ∈ G we have fg ◦ fh = fg·h . Therefore, looking at fg−1 shows that

fg : G −→ G is a bijection for all g ∈ G. Moreover, it follows that

f : G −→ SG
g 7−→ fg

is a group homomorphism, which is easily shown to be injective. So, f induces

an isomorphism G ∼
= im f ⊂ SG , as desired.
n!
sio

Example 2.1.10 (Automorphism group of a group). Let G be a group. Then the

er

set Aut(G) of group isomorphisms of type G −→ G is a group with respect

tv

to composition of maps, the automorphism group of G. Clearly, Aut(G) is a

af

subgroup of SG .
dr
a
is
is
th
2.1. Review of the category of groups 13

Example 2.1.11 (Isometry groups/Symmetry groups). Let X be a metric space

(basic notions for metric spaces are recalled in Chapter 5.1). The set Isom(X)
of all isometries of type X −→ X forms a group with respect to composi-
tion (a subgroup of the symmetric group SX ). For example, in this way the
dihedral groups naturally occur as symmetry groups of regular polygons (Ex-
ample 2.2.20, Exercise 2.E.8).

Example 2.1.12 (Matrix groups). Let k be a commutative ring with unit,

and let V be a k-module. Then the set Aut(V ) of all k-linear isomor-
phisms V −→ V forms a group with respect to composition. In particular,
the set GL(n, k) of invertible n×n-matrices over k is a group (with respect to
matrix multiplication) for every n ∈ N. Similarly, also SL(n, k), the subgroup
of invertible matrices of determinant 1, is a group.

Example 2.1.13 (Galois groups). Let K ⊂ L be a Galois extension of fields.

Then the set 
Gal(L/K) := σ ∈ Aut(L) σ|K = idK
of field automorphisms of L fixing K is a group with respect to composition,
the Galois group of the extension L/K.

Example 2.1.14 (Deck transformation groups). Let π : X −→ Y be a covering

map of topological spaces. Then the set

f ∈ map(X, X) f is a homeomorphism with π ◦ f = π

of deck transformations forms a group with respect to composition.

In more conceptual language, these examples are all instances of the follow-
ing general principle: If X is an object in a category C, then the set AutC (X)
of C-isomorphisms of type X −→ X is a group with respect to composition
in C. We will now explain this in more detail:

Definition 2.1.15 (Category). A category C consists of the following compo-

nents:
• A class Ob(C); the elements of Ob(C) are objects of C. (Classes are a
generalisation of sets, allowing, e.g., for the definition of the class of all
sets [164]).
• A set MorC (X, Y ) for each choice of objects X, Y ∈ Ob(C); elements
of MorC (X, Y ) are called morphisms from X to Y . (We implicitly as-
sume that morphism sets between different pairs of objects are disjoint.)
• For all objects X, Y, Z ∈ Ob(C) a composition

◦ : MorC (Y, Z) × MorC (X, Y ) −→ MorC (X, Z)

n!
sio

(g, f ) 7−→ g ◦ f
er
tv

of morphisms.
af

These data have to satisfy the following conditions:

dr
a
is
is
th
14 2. Generating groups

• For each object X in C there is a morphism idX ∈ MorC (X, X) with

the following property: For all Y ∈ Ob(C) and all f ∈ MorC (X, Y ) and
g ∈ MorC (Y, X) we have

f ◦ idX = f and idX ◦g = g.

(The morphism idX is uniquely determined by this property; it is the

identity morphism of X in C).
• Morphism composition is associative, i.e., for all W, X, Y, Z ∈ Ob(C)
and all f ∈ MorC (W, X), g ∈ MorC (X, Y ) and h ∈ MorC (Y, Z) we
have
h ◦ (g ◦ f ) = (h ◦ g) ◦ f.

Caveat 2.1.16. The concept of morphisms and compositions is modelled on

the example of maps between sets and ordinary composition of maps. How-
ever, in general, morphisms in categories need not be given as maps between
sets and composition need not be composition of maps!

The notion of categories contains all the ingredients necessary to talk about
isomorphisms and automorphisms:

Definition 2.1.17 (Isomorphism). Let C be a category. Objects X, Y ∈ Ob(C)

are isomorphic in C if there exist f ∈ MorC (X, Y ) and g ∈ MorC (Y, X) with

g ◦ f = idX and f ◦ g = idY .

=C Y (or X ∼
In this case, f and g are isomorphisms in C and we write X ∼ =Y
if the category is clear from the context).

Definition 2.1.18 (Automorphism group). Let C be a category and let X

be an object of C. Then the set AutC (X) of all isomorphisms X −→ X
in C is a group with respect to composition in C (Proposition 2.1.19), the
automorphism group of X in C.

Proposition 2.1.19 (Automorphism groups in categories).

1. Let C be a category and let X ∈ Ob(C). Then AutC (X) is a group.
2. Let G be a group. Then there exists a category C and an object X in C
such that G ∼
= AutC (X).

Proof. Ad 1. Because the composition of morphisms in C is associative, com-

position in AutC (X) is associative. The identity morphism idX is an isomor-
phism X −→ X (being its own inverse) and, by definition, idX is the neutral
element with respect to composition. Moreover, the existence of inverses is
n!
sio

guaranteed by the definition of isomorphisms in categories.

er

Ad 2. We consider the category C that contains only a single object X. We

tv

set MorC (X, X) := G and we define the composition in C via the composition
af

in G by
dr
a
is
is
th
2.1. Review of the category of groups 15

◦ : MorC (X, X) × MorC (X, X) −→ MorC (X, X)

(g, h) 7−→ g · h.

A straightforward computation shows that C indeed is a category and that

AutC (X) is G.
We will now illustrate these terms in more concrete examples:
Example 2.1.20 (Set theory). The category Set of sets consists of:
• Objects: Let Ob(Set) be the class(!) of all sets.
• Morphisms: For sets X and Y , we let MorSet (X, Y ) be the set of all
set-theoretic maps X −→ Y .
• Compositions are ordinary compositions of maps: For sets X, Y, Z we
define the composition MorSet (Y, Z) × MorSet (X, Y ) −→ MorSet (X, Z)
to be ordinary composition of maps.
It is clear that this composition is associative. If X is a set, then the ordinary
identity map

X −→ X
x 7−→ x

is the identity morphism of X in Set. Objects in Set are isomorphic if and only
if they have the same cardinality and for all sets X the symmetric group SX
coincides with AutSet (X).
Example 2.1.21 (Algebra). The category Group of groups consists of:
• Objects: Let Ob(Group) be the class of all groups.
• Morphisms: For groups G and H we let MorGroup (G, H) be the set of
all group homomorphisms.
• Compositions: As compositions we choose ordinary composition of
maps.
Analogously, one also obtains the category Ab of Abelian groups, the cate-
gory VectR of R-vector spaces, the category R Mod of left R-modules over a
ring R, . . . Objects in Group, Ab, VectR , R Mod, . . . are isomorphic in the
sense of category theory if and only if they are isomorphic in the algebraic
sense. Moreover, both the category theoretic and the algebraic point of view
result in the same automorphism groups.
Example 2.1.22 (Geometry of isometric embeddings). The category Metisom of
metric spaces and isometric embeddings consists of:
• Objects: Let Ob(Metisom ) be the class of all metric spaces.
• Morphisms in Metisom are isometric embeddings (i.e., distance preserv-
n!

ing maps) of metric spaces.

sio

• The compositions are given by ordinary composition of maps.

er

Then objects in Metisom are isomorphic if and only if they are isometric and
tv

automorphism groups in Metisom are nothing but isometry groups of metric

af

spaces.
dr
a
is
is
th
16 2. Generating groups

Example 2.1.23 (Topology). The category Top of topological spaces consists

of:
• Objects: Let Ob(Top) be the class of all topological spaces.
• Morphisms in Top are continuous maps.
• The compositions are given by ordinary composition of maps.
Isomorphisms in Top are precisely the homeomorphisms; automorphism
groups in Top are the groups of self-homeomorphisms of topological spaces.

Taking automorphism groups of geometric/algebraic objects is only one

way to associate meaningful groups to interesting objects. Over time, many
group-valued invariants have been developed in all fields of mathematics. For
example:
• fundamental groups (in topology, algebraic geometry, operator algebra
theory, . . . )
• homology groups (in topology, algebra, algebraic geometry, operator
algebra theory, . . . )
• ...

2.1.3 Normal subgroups and quotients

Sometimes it is convenient to ignore a certain subobject of a given object
and to focus on the remaining properties. Formally, this is done by taking
quotients. In contrast to the theory of vector spaces, where the quotient of any
vector space by any subspace again naturally forms a vector space, we have
to be a little bit more careful in the world of groups. Only special subgroups
lead to quotient groups:

Definition 2.1.24 (Normal subgroup). Let G be a group. A subgroup N of G

is normal if it is conjugation invariant, i.e., if

g · n · g −1 ∈ N

holds for all n ∈ N and all g ∈ G. If N is a normal subgroup of G, then we

write N C G.

Example 2.1.25 (Some (non-)normal subgroups).

• All subgroups of Abelian groups are normal.
• Let τ ∈ S3 be the bijection given by swapping 1 and 2 (i.e., τ = (1 2)).
Then {id, τ } is a subgroup of S3 , but it is not a normal subgroup.
On the other hand, the subgroup {id, σ, σ 2 } ⊂ S3 generated by the
cycle σ := (1 7→ 2, 2 7→ 3, 3 7→ 1) is a normal subgroup of S3 .
n!
sio

• Kernels of group homomorphisms are normal in the domain group;

conversely, every normal subgroup also is the kernel of a certain group
er
tv

homomorphism (namely of the canonical projection to the quotient

af

(Proposition 2.1.26)).
dr
a
is
is
th
2.1. Review of the category of groups 17

Proposition 2.1.26 (Quotient group). Let G be a group, and let N be a sub-

group.
1. Let G/N := {g · N | g ∈ G}. Then the map

G/N × G/N −→ G/N

(g1 · N, g2 · N ) 7−→ (g1 · g2 ) · N

is well-defined if and only if N is normal in G. If N is normal in G,

then G/N is a group with respect to this composition map, the quotient
group of G by N .
2. Let N be normal in G. Then the canonical projection

π : G −→ G/N
g 7−→ g · N

is a group homomorphism, and the quotient group G/N together with π

has the following universal property: For every group H and every group
homomorphism ϕ : G −→ H with N ⊂ ker ϕ there is exactly one group
homomorphism ϕ : G/N −→ H satisfying ϕ ◦ π = ϕ:

G
ϕ
/H
=
π
 ϕ
G/N

Proof. Ad 1. Suppose that N is normal in G. In this case, the composition

map is well-defined (in the sense that the definition does not depend on the
choice of the representatives of cosets): Let g1 , g2 , g 1 , g 2 ∈ G with

g1 · N = g 1 · N, and g2 · N = g 2 · N.

In particular, there are n1 , n2 ∈ N with g 1 = g1 · n1 and g 2 = g2 · n2 . Thus

we obtain

(g 1 · g 2 ) · N = (g1 · n1 · g2 · n2 ) · N
= (g1 · g2 · (g2−1 · n1 · g2 ) · n2 ) · N
= (g1 · g2 ) · N ;

in the last step we used that N is normal, which implies that g2−1 · n1 · g2 ∈ N
and hence g2−1 · n1 · g2 · n2 ∈ N . Therefore, the composition on G/N is well-
defined.
n!
sio

That G/N indeed is a group with respect to this composition follows easily
er

from the fact that the group axioms are satisfied in G.

tv

Conversely, suppose that the composition on G/N is well-defined. Then the

af

subgroup N is normal in G: Let n ∈ N and let g ∈ G. Then g · N = (g · n) · N ,

dr
a
is
is
th
Another random document with
no related content on Scribd:
pero no veo á Antonio. ¿Dónde se
podrá haber escondido?
Albanio.—Acá en la huerta de los
olivos, que poco ha era otro
laberinto fabricado por otra mano
de Dédalo.
Jerónimo.—¿Por qué lo
deshicieron?
Albanio.—Porque no hallaron al
minotauro que en él estuviese
encerrado.
Jerónimo.—Bueno estoy yo entre
un filósofo y un poeta. Cada día
podré aprender cosas nuevas.
Albanio y Jerónimo.—Buenos
días, señor Antonio.
Antonio.—Seáis, señores, bien
venidos, que con temor estaba de
vuestra tardanza. Parésceme que
no solamente llegamos á un
tiempo, pero que todos venimos
con una intención: vosotros de oir
el fin de lo que ayer aquí
tratamos, y yo de decir lo que
dello siento, á lo cual me habéis
dado mayor ocasión con la
salutación que me hecistes y con
la que yo os he respondido, que
para los que agora quieren ser
honrados fuera una manera de
afrenta saludarlos, á su parecer,
tan bajamente. Y cuando esto
contemplo, parésceme que no
puedo dejar de seguir la opinión
de Demócrito de reirme de su
ceguedad é locura. ¡Oh mundo
confuso, ciego y sin
entendimiento, pues amas y
quieres y buscas y procuras todo
lo que es en perjuicio de ti
mesmo! Si no entendemos lo que
hacemos, es muy grande la
ceguera y iñorancia, por la cual
no se puede excusar el peccado;
y si lo entendemos y no lo
remediamos, viendo el yerro que
hacemos, ninguna excusa nos
basta; y declarándome más, digo
que solían en otros tiempos
saludarse las gentes con
bendiciones y rogando á Dios,
diciendo: Dios os dé buenos días;
Dios os dé mucha salud; Dios os
guarde; Dios os tenga de su
mano; manténgaos Dios; y agora,
en lugar desto y de holgarnos de
que así nos saluden, sentímonos
afrentados de semejantes
salutaciones, y teniéndolas por
baxeza nos despreciamos dellas.
¿Puede ser mayor vanidad y
locura que no querer que nadie
ruegue á Dios que nos dé buenos
días ni noches, ni que nos dé
salud, ni que guarde, mantenga, y
que en lugar dello nos deleitemos
con un besa las manos á vuestra
merced? Que si bien
consideramos lo que decimos, es
muy gran necedad decirlo,
mintiendo á cada paso, pues que
nunca las besamos, ni
besaríamos, aunque aquel á
quien saludamos lo quisiese. Por
cierto cosa justa sería que agora
nos contentásemos nosotros con
lo que en los tiempos pasados se
satisfacían los emperadores, los
reyes y príncipes, que con esta
palabra «á ver» se contentaban,
porque quiere decir tanto como
Dios os salve; y como paresce
por las corόnicas antiguas y
verdaderas, á los reyes de
Castilla aún no ha mucho tiempo
que les decían: «manténgaos
Dios» por la mejor salutación del
mundo. Agora, dexadas las
nuevas formas y maneras de
salutaciones que cada día para
ellos se inventan y buscan,
nosotros no nos queremos
contentar con lo que ellos
dexaron, y es tan ordinaria esta
necedad de decir que besamos
las manos, que á todos
comprende generalmente, y
dexando las manos venimos á los
pies, de manera que no paramos
en ellos ni aun pararemos en la
tierra que pisan, y, en fin, no hay
hombre que se los descalce para
que se los besen, y todo se va en
palabras vanas y mentirosas, sin
concierto y sin razón.
Albanio.—Como caballo
desenfrenado me paresce que os
vais corriendo sin estropezar, por
hallar la carrera muy llana.
Decidme: al emperador, á los
reyes, á los señores, á los
obispos, á los perlados, ¿no les
besan también las manos de
hecho como de dicho? Y al
Summo Pontífice, ¿no le besan
los pies? Luego mejor podrían
decir los que lo hacen que no
hacerlo.
Antonio.—Antes á esos, como
vos decís, se besan sin que se
digan, y oblíganos la razón por la
superioridad que sobre nosotros
tienen, y cuando no lo podemos
hacer por la obra, publicámoslo
en las palabras, como lo
haríamos pudiendo. Mas acá
entre nosotros, cuando uno dice á
otro que le besa las manos,
¿besárselas ya si se las diese?
Albanio.—No por cierto, antes le
tendrían por nescio y
descomedido si le pediese que
cumpliese por obra las palabras.
Antonio.—Pues ¿para qué
mentimos? ¿Para qué publicamos
lo que no hacemos? ¿Y para qué
queremos oir lisonjas y no
salutaciones provechosas? ¿Qué
provecho me viene á mí de que
otro me diga que me besa las
manos y los pies?
Jerónimo.—Yo os lo diré, que en
decirlo parescerá recognosceros
superioridad y estimaros en más
que á sí, teniéndose en menos
por teneros á vos en más.
Antonio.—Mejor dixérades por
ser pagado en lo mesmo, que si
uno dice que os besa las manos,
no digo siendo más, sino siendo
menos, no siendo la diferencia del
uno al otro en muy gran
cuantidad, si no le respondéis de
la mesma manera, luego hace del
agraviado y lo muestra en las
palabras y obras si es necesario,
buscando rodeos y formas para
igualarse y para no tener más
respeto ni acatamiento del que se
les tuviere; y, en fin, todos se
andan á responder, como dicen,
por los consonantes, y el oficial
en esto quiere ser igual con el
hidalgo diciendo que no le debe
nada, y el hidalgo con el
caballero, y el caballero con el
gran señor, y todo esto porque es
tan grande la codicia y ambición
de la honra, que no hay ninguno
que no querría merecer la mayor
parte, y no la meresciendo,
hurtarla ó robarla por fuerza,
como á cosa muy codiciosa. Y
tornando á lo pasado, es muy mal
trueque y cambio el que habemos
hecho del saludar antiguo al que
agora usamos. Por menosprecio
decimos á uno: en hora buena
vais, vengáis en buena hora,
guárdeos Dios, y si no es á
nuestros criados ó á personas tan
baxas y humildes que no tienen
cuenta con ello, no osaríamos
decirlo, siendo tanto mejor y más
provechoso que lo que decimos á
otros, cuanto podrá entender
cualquiera que bien quisiese
considerarlo. Gran falta es la que
hay de médicos evangélicos para
curar tan general pestilencia, la
cual está ya tan corrompida y
inficcionada, que sólo Dios basta
para el remedio della; antes va el
mundo tan de mal en peor, que si
viviésemos muchos tiempos
veríamos otras diferentes
novedades, con que tendríamos
por bueno lo de agora.
Albanio.—Por ventura con el
tiempo vendrá el mundo á
conoscer lo bueno que ha
dexado, y dexará lo malo que
agora se usa, porque muchas
cosas se usan que se pierden, y
después el tiempo las vuelve al
primer estado. Pero ¿no me diréis
de que os estáis reyendo?
Antonio.—De otra vanidad tan
grande como la pasada; y
también me río de mí mesmo, que
no dexaría de picar en ella
conosciendo que es locura, como
lo hacían todos los otros del
mundo.
Jerónimo.—Pues luego no
pongáis culpa á los otros, que el
que quiere en alguna cosa
reprehender á su próximo ha de
estar en ella disculpado.
Antonio.—Con una razón podré
disculparme: que á lo menos
conozco y siento el yerro que
hago.
Albanio.—Esso sólo basta para
teneros por más culpado; porque
si vos conosciendo que erráis no
os apartáis del yerro, menos
razón tendrán los que, errando,
tienen por cierto que aciertan, y
así el primero á quien habéis de
reprehender es á vos mesmo y
conoscer que estoy dignamente
debajo de la bandera desta
locura.
Antonio.—No sé cuál tenga por
mayor yerro, seguir común
opinión y parescer de todos ó
quererme yo solo extremarme
para ser notado de todo el
mundo, y assí pienso por agora
no me apartar de la compañía
donde entran buenos y malos,
sabios y necios; y por no teneros
más suspensos, digo que es cosa
para mirar y contemplar los títulos
y cortesías que se usan en el
escrebir. Solían en los tiempos
antiguos llamar á un emperador ó
un rey escribiéndole, por la mayor
cortesía que podían decir,
«vuestra merced», y cuando lo
decían era con haberle dicho
cient veces un «vos» muy seco y
desnudo. Después, por muy gran
cosa le vinieron á llamar
«señoría», y agora ya no les
basta «alteza», que otros títulos
nuevos y exquisitos se procuran,
subiendo tan cerca de la divinidad
que no están á un salto del cielo;
y en los emperadores y reyes
podríase sufrir, por la dignidad
que tienen y principalmente por la
que representan, pero
comenzando abaxo por los
inferiores veréis cosas notables. A
los mesmos reyes que he dicho,
en las cartas ó peticiones ó
escrituras solían poner noble ó
muy noble rey, muy virtuoso
señor. Agora no hay hombre que,
si se estima en algo, no quiera ser
noble ni virtuoso.
Jerónimo.—Eso debe de ser
porque hay poca virtud y nobleza
en el mundo, que todo se ha
subido al cielo. Pero decidme,
¿qué es lo que quieren ser?
Antonio.—Magníficos ó muy
magníficos, aunque en Valencia y
Cataluña se tiene por más ser
noble que magnífico; mas andan
á uso de acá los que no siendo
nobles se precian de título de
magníficos, y muchos de los que
lo quieren, maldita la liberalidad
que usaron, ni grandeza hicieron,
y por ventura son los mayores
míseros y desventurados que hay
en el mundo.
Albanio.—¿Luego quieren que
mientan como los otros que dicen
que besan los pies ó las manos?
Antonio.—Eso mesmo es lo que
procuran, y si usasen alguna
liberalidad ó magnificencia con
quien se lo llama y escribe,
tendría razón para ello. Y
dexando á éstos, que es la gente
que presume y tiene algún ser
para ello y para poderse estimar,
los señores y grandes á quien
solían escrebir, por título, muy
sublimado, muy magnífico, agora
ya lo tienen por tan baxo que se
afrentan y deshonran dello.
Jerónimo.—Tienen razón,
porque se han dado á no hacer ya
merced ninguna, y lo que peor es,
que se precian dello, y así quieren
dexar este título para los señores
pasados que usaron
magnificencias, y ellos tomar
otros nuevos y que más les
convengan.
Antonio.—Llámanse ilustres y
muy ilustres y illustrísimos.
Albanio.—No puedo entender
qué quieren decir esos nombres.
Antonio.—Lo que ellos quieren
que diga es que son muy claros,
muy resplandecientes en linaje y
en obras.
Albanio.—Bien es que lo quieran
los que lo son; pero los que no lo
fueren, poca razón tienen de
quererlo y usurpar los títulos
ajenos; y lo que me paresce mal
es que los perlados, que vemos
ser hijos de humildes padres y
labradores y que se hicieron con
ser venturosos del polvo de la
tierra, se agravien si no les llaman
illustres y muy illustres, dexando
los títulos que más les convienen.
Antonio.—Yo os diré la causa y
la razón que tienen para ello, la
cual es que, como los solían
llamar muy reverendos ó
reverendísimos, que quiere decir
tanto como dignos de ser
acatados y reverenciados, y ellos
por el linaje y obras no lo sean, no
quieren que mintamos tanto,
teniendo por menor mentira que
los llamemos illustres, y ya que
sea tan grande, quieren el título
que les paresce ser más honrado
cuanto á la vanidad del mundo, y
en fin, esto durará muy pocos
días, que ya, como todos los hijos
de señores y de otras personas
señaladas quieren y procuran el
illustre y muy illustre, otros
nuevos títulos hemos de buscar
para los otros.
Jerónimo.—Ya los hay, porque
ya en España se comienza á usar
el excelente, muy excelente,
sereníssimo, y en lugar de
señoría se llama «excelencia».
Antonio.—Decís verdad, que no
me acordaba, aunque esos títulos
no están bien confirmados; pero
yo fiador que los que vivieren
muchos años vean que de la
excelencia suben á la alteza.
Jerónimo.—¿Y qué quedará para
los reyes?
Antonio.—No faltará algo de
nuevo, y por ventura volverán á
dar vuelta al mundo y se tornar á
llamar virtuosos y nobles, y por
alteza nobleza; y esto sería
acertamiento, que todo esto otro
son vanidades y necedades, y lo
que pior es, que todos cuantos las
escrebimos, las damos firmadas
de nuestros nombres. Assí lo
hacen también los señores que,
escrebiendo á los inferiores
dellos, á unos llaman parientes, á
otros parientes señores, y á otros
nombres de parentesco, sin haber
entre ellos ninguno, ante los
quieren hacer sus parientes
porque se tenga en ellos por
grandeza llamarlos parientes, por
ser más cosa magnífica el dar
que el recibir, siendo tan gran
mentira y tan manifiesta, y no
piensan que es peccado venial
mentir á cada paso, y no tienen
cuenta con que no es lícito el
mentir, ni aun por salvar la vida
del hombre.
Jerónimo.—No llaman á todos
parientes ni primos, que algunos
llaman singulares ó especiales
amigos.
Antonio.—También mienten en
esto, porque, según dice Tulio en
el De amicicia: La amistad ha de
ser entre los iguales, y como no lo
sean, aquel á quien escriben no
puede ser su amigo singular.
¿Queréislo ver? Si el criado ó el
vasallo llamase al señor amigo,
permitirlo ia? No por cierto, y assí
no se puede llamar amistad la
que hay entre ellos; y si no es
amistad, no se pueden llamar
propiamente amigos.
Albanio.—De essa manera ¿no
dexáis título ninguno con que los
señores puedan escribir á los
criados y vasallos y otros
inferiores?
Antonio.—No faltan títulos si
ellos quieren escribirlos, y más
propios que los escriben. A los
criados escribirles: á mi criado, á
mi fiel criado, á mi humilde criado,
á mi buen criado Fulano. A los
que no lo son: al honrado, al
virtuoso, al muy virtuoso, y otras
maneras que hay de escribir; que
no parezcan desatinos, y de los
malos usos que en él se han
introducido que tendrán por
mayor desatino este que digo.
Jerónimo.—No tengáis dubda
desso.
Antonio.—Como quiera que sea
diga yo la verdad en tiempo y
lugar, y el mundo diga y haga lo
que quisiere, y porque no
paremos aquí, os quiero decir otra
cosa no poco digna de reirse
como desatino y ceguera, que á
mí me tiene admirado que las
gentes no la destierren del mundo
como á simpleza, que los brutos
animales (si bastase su
capacidad á entenderla), burlarían
de nosotros y della.
Jerónimo.—¿Y qué cosa es
essa?
Antonio.—La que agora se usa
en los estornudos, que como
sabéis es aquella tan espantable
y terrible pestilencia que hubo en
la ciudad de Roma siendo
pontífice San Gregorio, cuando
las gentes estornudaban, se
caían luego muertos, y assí los
que los vían estornudar decían:
Dios os ayude, como á personas
que se les acababa la vida, y de
aquí quedó en uso, que después
á todos los que vían estornudar
los que se hallaban presentes les
ayudaban con estas buenas
palabras; pero agora, en lugar
desto, cuando alguna persona á
quien seamos obligados á tener
algún respeto estornuda, y
aunque sea igual de nosotros, le
quitamos las gorras hasta el
suelo, y si tienen alguna más
calidad, hacemos juntamente una
muy gran reverencia, ó por mejor
decir necedad, pues que no sirve
de nada para el propósito, ni hay
causa ni razón para que se haga.
Jerónimo.—A lo menos servirá
para que vos burléis della, y por
cierto muy justamente, porque
esta es una de las mayores
simplezas y necedades del
mundo, y mayor porque caen en
ella los que presumen de más
sabios, que los simples
labradores y otras gentes de más
poco valor están en lo más cierto,
pues que dexando de hacer las
reverencias se dicen unos á otros:
Dios os ayude; palabras dignas
de que los señores y príncipes no
se desdeñasen de oirlas, antes
están obligados á mandar á los
criados y súbditos que con ellas
los reverencien y acaten cuando
estornudaren.
Antonio.—Así habrá de pasar
esta necedad como otras
muchas, porque el uso della se ha
convertido en ley que se guarda
generalmente en todas partes,
aunque le queda sólo el remedio
de su invencion, que ya sabéis
que al nombre de Jesús se debe
toda reverencia, y es cierto que
cuando estornuda el que le quería
ayudar pronunciaba el nombre de
Jesús, y juntamente
pronunciándole, quitaba la gorra y
hacía la reverencia por reverencia
de tan alto nombre; quedóse la
reverencia y dejóse de pronunciar
el nombre, y los señores reciben,
no sin gran culpa, para sí la
reverencia debida al diviníssimo
nombre de Jesús, á quien toda
rodilla en el cielo y en la tierra y
en los abismos se debe humillar.
Digo, pues, que el remedio sería
que se usase pronunciar el
nombre de Jesús, que valiese al
que estornuda, y entonces la
reverencia quedaría para el
nombre y no la usurparía el que
no quisiese ser ídolo terrenal y
hacerle un emperador entre
manos.
Albanio.—Por cierto, señor
Antonio, que me parece que
habéis dado en el blanco; mas
veo que no os habéis acordado
en este artículo de los flayres.
Antonio.—No pecan tan á rienda
suelta en esto, pero todavía
tienen su punta, y los que algo
presumen les pesa si les llaman
vuestra reverencia, porque les
paresce que en esto les hacen
iguales á todos.
Jerónimo.—¿Pues cómo quieren
que les llamen?
Antonio.—Vuestra paternidad ó
vuessa merced, como á los
seglares.
Albanio.—No entiendo cómo sea
esso, que para hacer mercedes
temporales todos los flaires son
pobres, por donde les está mejor
decirles padre fray Fulano que el
señor; ¿por qué quieren ser más
llamados señores que padres y
no resciben con buena voluntad el
nombre de padres amando la
paternidad?
Antonio.—Así es, porque como
siendo flaires no dexen de ser
hombres, aunque no sea en todo
en parte, siguen el camino de los
otros hombres en este artículo de
la cortesía; pero, al fin, del mal en
ellos hay lo menos y pluguiesse á
Dios que nosotros fuésemos
como ellos, que por malos que los
extraordinarios dellos sean, en la
bondad nos hacen mucha
ventaja.
Albanio.—Bien me paresce que
después de descalabrados les
lavéis la cabeza.
Antonio.—No os maravilléis, que
he comenzado á decir verdades,
y para concluir con ellas en esta
materia que tratamos, digo que
considerando bien las de las
salutaciones y cortesías con los
títulos que se usan en el hablar y
en el escribir, es todo un gran
desatino, una ceguedad, una
confusión, un genero de mentiras
sabrosas al gusto de los que las
oyen, y así no solamente no hay
quien las reprenda, pero todos las
aman y las quieren y procuran de
hallarlas diciendo lisonjas para
que se las digan á ellos, y todo
para rescibir mayor honra en la
honra que no lo es, antes
verdaderamente deshonra, pues
en ello no hay virtud, ni género de
virtud, ni nobleza; y bien mirado,
se podrían mejor decir las causas
torpes y feas y dignas de
reprehensión para que los que las
hacen, y por medio dellas quieren
rescebir honra, se puedan tener
por afrentados y deshonrados.
Albanio.—Parésceme qué,
conforme á esso, no queréis dejar
honra ninguna en el mundo,
porque no habiendo quién busque
y procure la honra por el camino
que vos decís, habráse deshecho
la honra y no quedaría sino sólo
en nombre.
Antonio.—Engañaios, señor
Albanio, que no digo yo que haya
algunos, aunque no son muchos,
que tengan honra y la hayan
ganado por la virtud y por las
obras virtuosas que han hecho sin
mezcla de las otras cosas que la
destruyen y la deshacen, y á
estos tales hemos de tener por
dignos de ser honrados y
acatados, y aunque ellos no
quieran la honra, se la hemos
nosotros de dar. Porque cuanto
más huyeren y se apartaren de
querer la vanagloria mundana, se
dan á sí mesmos mayor
merecimiento para que nosotros
les demos la verdadera honra que
merescen.
Albanio.—¿Sabéis, señor
Antonio, que me paresce que
hiláis tan delgado esta tela que se
romperá fácilmente, porque todo
lo que decís es una verdad
desnuda, y conosciéndola vos tan
bien y dándonosla á conoscer no
usáis della como la platicáis?
Mirad qué harán los que no lo
entienden y piensan que aciertan
en lo que hacen.
Antonio.—No os maravilléis
deso, porque me voy al hilo de la
gente, que si tomase nueva
manera de hablar ó de escribir,
tendríanme por torpe y necio y
mal comedido, y por ventura de
los amigos haría enemigos, los
cuales no juzgarían mi intención
sino mis palabras, y como ayer
dixe, esto he tratado con vosotros
como con verdaderos amigos y
personas que lo entendéis,
aunque no bastemos á poner
remedio en estos desatinos. Pero
el tiempo, en que todas las cosas
se hacen y deshacen, truecan y
mudan y se acaban, por ventura
traerá otro tiempo en que á todos
sea común lo que aquí hemos
tratado particularmente. Otras
cosas se pudieran tratar que
agora por ser tarde quiero
dexarlas para cuando tengamos
más espacio, porque yo tengo
necesidad de ir á despachar
cierto negocio.
Albanio.—¿Qué es lo que más
puede quedar de lo dicho para
que la honra que se piensa y
tiene por tal quede más puesta
del lodo?
Antonio.—Una cuestión antigua
y tratada por muchos; sobre cuál
tiene mayor y mejor honra, el que
la ha ganado por el valor y
merecimiento de su persona ó el
que la tiene y le viene por la
dependencia de sus pasados.
Jerónimo.—Delicada materia es
esa, y como decís que requiere
más tiempo para altercarla, y por
saber si tenéis otras nuevas
razones sin las que sobre ello
están dichas, tengo deseo de oir
hablar en ello, y así os tomo la
palabra para que mañana á una
hora del día estemos aquí todos
tres, que yo quiero que no sea
como estos dos días, porque
tendré proveído el almuerzo para
que mejor podamos pasar el calor
cuando nos volvamos á nuestras
posadas.
Albanio.—Muy bien habéis dicho
si así lo hacéis, porque nos
hemos venido dos veces muy
descuidados madrugando tan de
mañana, y no será mala fruta de
postre acabar de entender lo que
el señor Antonio dirá sobre esta
cuestión, que yo aseguro que no
faltarán cosas nuevas.
Antonio.—A mí me place que
vengamos por ser convidados del
señor Jerónimo, que en lo demás
poco podré decir que no esté ya
dicho; bastará referir y traer lo
mejor y más delicado dello á la
memoria, poniendo yo de mi casa
lo que me paresciere. Y agora
comencemos á ir por esta calle de
árboles tan sombría.
Jerónimo.—No me holgara poco
que assí fuéramos siempre
encubiertos de arboleda hasta
palacio, porque el sol va muy alto
y la calor comienza á picar; bien
será darnos prisa.