{"@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/Q367018","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q367018","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q367018","kernelVersion":"v1","immutable":true,"modified":"2026-01-20T06:38:40Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q367018","name":"Isomorphism classes and zeta-functions of some nilpotent groups.","headline":"Isomorphism classes and zeta-functions of some nilpotent groups.","description":"scientific article; zbMATH DE number 6211481","url":"https://portal.mardi4nfdi.de/entity/Q367018","datePublished":"2013-09-25","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q267455"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q172432"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.3836/TJM/1374497517","url":"https://doi.org/10.3836/TJM/1374497517"},"sameAs":["https://doi.org/10.3836/TJM/1374497517"],"comment":"Let \\(G\\) be a finitely generated group. The subgroup zeta function of \\(G\\), denoted by \\(\\zeta_G(s)\\), is defined as the Dirichlet series associated to the sequence \\(\\{a_n(G)\\}_n\\), where \\(a_n(G)\\) is the number of subgroups of \\(G\\) of index \\(n\\). A fundamental question that arises is to ask what kind of equivalence class of \\(G\\) is determined by the zeta function \\(\\zeta_G(s)\\). In particular, does \\(\\zeta_G(s)=\\zeta_H(s)\\) imply \\(G\\cong H\\)? This question has a negative answer. The purpose of this article is to give a positive answer in the case \\(G\\) belongs to a class of finitely generated, torsion-free and nilpotent groups to which the discrete Heisenberg group \\(U_3(\\mathbb Z)\\) belongs and every \\(G\\) in this class is commensurable with \\(U_3(\\mathbb Z)\\times\\mathbb Z^{m-1}\\) for some \\(m\\), or a free Abelian group.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q1257552"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1106338"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5489371"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2456751"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1923258"},{"@id":"https://portal.mardi4nfdi.de/entity/Q601865"}]},"provenance":{"prov:generatedAtTime":"2026-01-20T06:38:40Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}