Search

We prove the Identity Theorem for pro-$p$-groups with a single defining relation giving a positive feedback to a question of Serre on the structure of relation modules. A construction of "conjurings" indicates finality of our result in a certain sense., Comment: Comparing to previous versions several changes are made (now in English), proofs are expanded and corrected. Comments are welcome!

Quasirational presentations ($QR$-presentations) of (pro-$p$)groups are studied. Such presentations include, in particular, aspherical presentations of discrete groups and their subpresentations and pro-$p$-groups with a single defining relation. Using schematization of $QR$-presentations we answer a variation of J.-P. Serre's question on one-relator pro-$p$-groups., Comment: Text structure has been reorganized. Material on Melnikov's conjecture was singled out into a different article. Now in English, still a preliminary version any comments are wellcome