• 제목/요약/키워드: free abelian groups of finite rank

검색결과 3건 처리시간 0.016초

RESIDUAL p-FINITENESS OF CERTAIN HNN EXTENSIONS OF FREE ABELIAN GROUPS OF FINITE RANK

  • Chiew Khiam Tang;Peng Choon Wong
    • 대한수학회보
    • /
    • 제61권3호
    • /
    • pp.785-796
    • /
    • 2024
  • Let p be a prime. A group G is said to be residually p-finite if for each non-trivial element x of G, there exists a normal subgroup N of index a power of p in G such that x is not in N. In this note we shall prove that certain HNN extensions of free abelian groups of finite rank are residually p-finite. In addition some of these HNN extensions are subgroup separable. Characterisations for certain one-relator groups and similar groups including the Baumslag-Solitar groups to be residually p-finite are proved.

AN EXAMPLE OF LARGE GROUPS

  • Cevik, Ahmet Sinan
    • 대한수학회보
    • /
    • 제57권1호
    • /
    • pp.195-206
    • /
    • 2020
  • The fundamental idea of this article is to present an effective way to obtain the large groups in terms of the split extension obtained by a finite cyclic group and a free abelian group rank 2. The proof of the main result on largeness property of this specific split extension groups will be given by using the connection of large groups with the groups having deficiency one presentations.

On the Mordell-Weil Groups of Jacobians of Hyperelliptic Curves over Certain Elementary Abelian 2-extensions

  • Moon, Hyun-Suk
    • Kyungpook Mathematical Journal
    • /
    • 제49권3호
    • /
    • pp.419-424
    • /
    • 2009
  • Let J be the Jacobian variety of a hyperelliptic curve over $\mathbb{Q}$. Let M be the field generated by all square roots of rational integers over a finite number field K. Then we prove that the Mordell-Weil group J(M) is the direct sum of a finite torsion group and a free $\mathbb{Z}$-module of infinite rank. In particular, J(M) is not a divisible group. On the other hand, if $\widetilde{M}$ is an extension of M which contains all the torsion points of J over $\widetilde{\mathbb{Q}}$, then $J(\widetilde{M}^{sol})/J(\widetilde{M}^{sol})_{tors}$ is a divisible group of infinite rank, where $\widetilde{M}^{sol}$ is the maximal solvable extension of $\widetilde{M}$.