The abelian-groups tag has no usage guidance.

**2**

votes

**1**answer

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

**6**

votes

**0**answers

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

**31**

votes

**3**answers

2k 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

82 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

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

**2**

votes

**1**answer

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

**2**

votes

**0**answers

43 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

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

**6**

votes

**1**answer

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

**3**

votes

**1**answer

152 views

### Is a left-exact limit-preserving functor $Ab \to Ab$ necessarily representable?

Let $Ab$ be the category of abelian groups, and let $F: Ab \to Ab$ be a covariant functor which is left-exact and limit-preserving. Is $F$ necessarily naturally equivalent to a functor of the form $\...

**1**

vote

**1**answer

70 views

### Character kernels in the lattice of subgroups of a finite abelian group

I am looking for any efforts that have been made to characterize the character kernels (equivalently, the subgroups yielding cyclic quotients) inside the lattice of subgroups of a finite abelian group....

**13**

votes

**0**answers

447 views

### A possible mistake in Walter Rudin, “Fourier analysis on groups”

I have the following lemma 4.2.4 on page 80 in the book (we have locally compact abelian topological groups $G_1, G_2$ and their duals $\Gamma_1, \Gamma_2$):
Suppose $E$ is a coset in $\Gamma_2$ ...

**5**

votes

**1**answer

240 views

### Zero-sum sets in union-closed families

The Davenport constant $D(G)$ of a finite abelian group $G$ is the minimum integer $n$ such that whenever $a_1, \ldots, a_n \in G$ (not necessarily distinct), there is a non-empty $I \subseteq [n]$ ...

**2**

votes

**1**answer

319 views

### One-dimension Algebraic groups

I am searching for a possible analogue of a result in algebraic groups in a non-commutative setting, so I am looking for different proofs of the following :
Let $K$ be an algebraically closed field. ...

**1**

vote

**1**answer

38 views

### On finite Uniform (Goldie) dimensions

1) Is there any characterization of $\Bbb{Z}$-modules with finite uniform dimensions?
2) Find two $\Bbb{Z}$-modules $N, M$ such that $N\leq M$ and $M\hookrightarrow N$ but $N$ is not isomorphic to $M$...

**8**

votes

**0**answers

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

**1**

vote

**2**answers

149 views

### Abelian group of finite rank

Let given torsion free abelian group $A$ of finite rank. Let for prime number $p$, given that $\cap_i p^iA =\{0\}$. Is it true that for any $p$- torsion abelian group $B$, $\text{Hom}_{\mathbb{Z}}(A, ...

**2**

votes

**1**answer

111 views

### Looking for a modern source about Ulm Invariants

I'm looking for a modern, approachable text (preferably a website, textbook, or expository article, and preferably one easily available online or at a library) which can explain the concept of Ulm ...

**77**

votes

**2**answers

3k views

### $A$ is isomorphic to $A \oplus \mathbb{Z}^2$, but not to $A \oplus \mathbb{Z}$

Are there abelian groups $A$ with $A \cong A \oplus \mathbb{Z}^2$ and $A \not\cong A \oplus \mathbb{Z}$?

**2**

votes

**1**answer

132 views

### Counting elements with certain word length in abelian groups

Given a (finite) abelian group $G = \langle S \mid R \rangle$, has the problem of counting the number of elements which can be expressed as a word (in $S$) of length $\leq k$ been studied? If so, ...

**2**

votes

**1**answer

117 views

### Irreducible characters of finite abelian groups

Let $G$ be finite abelian group and $K$ a field such that $char(K)$ does not divide the order $r$ of $G$. For each divisor $d$ of $r$ let $\omega_d$ be a primitive $d$-root of unity and $a_d:=\frac{\...

**22**

votes

**2**answers

636 views

### Are the p-adics a direct summand of the direct product of the groups $\mathbb{Z}/p^n\mathbb{Z}$?

The p-adic integers $\mathbb{Z}_p$ can be thought of as a subgroup of the direct product group $P = \prod_{n \geq 1} \mathbb{Z}/p^n\mathbb{Z}$. Are they a direct summand of this group? That is, is ...

**1**

vote

**1**answer

89 views

### An example of a non-(locally cyclic) Abelian group whose automorphism group is cyclic not of order $2$

In the wake of my curiosity on this kind of things, I was thinking if there is an example of a non-(locally cyclic) Abelian group whose automorphism group is cyclic not of order $2$. Every example I ...

**20**

votes

**4**answers

1k views

### Categorical proof subgroups of free groups are free?

This is a crossport of this question from MSE.
Is there a categorical proof that subgroups of free groups are free?
How about the result that subgroups of free abelian groups are free abelian?
What ...

**8**

votes

**0**answers

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

**1**

vote

**1**answer

156 views

### Freeness of torsion-free abelian groups

Let $A$ be a countable torsion-free abelian group. The following conditions are well known to be equivalent:
$A$ is free abelian,
every finite rank pure subgroup of $A$ is free abelian.
Consider ...

**13**

votes

**0**answers

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

**2**

votes

**0**answers

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

**1**

vote

**0**answers

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

**2**

votes

**1**answer

190 views

### The special subgroups of a finite abelian group of rank two

Let $G=\langle a_{1}\rangle\times\langle a_{2}\rangle$ such that $|a_{i}|=2^{k_{i}}$ and $k_{1}>k_{2}$ and $H$ be a subgroup of $G$ that there exists an automorphism of $G$ such that fix only ...

**8**

votes

**1**answer

275 views

### C* algebras of Almost Periodic Functions

Suppose we take, for example, the $C^*$-algebra which is the sup norm closure of the exponentials $e^{2 \pi i ax}$ where $a \in \mathbb{Z} + \theta \mathbb{Z}$ for $\theta$ an irrational number. This ...

**5**

votes

**1**answer

550 views

### Do all exact sequences $0 \rightarrow A \rightarrow A \oplus B \rightarrow B \rightarrow 0$ split for finitely generated abelian groups?

Suppose $A$ and $B$ are finitely generated Abelian groups. Are all exact sequences of the form $0 \rightarrow A \rightarrow A \oplus B \rightarrow B \rightarrow 0$ split?
If not, is there an example?

**4**

votes

**1**answer

122 views

### Is the annihilator of the intersection of two subgroups of a (countable) discrete abelian group generated by the annihilators of the two subgroups?

Let $G$ be a (countable) discrete abelian group and denote by $\hat{G}$ its Pontryagin dual, i.e. the compact abelian group of group homomorphisms $\chi:G \longrightarrow \mathbb{T}$. Recall that, for ...

**6**

votes

**1**answer

154 views

### Nearly slender abelian groups

Let $\prod_{n=1}^{\infty}\mathbb{Z}$ be the Baer-Specker group (infinite direct product of the additive group of integers) and $\bigoplus_{n=1}^{\infty}\mathbb{Z}$ be the natural subgroup which is the ...

**15**

votes

**3**answers

672 views

### The existence of non-trivial homomorphisms $\prod_{n=1}^{\infty}\mathbb{Z}/\bigoplus_{n=1}^{\infty}\mathbb{Z}\to\mathbb{Z}/p\mathbb{Z}$

Let $\prod_{n=1}^{\infty}\mathbb{Z}$ be the Baer-Specker group and $\bigoplus_{n=1}^{\infty}\mathbb{Z}$ be the natural free abelian subgroup. It is known that if $G$ is a countable abelian group with ...

**1**

vote

**1**answer

110 views

### When does a cogenerator determine a variety?

Two varieties of universal algebras are categorically equivalent iff their respective full subcategories of finitely generated free algebras are equivalent. Roughly speaking, this follows because they ...

**2**

votes

**1**answer

180 views

### Name and references for a “twisted” addition in a ring

This question may seem a little unmotivated, but it actually isn't something that just occurred to me out of nowhere. It stems from a discussion I had the other day with a friend and is directly ...

**2**

votes

**1**answer

206 views

### Tensor product of topological abelian groups with the reals

Given an abelian group A, the tensor product $A \otimes R$, where R are the reals, is naturally an R-vector space.
Now suppose that A is a topological abelian group (if necessary, we can assume it ...

**4**

votes

**0**answers

444 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 $\...

**8**

votes

**1**answer

755 views

### Automorphism group of a finite group

I would like to ask if there exists an explicit description of $\mathrm{Aut}(G)$, the group of automorphisms of a finite group $G$, in particular, when $G$ is abelian. E.g., if $G = \mathbb{Z}/m\...

**11**

votes

**1**answer

199 views

### Looking for concrete description of a category derived from abelian groups

The category of abelian groups $\mathsf{Ab}$ is the $\mathcal{Ind}$-completion of the full subcategory of finitely presentable abelian groups $\mathsf{Ab}_{fp}$. This is not so special, since the ...

**14**

votes

**0**answers

809 views

### Epimorphisms $\mathbb{Z}^{\mathbb{N}} \to \mathbb{Z}^{\mathbb{N}}$ are split

Consider the additive group of integer sequences $\mathbb{Z}^{\mathbb{N}}$. Why does every epimorphism of groups $\mathbb{Z}^{\mathbb{N}} \to \mathbb{Z}^{\mathbb{N}}$ split? $(\star)$
Actually this ...

**4**

votes

**2**answers

289 views

### The 2-group of extensions

Let $A,B$ objects of an abelian category. Then we can define the abelian group $\mathrm{Ext}^1(A,B)$ as the set of isomorphism classes of extensions $0 \to B \to E \to A \to 0$, endowed with the Baer ...

**9**

votes

**1**answer

431 views

### Direct product decomposition for infinite abelian groups with constrained torsion

Let $g$ be a positive integer, and let $G$ be a commutative group with the following constraint on its torsion subgroup: there is an injection $G[\operatorname{tors}] \hookrightarrow (\mathbb{Q}/\...

**8**

votes

**1**answer

367 views

### constructive Serre classes

A Serre class (of abelian groups) is a class of abelian groups closed under subgroups, quotients, and extensions. For instance, finitely generated groups and finite groups are both Serre classes.
...

**1**

vote

**0**answers

187 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

166 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/(...

**16**

votes

**1**answer

749 views

### Subgroups of $\mathbb{Z}^n$

I hope that the following problem isn't actually elementary (at least, for the sake of the fact that I'm posting it here), and I apologize if it is. I did try hard to solve it first.
Let $V$ be a $\...

**12**

votes

**1**answer

581 views

### Classification of symtrivial modules over a PID

Let us call a module $M$ over a commutative ring $R$ symtrivial if the symmetry $M \otimes M \to M \otimes M, a \otimes b \mapsto b \otimes a$ equals the identity (the same notion applies to arbitrary ...

**1**

vote

**1**answer

268 views

### abelian subgroups

Have the groups "PSL(n,q)" and "PSL(n,q).f ", the same maxiaml abelian subgroups or not?(where "PSL(n,q).f " is the extension of PSL(n,q) by the field automorphism of it) Is there any counterexample ...