BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

René Hartung

René Hartung appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.GR

Catalog footprint

What is connected

6works
1topics
1close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2012arXiv

A Note on Invariantly Finitely $L$-Presented Groups

In the first part of this note, we introduce Tietze transformations for $L$-presentations. These transformations enable us to generalize Tietze's theorem for finitely presented groups to invariantly finitely $L$-presented groups. Moreover, they allow us to prove that `being invariantly finitely $L$-presented' is an abstract property of a group which does not depend on the generating set. In the second part of this note, we consider finitely generated normal subgroups of finitely presented groups. Benli proved that a finitely generated normal subgroup of a finitely presented group is invariantly finitely $L$-presented whenever its quotient is infinite cyclic. We generalize this result to the case where the finitely presented group splits over its finitely generated subgroup and to the case where the quotient is abelian with torsion-free rank at most two.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Investigating self-similar groups using their finite $L$-presentation

Self-similar groups provide a rich source of groups with interesting properties; e.g., infinite torsion groups (Burnside groups) and groups with an intermediate word growth. Various self-similar groups can be described by a recursive (possibly infinite) presentation, a so-called finite $L$-presentation. Finite $L$-presentations allow numerous algorithms for finitely presented groups to be generalized to this special class of recursive presentations. We give an overview of the algorithms for finitely $L$-presented groups. As applications, we demonstrate how their implementation in a computer algebra system allows us to study explicit examples of self-similar groups including the Fabrykowski-Gupta groups. Our experiments yield detailed insight into the structure of these groups.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

A Reidemeister-Schreier theorem for finitely $L$-presented groups

We prove a variant of the well-known Reidemeister-Schreier theorem for finitely $L$-presented groups. More precisely, we prove that each finite index subgroup of a finitely $L$-presented group is itself finitely $L$-presented. Our proof is constructive and it yields a finite $L$-presentation for the subgroup. We further study conditions on a finite index subgroup of an invariantly finitely $L$-presented group to be invariantly $L$-presented itself.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Coset enumeration for certain infinitely presented groups

We describe an algorithm that computes the index of a finitely generated subgroup in a finitely $L$-presented group provided that this index is finite. This algorithm shows that the subgroup membership problem for finite index subgroups in a finitely $L$-presented group is decidable. As an application, we consider the low-index subgroups of some self-similar groups including the Grigorchuk group, the twisted twin of the Grigorchuk group, the Grigorchuk super-group and the Hanoi 3-group

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Refined solvable presentations for polycyclic groups

We describe a new type of polycyclic presentations, that we will call refined solvable presentations, for polycyclic groups. These presentations are obtained by refining a series of normal subgroups with abelian sections. These presentations can be described effectively by presentation maps which yield the basis data structure to define a polycyclic group in computer-algebra-systems like {\scshape Gap} or {\scshape Magma}. We study refined solvable presentations and, in particular, we obtain consistency criteria for them. This consistency implementation demonstrates that it is often faster than the existing methods for polycyclic groups.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Solving linear equations over finitely generated abelian groups

We discuss various methods and their effectiveness for solving linear equations over finitely generated abelian groups. More precisely, if $φ\colon G\to H$ is a homomorphism of finitely generated abelian groups and $b\in H$, we discuss various algorithms for checking whether $b\in \imφ$ holds and if so, for computing a pre-image of $b$ in $G$ together with the kernel of $φ$.

0 citations0 reviewsNo code linkedOpen access