Redundant generation in $\operatorname{PSL}_2\left(\mathbb{Q}_p\right)$ GBY82BZCNA
| URI | m2://res/GBY82BZCNA |
|---|---|
| Kind | preprint |
| Creators | Yair Glasner, Amit Levinson-Sela |
| Date | 2026-09-29 |
| MSC | 20-XX |
| Subjects | arxiv math.GR |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-09-29 |
| Ids | arXiv 2609.37237 |
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
| Item | Kind | Where | Source |
|---|---|---|---|
| 3XQ7W9NC8Y | statement | proposition 4.1 | arxiv |
| 49WSEE4MPA | statement | theorem 3.1 | arxiv |
| 54G4HT17G6 | statement | proposition 2.4 | arxiv |
| 6NSAGNKHGK | definition | definition 2.1 | arxiv |
| 8EYEAPD5K7 | statement | lemma 5.1 | arxiv |
| 92GNDPNDWN | statement | lemma 2.5 | arxiv |
| APTRTN7HY3 | statement | proposition 5.3 | arxiv |
| D36SV0FJWY | statement | theorem 1.2 | arxiv |
| Tits' Lemma | statement | lemma 2.7 | arxiv |
| Helly's Theorem | statement | proposition 2.8 | arxiv |
| K9M3EKRK73 | statement | lemma 2.3 | arxiv |
| NXM8AE2YZ4 | definition | definition 1.1 | arxiv |
| WND75ERXAQ | statement | theorem 1.3 | arxiv |
| XBASRKS9M4 | statement | proposition 4.2 | arxiv |
Catalogue records
- arxiv: 2609.37237 (work)
- arxiv_text: 2609.37237 (work)