# Questions tagged [abelian-groups]

The tag has no usage guidance.

149 questions
Filter by
Sorted by
Tagged with
60 views

### Fitting subgroup of a solvable group is a direct product of some elementary abelian $p$-groups

I saw a remark saying If $G$ is solvable, then ${\rm Out}(F(G))$ is isomorphic to a direct product of ${\rm GL}(n_i,p_i)$ (except for certain value of $n_i$ and $p_i$). I know the key is to prove ...
220 views

### A $\mathsf{ZF}$ example of a nonreflexive group which is isomorphic to its double dual?

Given a group $G$ denote by $G^\ast=\mathrm{Hom}(G,\Bbb Z)$ its dual and by $j\colon G\to G^{\ast\ast}$ the canonical homomorphism $g\mapsto (f\mapsto f(g))$. A group is reflexive iff $j$ is an ...
181 views

58 views

### Pure (ordered) subgroups

Let $H,G$ be abelian groups with $H \leq G$. We say that $H$ is a pure subgroup of $G$ if for every $n \in \mathbb N$ and $h \in H$ the following holds: If $h$ is $n$-divisible in $G$, then $h$ is $n$-...
283 views

### Finite-by-torsion-free abelian groups (or compact abelian groups with finitely many components)

Here's a question I should know the answer to but don't: Suppose $1\to F \to G \to G/F \to 1$ is a short exact sequence of abelian groups with $F$ finite and $G/F$ torsion-free. Must the sequence ...
231 views

### What are the almost periodic functions on the complex plane?

The almost periodic functions on the real line can be characterized as uniform limits of trigonometric functions. I was wondering whether a similar definition exists on the complex plane (a locally ...
331 views

### Non-torsion part of the abelianisation of congruence subgroups

I've posted this question on math.stackexchange, but haven't gotten any responses so I'm trying here instead. Let $A = F_q[T]$ be the ring of polynomials in one variable with coefficients in a finite ...
209 views

### Finite dimensional compact abelian group that is not a product of connected and a totally disconnected

Let $G$ be a compact abelian group. A compact abelian group is said to have dimension $n$ if $\dim_\mathbb{Q} \mathbb{Q}\otimes \hat G = n$. Equivalently one can show that this holds if $G$ is ...
128 views

500 views

### How nearly abelian are nilpotent groups?

It is not uncommon to read that "nilpotent groups are 'close to abelian'."1,2 Can this sentiment be made precise in the sense of the Turán and Erdős definition of "the probability that two elements of ...
138 views

### Inverse limit of $p^n$-torsion abelian groups

Let $p$ be a prime and let $\{A_n\}_{n > 0}$ be an inverse limit of abelian groups such that $A_n$ is $p^n$-torsion with $A_n/p^{n - 1} \cong A_{n - 1}$ (these isomorphisms are part of the data). ...
113 views

### On the laplacian of connected, undirected, multigraphs without loops

Let $G$ be a connected, undirected multigraph, without loops. Let $L_G = D_G - A_G$, where $D_G= diag (val (v_1), \ldots , val (v_n) )$ where $n$ is the no. of vertices of $G$ and $val (v_i)$ ...
115 views

### Which rings are the endomorphisms ring of some abelian groups?

Which rings are (isomorphic to) the endomorphisms ring of some abelian group? Is there any necessary and sufficient condition?
259 views

### What are the LCA groups that are the Pontryagin dual of a locally profinite abelian group?

For certain subcategories of LCA groups, we have nice descriptions of the dual category under Pontryagin duality (all groups are implicitly assumed to be abelian): finite groups $\leftrightarrow$ ...
1k views

### Constructively, is the unit of the “free abelian group” monad on sets injective?

Classically, we can explicitly construct the free Abelian group $\newcommand{\Z}{\mathbb{Z}}\Z[X]$ on a set $X$ as the set of finitely-supported functions $X \to \Z$, and so easily see that the unit ...
361 views

### What is $\mathrm{Hom}(\mathbb{Q},\mathbb{Z}(p^{\infty}))$?

What is $\mathrm{Hom}(\mathbb{Q},\mathbb{Z}(p^{\infty}))$? I have a reference that says the group in question is $\mathbb{Q}_p,$ the additive group of the quotient field of the $p$-adic integers. Can ...
97 views

### Indecomposable monoids

Let $M$ be a commutative reduced and cancellative monoid and $K(M)$ its group of quotients. We say that $M$ is indecomposable if for every divisor-closed submonoids $M_1$ and $M_2$, $M=M_1\oplus M_2$...
121 views

### exact short sequence of divisible groups splits? [closed]

Let $0 \rightarrow A \rightarrow B \rightarrow C \rightarrow 0$ be a short exact sequences of divisible abelian groups. Does then the sequence splits?
372 views

### Co-finite type abelian groups

Suppose $B$ is an abelian group such that for every integer $n\ge 1$, the $n$-torsion subgroup $B[n]$ is finite. Let $B_{\rm tor} = \varinjlim_{n\ge 1} B[n]$ be the torsion subgroup of $B$. Is it ...
165 views

### Trivial Tate modules

Let $A$ be an abelian group, and $p$ a prime. I'll call $$T_p(A) := \text{Hom}_{\mathbf{Z}}(\mathbf{Q}_{p}/\mathbf{Z}_{p}, A).$$ If $A$ is finite, then $T_p(A)$ is trivial, but the converse is not ...
135 views

### Logic article on first-order invariants of abelian groups

I remember reading an article published in the 1970s by a Polish mathematician describing the first-order invariants of a torsion-free abelian group. I do not recollect the author's name, the title of ...
271 views

### Transcendence degree of the fraction field of $k[G]$ for torsion free abelian group $G$

Let $k$ be a field of characteristic $p$ and $G$ be a torsion free abelian group . Then the group ring $k[G]$ is an integral domain , let $k(G)$ denote its field of fractions . Then can we say ...
95 views

104 views

### sums of quadratic forms over finite abelian groups

Let $A$ be a finite abelian group. Let $q:A\times A\to \mathbb{C}^{\times}$ be a non-degenerate bicharacter (that is: for every $a\in A$ $q(a,-)$ and $q(-,a)$ are characters of $A$, which are trivial ...
59 views

366 views

77 views

### Alternating bihomomorphism is skew of 2-cocycle - relative situation

Let $G$ be a finite abelian group. It is well-known that every alternating bihomomorphism $\Omega:G\times G \to \mathbb{C}^\times$ (i.e. $\Omega(g,g)=1$) arises as the skew $\kappa/\kappa^T$ of a 2-...
120 views

### Existence of a transfinite sequence of abelian groups having a strange property

I am studying a paper which uses the following lemma. The context is irrelevant, as the lemma is only used as a technical trick and has no pointer to a reference or hint in the proof but its link to ...
Let $\mathfrak{c}$ be the cardinality of the continuum. How much Choice, if any, is needed to prove that there are $2^{\mathfrak{c}}$ distinct (mutually nonisomorphic) torsion-free abelian groups of ...