- #1

- 520

- 2

What's so special about finite presentations?

Does it indicate some properties about the group?

Does it indicate some properties about the group?

- Thread starter tgt
- Start date

- #1

- 520

- 2

What's so special about finite presentations?

Does it indicate some properties about the group?

Does it indicate some properties about the group?

- #2

matt grime

Science Advisor

Homework Helper

- 9,395

- 3

On a practical scale, they're about the only things one can compute with, though even then there are famous conjectures about how hard it is to determine something about a group from a presentation.

They're also the groups that keep cropping up 'in nature'. Nature in the case can be taken to mean 'topology'. E.g. homotopy groups will occur naturally as finitely presented groups. Take the torus for example, it is standard to write/define/discover the fundamental group as generated by two loops going in the different directions around a torus, subject to the relation that they commute (this makes the group ZxZ).

- #3

- 520

- 2

Finite is always countable. Isn't that obvious?A finitely presented group is countable (and I assume finite is countable). In the grand scheme of things being countable is an exceptionally rare event for a group.

On a practical scale, they're about the only things one can compute with, though even then there are famous conjectures about how hard it is to determine something about a group from a presentation.

Can you list some of the conjectures?

- #4

Hurkyl

Staff Emeritus

Science Advisor

Gold Member

- 14,916

- 19

Some people use the word 'countable' to mean what you would call 'countably infinite' -- i.e. to mean bijective with the natural numbers. Matt looks like he was simply explicitly stating how he is using the word.Finite is always countable. Isn't that obvious?

- #5

matt grime

Science Advisor

Homework Helper

- 9,395

- 3

It's a convention that not all people adopt, so no it isn't at all obvious. Google forFinite is always countable. Isn't that obvious?

'conjectures finitely presented groups'

to get some ideas. Probably the most famous is 'the word problem': identify when some word (i.e. some string of generators) is equal to the identity (or when two words are equal). Even 'is the group finite' is hard.

- #6

- 520

- 2

The hardness of these things might suggest that looking at groups via their presentations alone might not be a good way to study the groups. In other words the presentation definitions is that useful/good?It's a convention that not all people adopt, so no it isn't at all obvious. Google for

'conjectures finitely presented groups'

to get some ideas. Probably the most famous is 'the word problem': identify when some word (i.e. some string of generators) is equal to the identity (or when two words are equal). Even 'is the group finite' is hard.

- #7

- 520

- 2

Right.Some people use the word 'countable' to mean what you would call 'countably infinite' -- i.e. to mean bijective with the natural numbers. Matt looks like he was simply explicitly stating how he is using the word.

- #8

matt grime

Science Advisor

Homework Helper

- 9,395

- 3

OK, so I give you a group G. I tell you nothing about it at all. How are you going to prove anything? A finite presentation actually allows you to make deductions about the group. It's just that there are no algorithms that are particularly fast.The hardness of these things might suggest that looking at groups via their presentations alone might not be a good way to study the groups. In other words the presentation definitions is that useful/good?

Certainly, one tries to do things other than just play with the generators and relations, such as trying to impose a hyperbolic metric on some associated space, for example. Or tries to find an action on something that tells you more.

- Replies
- 1

- Views
- 1K

- Last Post

- Replies
- 1

- Views
- 2K

- Replies
- 1

- Views
- 634

- Last Post

- Replies
- 4

- Views
- 1K

- Replies
- 4

- Views
- 2K

- Last Post

- Replies
- 3

- Views
- 2K

- Last Post

- Replies
- 2

- Views
- 3K

- Last Post

- Replies
- 5

- Views
- 2K

- Last Post

- Replies
- 11

- Views
- 4K

- Last Post

- Replies
- 2

- Views
- 1K