The abelian-groups tag has no usage guidance.

**3**

votes

**1**answer

99 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

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

**-1**

votes

**0**answers

48 views

### Basis theorem for finite abelian groups question (Pinter's “A book of Abstract Algebra”) [migrated]

I am stuck at the exercise Q5 of Chapter 16. Here is a summary of the question:
Let $G$ be a finite Abelian $p$-group where $p$ is a prime. Let $a \in G$ be an element of highest possible order in $G$...

**11**

votes

**1**answer

310 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

91 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

70 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

96 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

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

**15**

votes

**4**answers

967 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

320 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

88 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

330 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

152 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

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

**7**

votes

**1**answer

201 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

93 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

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

**4**

votes

**0**answers

246 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

436 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

344 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

60 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

52 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

401 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

304 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

347 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

503 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

124 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) &...

**4**

votes

**1**answer

457 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

245 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

152 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

114 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

296 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

124 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

84 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

347 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

78 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

207 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

198 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

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

**2**

votes

**2**answers

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