# Questions tagged [abelian-groups]

The abelian-groups tag has no usage guidance.

**3**

votes

**1**answer

212 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 ...

**4**

votes

**2**answers

283 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 ...

**3**

votes

**1**answer

148 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 ...

**3**

votes

**1**answer

112 views

### On decomposition of finite Abelian groups

It is easy to see that for any finite Abelian group $G$ and any numbers $a,b$ with $|G|=ab$ there exist a subgroup $A\subset G$ and a subset $B\subset G$ such that $|A|=a$, $|B|=b$ and $G=A+B$, where $...

**6**

votes

**1**answer

198 views

### Reference request: an elementary result on characters of finite abelian groups

The referee of a paper I submitted to a journal asked me to include a reference of the following elementary result on characters of finite abelian groups:
Let $A$ be a finite abelian group of order $...

**11**

votes

**1**answer

322 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 ...

**1**

vote

**1**answer

97 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). ...

**2**

votes

**1**answer

72 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)$ ...

**5**

votes

**0**answers

99 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?

**4**

votes

**1**answer

172 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$ ...

**17**

votes

**4**answers

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 ...

**5**

votes

**2**answers

322 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 ...

**1**

vote

**1**answer

89 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$...

**0**

votes

**1**answer

73 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?

**4**

votes

**2**answers

333 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 ...

**2**

votes

**0**answers

156 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 ...

**-2**

votes

**1**answer

191 views

### $G \oplus \mathbb Z^k \cong G \oplus \mathbb Z^l $ but $(G \oplus \mathbb Z^m)\otimes \mathbb Q \ncong (G \oplus \mathbb Z^n)\otimes \mathbb Q$? [closed]

Does there exist non-negative integers $k,l,m,n$, with $k \ne l$, such that $G \oplus \mathbb Z^k \cong G \oplus \mathbb Z^l $ but $(G \otimes_{\mathbb Z}\mathbb Q) \oplus \mathbb Q^m \ncong (G \...

**6**

votes

**1**answer

211 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 ...

**1**

vote

**1**answer

90 views

### Limit of trace maps in finite fields

If $\mathbb{F}_{q^n}$ is a finite field with $q^n$ elements ($q$ being a power of a prime $p$) we have the trace map $tr^n_m:\mathbb{F}_{q^n}\rightarrow \mathbb{F}_{q^m}$ such that $x\mapsto x+F^m(x)+....

**3**

votes

**1**answer

98 views

### Characterisation of a class of group homomorphisms related to a central extension

Let $S$ and $R$ be groups and say $\sigma: S \twoheadrightarrow R$ is a group homomorphism that is a central extension; that is, it is surjective (extension) and its kernel is contained in the centre ...

**2**

votes

**0**answers

77 views

### A kind of cancellation ; exchange problem for groups

For which $(m,n,k,l) \in (\mathbb N\cup \{0\})^4$ , with $m\le n ; k\le l$ , does there exist a group $G$ with a finite subnormal series with torsion-free Abelian quotients such that $G \times \mathbb ...

**3**

votes

**0**answers

91 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 ...

**1**

vote

**0**answers

49 views

### Symmetric analogue of “alternating bihomomorphism is skew of 2-cocycle” theorem

Let $G$ be a finite abelian group. It is well-known that every alternating bihomomorphism $\Omega:G\times G \to \mathbb{C}^\times$ arises as the skew $\kappa/\kappa^T$ of a 2-cocycle $\kappa \in Z^2(G,...

**5**

votes

**0**answers

256 views

### Subgroups and quotients of an abelian pro-finite group

It is well known that every subgroup $H$ of a finite abelian group $G$ is isomorphic to a quotient of $G$.
I'm wondering whether there is a counterpart for profinite groups.
For example is it true ...

**6**

votes

**2**answers

168 views

### Two abelian groups, each being direct factor of the other

Let $M$ and $N$ be two abelian groups. Suppose that $M$ is a direct factor of $N$ (i.e. there are homomorphisms $i:M\rightarrow N$ and $p:N\rightarrow M$ such that $p\circ i=id_M$) and $N$ is also a ...

**13**

votes

**1**answer

441 views

### $\mathbb{Z}$-module structure of the subring generated by an algebraic number

Let $a$ and $b$ be algebraic numbers which are not necessarily algebraic integers. Is there some invariant that allows us to determine whether $\mathbb Z[a]$ and $\mathbb Z[b]$ are isomorphic as $\...

**8**

votes

**2**answers

346 views

### Exact sequence of $n$th powers of abelian groups

Let $A,B,C$ be finitely generated abelian groups. Assume that there is an exact sequence $$0 \to C \to A^n \to B^n \to 0,$$where $A^n = A \oplus \dotsc \oplus A$ as usual. It is not assumed that $A^n \...

**3**

votes

**0**answers

34 views

### What is an example of an integral domain with a module that is 1-separable but not separable?

Let R be an integral domain. All modules under discussion are torsion free unital left R-modules.
An R-module is completely decomposable if it is the direct sum of rank 1 submodules.
An R-...

**2**

votes

**0**answers

62 views

### Are these convex cones polyhedral?

I'm actually playing with some convex cones, and I would like to know if there is a chance they would be described by a finite number of inequalities.
Let me introduce some notation first.
Let $n\...

**2**

votes

**0**answers

54 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-...

**2**

votes

**0**answers

113 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 ...

**3**

votes

**2**answers

402 views

### Number of torsion-free abelian groups

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 ...

**11**

votes

**1**answer

309 views

### Torsion-free abelian group $A$ such that $A \not \simeq A \oplus \Bbb Z \simeq A \oplus \Bbb Z^2$

Is there a torsion-free abelian group $A$ such that $A \not \simeq A \oplus \Bbb Z \simeq A \oplus \Bbb Z \oplus \Bbb Z$ (as groups)?
Notice that $\Bbb Z$ is not cancellable, so
$A \oplus \Bbb Z \...

**11**

votes

**1**answer

356 views

### Functorial description of mod-2 homology of an abelian group $A$ in terms of $A/2$ and ${}_2A.$

Let $A$ be an abelian group and $p$ be a prime. If $p\ne 2,$ there is a very nice functorial description of the homology algebra $H_*(A,\mathbb Z/p):$
$$H_*(A,\mathbb Z/p)\cong \Lambda^*(A/p)\otimes \...

**25**

votes

**0**answers

517 views

### The field of fractions of the rational group algebra of a torsion free abelian group

Let $G$ be a torsion free abelian group (infinitely generated to get anything interesting). The group algebra $\mathbb{Q}[G]$ is an integral domain. Let $\mathbb{Q}(G)$ be its field of fractions.
...

**2**

votes

**1**answer

125 views

### Constructing an explicit extension of a continuous character on a closed subgroup of a certain locally compact abelian group

Let $ G $ be a locally compact abelian group and $ \omega: G \times G \to \mathbb{T} $ a continuous multiplier on $ G $, i.e.,
\begin{align}
\forall r,s,t \in G: \qquad
\omega(s,t) ~ \omega(r,s + t) &...

**5**

votes

**1**answer

473 views

### Direct limits of a matrix and its transpose

Let $A \in M_n(\mathbb Z)$ and $A^T$ denote the transpose of $A$. Define the direct limits
$$H_1 = \mathrm{colim} (\mathbb Z^n \xrightarrow{A} \mathbb Z^n \xrightarrow{A} \mathbb Z^n \xrightarrow{A} \...

**4**

votes

**1**answer

251 views

### Subgroups of the tensor product $A\otimes A$

I have this problem about subgroups of the tensor product of an abelian group $A$ with itself which arises from a complete different setting.
I fell into this question studying quandles and quandle ...

**2**

votes

**1**answer

122 views

### Intermediate lattices $C\mathbb{Z}^n \subseteq \Lambda \subseteq \mathbb{Z}^n$

Let $C \in \mathfrak{gl}(\mathbb{Z},n)$ be a symmetric full rank integer valued matrix (in my case its the symmetric part of a Cartan matrix).. Let $\Lambda \subseteq \mathbb{Z}^n$ be a full rank ...

**1**

vote

**1**answer

102 views

### Non-degeneracy of product of group pairings

For $G$ finite abelian group, let $\eta,\omega:G \times G \to \mathbb{C}^\times$ be group pairings. What can I say about the (non-)degeneneracy of the product pairing $\eta \cdot \omega$ in terms of ...

**4**

votes

**2**answers

156 views

### Torsionless not separable abelian groups

A torsionless abelian group $A$ is one for which any element $a\neq 0$ can be sent to a nonzero element of $Z$ by some homomorphism $A\rightarrow Z$ (integers). Equivalently, $A$ can be embedded as a ...

**2**

votes

**1**answer

116 views

### Generalized height of elements in abelian groups

In the book Infinite abelian groups Vol. I by L. Fuchs, on page 154, the notion of the generalized $p$-height of an element in an abelian group is defined, as follows:
Let $A$ be an abelian group ...

**7**

votes

**1**answer

298 views

### On describing a sort of “well-behaved” subgroups of a free abelian group

I found this question when I tried to figure out what kind of subgroups of a free abelian group behave just as well as in the finitely generated case.
Let $M$ be a free abelian group and $N$ a ...

**32**

votes

**3**answers

3k views

### Is there a nice explanation for this curious fact about cyclic subgroups?

Here's something that I noticed that quite surprised me.
Let $G$ be a finite abelian group. Consider the following expression.
$$
\nu(G) = \sum_{\substack{H \leq G \\ H \text{ is cyclic}}} |H|
$$
It ...

**5**

votes

**0**answers

131 views

### Result of Larsen and Lunts on rationality of power series with coefficients in a free abelian group

Let $G$ be a free abelian group (not necessarily finitely-generated) and $F$ be the fraction field of the group ring of $G$. Let $\Theta$ be the set of power series in $F[[t]]$ such that each nonzero ...

**3**

votes

**0**answers

87 views

### Characteristically simple locally compact abelian groups

Say a topological group $G$ is topologically characteristically simple if there does not exist a closed subgroup $1 < K < G$ such that $K$ is invariant under all automorphisms of $G$ (here `...

**3**

votes

**2**answers

361 views

### The center of a(n endomorphism) ring is a PID

Let $A$ be a torsion-free Abelian group, and let $\mbox{End}(A)$ be its endomorphism ring. Denote by $R\doteq\mathbf{Z}(\mbox{End}(A))$ the center of $\mbox{End}(A)$. What would be necessary and/or ...

**3**

votes

**0**answers

80 views

### Quantifier elimination of pp-subgroups of modules

This is a model-theoretic questions. Let $M$ be a $R$-module. Our language will be the standard language of modules, i.e. the language of abelian groups together with an unary function symbol for ...

**6**

votes

**2**answers

209 views

### Finding an “optimal” quotient in a free group

Consider the abelian free group $G = \mathbf{Z}^n$ of rank $n$ and a finite subset $A \subset G \setminus \{0\}$. Since $G$ is residually finite, there is a subgroup $H \subset G$ such that $A \cap H =...

**8**

votes

**1**answer

207 views

### Positivity of power of positive PSD matrices

Background: Let $M$ be an $n\times n$ matrix with nonnegative entries. It is immediate that for any integer $k$, $M^k$ has nonnegative entries.
Suppose now that, on top of having nonnegative entries, ...