# Questions tagged [abelian-groups]

The abelian-groups tag has no usage guidance.

40
questions with no upvoted or accepted answers

**26**

votes

**0**answers

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

**18**

votes

**0**answers

565 views

### If $A, B$ are abelian groups such that $\mathrm{Hom}(A, G) \cong \mathrm{Hom}(B, G)$ for all abelian groups $G$, must $A$ and $B$ be isomorphic?

The question is in the title. If the isomorphism $\mathrm{Hom}(A, G) \cong \mathrm{Hom}(B, G)$ is natural in $G$ then this is just the Yoneda Lemma. If $A$ and $B$ are finitely generated this is also ...

**14**

votes

**0**answers

455 views

### Is $\mathbb{Z}^{\omega}$ ever the union of a chain of proper subgroups each isomorphic to $\mathbb{Z}^{\omega}$?

Recall that the covering number $cov(B)$ is the least cardinal $\kappa$ such that $\kappa$ meagre sets cover the real line. Andreas Blass and John Irwin http://www.math.lsa.umich.edu/~ablass/bb.pdf ...

**10**

votes

**0**answers

385 views

### Sets which are unions of translates of each other but aren't single translates

I'm a hobbyist mathematician so any question I ask here might be at risk of closure. I hope this one is good enough, but I'm not sure. This is a continuation of two questions I asked on math....

**9**

votes

**0**answers

278 views

### An abstract zero-sum problem

I would like to know whether the problem described below has appeared in the literature and/or whether similar questions have been studied. I would be very happy to find some references or, if none ...

**8**

votes

**0**answers

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

**8**

votes

**0**answers

875 views

### Examples of uncountable abelian $p$-groups

Does anyone know of any interesting examples of an infinite abelian $p$-group which is uncountable?
By non-interesting here I mean the direct sums of cylic and quasi-cylic groups, and totally ...

**7**

votes

**0**answers

108 views

### A conjecture on circular permutations of n elements in an abelian group of odd order

In 2013 I formulated the following conjecture in additive combinatorics.
Conjecture. Let $G$ be an additive abelian group of odd order, and let $A$ be a subset of $G$ with $|A|=n>2$. Then, there is ...

**7**

votes

**0**answers

1k views

### Completion of abelian topological groups

During some exercises I came upon the following questions that I cannot answer myself. Given a topological group $G$ we can build the completion using cauchy sequences and denote this completion by $\...

**6**

votes

**0**answers

95 views

### Cohomology of the Baer-Specker group

Let $A = \prod_{i \in \mathbb{N}} \mathbb{Z}$ be the Baer-Specker group; that is, a countably infinite product of the integers. We will consider this as a discrete abelian group.
Are the higher ...

**6**

votes

**0**answers

244 views

### When is every element of a coend of abelian groups contained in one of the summands?

Let $I$ be a small category and let $D : I^{\mathrm{op}} \times I \to \mathsf{Ab}$ be a functor. The coend
$$\int^{i \in I} D(i,i)$$
can be constructed as the direct sum $\bigoplus_{i \in I} D(i,i)$ ...

**6**

votes

**0**answers

139 views

### When is $\{s_2-s_1,s_3-s_2,s_1-s_3\}\cap S$ non-empty for any $s_1,s_2,s_3\in S$?

A subset $S$ of an abelian group is a subgroup if and only if it is closed under taking differences; that is, the difference of any two elements of $S$ is in $S$. Suppose, however, that we only know ...

**5**

votes

**0**answers

146 views

### Can an infinite abelian $p$-group be tall and thin?

Does there exist an abelian $p$-group $A$ with countable Ulm invariants and uncountable height?
Here by height, I mean the minimal ordinal $\rho$ such that $p^\rho A$ is divisible [1]. For an ordinal ...

**5**

votes

**0**answers

107 views

### Invariant measure on coset space and integrable functions

Let $G$ be a locally compact abelian group, and $H$ a closed subgroup. Let $C_c(G)$ be the space of continuous, compactly supported complex valued functions on $G$. General theory of Haar measure ...

**5**

votes

**0**answers

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

**5**

votes

**0**answers

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

**5**

votes

**0**answers

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

**5**

votes

**0**answers

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

**4**

votes

**0**answers

131 views

### Image of $\rm{lim}^1$ functor

In category of abelian groups, we know that
— values of $\rm{lim}^1$ on countable systems are precisely cotorsion groups
— values of $\rm{lim}^1$ on systems of finitely generated groups are of the ...

**3**

votes

**0**answers

125 views

### The group of sequences in $G^{\mathbb{N}}$ that converge to $(0,0,0,\dots)$

Let $G$ be a discrete abelian group and $G^{\mathbb{N}}$ be the direct product (with the product topology), which consists of sequences $(a_1,a_2,a_3,\dots)$ of elements of $G$.
Let $G^{\infty}$ ...

**3**

votes

**0**answers

176 views

### Uncountable Mittag-Leffler condition?

Let $(X_\alpha)_{\alpha <\kappa}$ be an inverse system of abelian groups.
If $\kappa = \omega$ (or by extension if $\kappa$ is of countable cofinality), then the Mittag-Leffler condition is a ...

**3**

votes

**0**answers

308 views

### Homology $H_{\ast}(T, V)$

Let $A$ be a local domain. We let $T=T(A) $ be the subgroup of $\mathrm{SL}_{2}$ consisting of diagonal matrices and $V$ be the subgroup of unital matrices of $\mathrm{SL}_{2}$; i.e.
$V:=\left\{\left(
...

**3**

votes

**0**answers

66 views

### Hales' generalization of the stacked bases theorem (seeking a proof)

In his paper Analogues of the stacked bases theorem, published in the proceedings of a 1976 conference, A.W. Hales claimed some interesting generalizations of the stacked bases theorem for abelian ...

**3**

votes

**0**answers

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

**3**

votes

**0**answers

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

**3**

votes

**0**answers

54 views

### Local cross sections in infinite dimensional groups

Let $G$ be an (infinite dimensional) compact connected abelian group and $H$ be a closed subgroup of $G$. The quotient morphism $G\to G/H$ may not possess a local cross section, there are examples ...

**2**

votes

**0**answers

39 views

### Cotorsion-freeness in uncountable products of abelian groups

An abelian group $A$ is cotorsion provided that whenever $A \leq G$ with $G$ abelian and $G/A$ is
torsion-free, we have $G \cong A \oplus B$ for some $B \leq G$. An abelian group $A$ is
cotorsion-...

**2**

votes

**0**answers

56 views

### Alternating $n$-homomorphism on abelian group is skew of $n$-cocycle

Let $A$ be a finitely generated abelian group. Let $c$ be a 2-cocycle on $A$, where $A$ acts trivially on $\mathbb{C}^\times$. It is well-known that the skew-map
$$ c(a_1,a_2) \longmapsto \frac{c(a_1,...

**2**

votes

**0**answers

86 views

### Who classified varieties that are commutative groups?

Who are the authors of the theorems asserting that connected varieties/manifolds which are abelian groups are isomorphic to ${\bf R}^k \times {\bf T}^n$?
In the smooth setting, I guess this is due to ...

**2**

votes

**0**answers

167 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

**0**answers

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

**2**

votes

**0**answers

65 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

80 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

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

**1**

vote

**0**answers

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

**1**

vote

**0**answers

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

**1**

vote

**0**answers

349 views

### Ring of endomorphisms as a criterion of a dimension 1 module

Let $R$ be a unital ring and $M$ be an $R$-module. I have some questions about relation between the ring $\operatorname{End}_R M$ of endomorphisms and the notion of “dimension” of a module. I’m not ...

**1**

vote

**0**answers

240 views

### How many subgroups of order $\prod_{1}^{n} p_{i}^{n_{i}}$ are there in the finite product of cyclic groups?

All of the following ${p_{i},q_{i}}$are prime numbers, ${n,m,k}$ are pre-assigned integers.
Consider the product of cyclic groups $\prod_{1}^{n} \mathbb Z_{p_{i}^{n_{i}}}$ then we asked the question:
...

**0**

votes

**0**answers

89 views

### Name for a pair of lattices one of which having theta series with coefficients a subsequence of another lattice's theta series coefficients

Is there a name for a pair of lattices which have the property given in the title (up to a change of variable)? The following example of a pair captures the property mentioned above:
$$(i)\ 1 + 80q^3 ...

**0**

votes

**0**answers

182 views

### Quotients of Abelian Groups

Let $G$ be an abelian group and let $A$ and $B$ be subgroups of $G$. Furthermore, let $C$ be a subgroup of $A \cap B$. I would like to find another subgroup $A+B \subseteq D \subseteq G$ so that $D/(...