Home / Talk: "Recognizing Z-extensions" (J. Delgado, UPC)

# Talk: "Recognizing Z-extensions" (J. Delgado, UPC)

We are interested in algorithmically recognizing families of finitely presented groups.
More precisely, if F is one such family, we shall consider the following algorithmic problems:

- Given an arbitrary finite presentation, decide whether it presents a group in F (membership problem for F).

- Given a finite presentation of a group in F, compute ``nice presentations'' for it (enumeration problems within F).

- Given two finite presentations of groups in F, decide whether they are isomorphic or not (isomorphism problem within F).

We will see that the family of finitely presented extensions by Z (i.e. finitely presented groups having Z as quotient) provides both positive and negative answers for some of the stated problems.
In particular, one of the positive answers allows us to reduce the isomorphism problem for unique Z-extensions of a finitely presented group G, to the ``semi-conjugacy'' problem for Out G; while one of the negative answers provides a direct proof for the undecidability of the BNS invariant (a nice geometric invariant long agreed to be hard to compute).

Filed under:
{"ft_lang_label":"__label__en","ft_lang_prob":0.8958603,"math_prob":0.75553906,"size":1136,"snap":"2021-04-2021-17","text_gpt3_token_len":242,"char_repetition_ratio":0.14310955,"word_repetition_ratio":0.0,"special_character_ratio":0.19894366,"punctuation_ratio":0.1,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.98180115,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-01-16T09:15:00Z\",\"WARC-Record-ID\":\"<urn:uuid:0e3ea4e3-8a8a-4882-aba3-2c79df26ed36>\",\"Content-Length\":\"27942\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:4a091efc-16b2-4e56-ae4b-81593f019b2f>\",\"WARC-Concurrent-To\":\"<urn:uuid:373e437b-8eea-4090-93fa-4764203e5f97>\",\"WARC-IP-Address\":\"147.83.101.60\",\"WARC-Target-URI\":\"http://grupsbcn.epsem.upc.edu/events/talk-recognizing-z-extensions\",\"WARC-Payload-Digest\":\"sha1:X4NIOOEOC5PHARXPOO7XNZHJKXZTK36Z\",\"WARC-Block-Digest\":\"sha1:2YIKMXSFHJKDNTV2FIUCN7V2RBYQVP7Y\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-04/CC-MAIN-2021-04_segments_1610703505861.1_warc_CC-MAIN-20210116074510-20210116104510-00622.warc.gz\"}"}