The tag has no usage guidance.

learn more… | top users | synonyms

2
votes
0answers
51 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
0answers
176 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 ...
30
votes
3answers
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
0answers
80 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
0answers
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
1answer
146 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
0answers
41 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
2answers
186 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
1answer
125 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
1answer
151 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
1answer
67 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
0answers
445 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
1answer
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
1answer
317 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
1answer
33 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
0answers
211 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
2answers
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
1answer
108 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 ...
76
votes
2answers
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
1answer
131 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
1answer
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
2answers
631 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
1answer
87 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
4answers
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
0answers
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
1answer
150 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
0answers
382 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
0answers
42 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
0answers
136 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
1answer
188 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
1answer
270 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
1answer
547 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
1answer
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
1answer
153 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
3answers
669 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
1answer
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
1answer
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
1answer
202 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
0answers
438 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
1answer
751 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
1answer
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
0answers
808 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
2answers
283 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
1answer
429 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
1answer
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
0answers
186 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
0answers
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
1answer
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
1answer
573 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
1answer
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 ...