Questions tagged [abelian-groups]
For questions about groups whose elements commute.
253 questions
5
votes
0
answers
194
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?
- 151
5
votes
1
answer
611
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$ ...
- 63.9k
9
votes
1
answer
1k
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}/\...
- 63.9k
5
votes
2
answers
907
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 ...
- 63.9k
1
vote
1
answer
110
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$...
- 38.6k
0
votes
1
answer
309
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?
- 11.3k
4
votes
2
answers
507
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 ...
- 63.9k
2
votes
0
answers
176
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 ...
CommunityBot
- 1
6
votes
1
answer
389
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 ...
- 28.8k
1
vote
1
answer
168
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)+....
- 12.9k
3
votes
1
answer
181
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 ...
- 555
2
votes
0
answers
96
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 ...
CommunityBot
- 1
17
votes
1
answer
1k
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 ...
- 35.2k
5
votes
2
answers
219
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 ...
- 63.9k
1
vote
0
answers
109
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,813
5
votes
0
answers
444
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 ...
- 93
5
votes
1
answer
472
views
Countable reduced abelian group containing all countable reduced abelian groups
Is there a countable abelian group for which its subgroups are exactly all of the countable "reduced" abelian groups? (Reduced means that its divisible subgroup is zero)
Is the following group a ...
- 63.9k
6
votes
2
answers
249
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 ...
- 63.9k
14
votes
1
answer
696
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 $\...
- 149k
8
votes
2
answers
501
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 \...
- 149k
11
votes
1
answer
424
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 \...
CommunityBot
- 1
3
votes
0
answers
46
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-...
- 29
2
votes
0
answers
67
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\...
- 1,766
2
votes
0
answers
100
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-...
- 1,813
2
votes
0
answers
130
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 ...
CommunityBot
- 1
4
votes
2
answers
449
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 ...
- 63.9k
3
votes
2
answers
318
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....
- 3,571
7
votes
1
answer
373
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 ...
- 35.2k
29
votes
0
answers
877
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.
...
CommunityBot
- 1
2
votes
1
answer
209
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) &...
- 31.5k
5
votes
1
answer
702
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,679
1
vote
1
answer
145
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 ...
- 14.6k
16
votes
1
answer
1k
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$ ...
- 25.8k
10
votes
0
answers
428
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....
CommunityBot
- 1
4
votes
2
answers
715
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 ...
- 111
1
vote
1
answer
68
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$...
CommunityBot
- 1
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 ...
CommunityBot
- 1
4
votes
2
answers
1k
views
Cyclic subgroups of finite abelian groups
I learned from MO Subgroups of a finite abelian group that the problem of enumerating subgroups (not up to isomorphism) of finite abelian groups is a difficult one.
Are there simple formulas if one ...
CommunityBot
- 1
2
votes
1
answer
205
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 ...
- 35.2k
1
vote
2
answers
1k
views
Maximal subgroups of a finite p-group
I want to prove the following:
Let $G$ be a finite abelian $p$-group that is not cyclic.
Let $L \ne {1}$ be a subgroup of $G$ and $U$ be a maximal subgroup of L then there exists a maximal subgroup $...
- 115
9
votes
1
answer
3k
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\...
- 115
3
votes
0
answers
133
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 ...
- 367
5
votes
0
answers
171
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 ...
CommunityBot
- 1
6
votes
2
answers
232
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 =...
- 25.5k
2
votes
1
answer
941
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 $\...
- 53.3k
6
votes
1
answer
332
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]$ ...
CommunityBot
- 1
2
votes
1
answer
682
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. ...
CommunityBot
- 1
9
votes
1
answer
995
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.
...
- 66.8k
14
votes
0
answers
518
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 ...
- 3,104
9
votes
0
answers
298
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,169