{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q688804","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q688804","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q688804","kernelVersion":"v1","immutable":true,"modified":"2025-12-31T23:58:11Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q688804","name":"On the undecidability of some classes of abelian-by-finite groups","headline":"On the undecidability of some classes of abelian-by-finite groups","description":"scientific article; zbMATH DE number 438521","url":"https://portal.mardi4nfdi.de/entity/Q688804","datePublished":"1993-11-30","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q688803"},{"@id":"https://portal.mardi4nfdi.de/entity/Q190304"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1254307"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q122505"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1016/0168-0072(93)90172-A","url":"https://doi.org/10.1016/0168-0072(93)90172-A"},"sameAs":["https://doi.org/10.1016/0168-0072(93)90172-A"],"comment":"For any group \\(G\\) and every formula \\(\\varphi(v)\\) in the first-order language of groups, \\(K(G,\\varphi)\\) denote the class of groups \\(H\\) such that \\(\\varphi(H)\\) is a normal Abelian subgroup of \\(H\\) and \\(H/\\varphi(H)\\cong G\\). The main result is the following theorem: Let \\(G\\) be a finite nilpotent group whose order is not square-free. Then there is a formula \\(\\varphi(v)\\) such that the theory of \\(K(G,\\varphi)\\) is undecidable.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q1254992"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5340151"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3922829"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3877660"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1057943"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1078254"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4289363"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5287568"}]},"provenance":{"prov:generatedAtTime":"2025-12-31T23:58:11Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}