The tag has no wiki summary.

learn more… | top users | synonyms

8
votes
0answers
213 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 ...
1
vote
1answer
101 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 ...
9
votes
0answers
191 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
38 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
99 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
186 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 ...
7
votes
1answer
222 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
389 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? ...
3
votes
1answer
82 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 ...
5
votes
1answer
123 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
545 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
0answers
65 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
162 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
124 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
252 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
1answer
479 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 = ...
11
votes
1answer
180 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
753 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
228 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
277 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 ...
6
votes
0answers
200 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
158 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
157 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 ...
15
votes
1answer
703 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 ...
9
votes
1answer
485 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
265 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 ...
2
votes
3answers
358 views

Finite / uniquely divisible abelian groups

Is there any counter example for the following statement? STATEMENT: Let $0 \to F \to A \to Q \to 0$ be a short exact sequence of abelian groups. Assume that $F$ is a finite group, and $Q$ is a ...
0
votes
1answer
122 views

Inductive vs projective limit of sequence of split surjections

Let $$ A_1\twoheadrightarrow A_2\twoheadrightarrow A_3\twoheadrightarrow A_4\twoheadrightarrow \cdots $$ be an inductive sequence of countable abelian groups, the connecting homomorphisms of which are ...
0
votes
1answer
130 views

$p$-primary then divisible?

I asked this via MathSE, but haven't got any responces. Sorry for asking it here. Sorry. We know that in the context of abelian groups, $p$-groups are called $p$-primary groups. I have a question ...
1
vote
1answer
246 views

Why does tensor product in Ab(V) require colimits in V?

In Tom Leinster's book on operads, he gives Ab(V), the category of abelian groups in a symmetric monoidal category V, as an example of a multicategory that doesn't arise from a monoidal category, ...
2
votes
1answer
496 views

Linear algebra of finite abelian groups

If $f: V \to W$ is a surjective homomorphism of vector spaces, and we have fixed a basis for $V$, it is always possible to find a basis for $W$ such that the matrix associated to $\phi$ in the two ...
3
votes
1answer
303 views

On the existence of a direct summand containing a fixed subgroup

Let $G$ be a finite abelian group, and $g_1, \ldots, g_n \in G$ such that the cyclic groups that they generate are in direct sum $\langle g_1 \rangle \oplus \ldots \oplus \langle g_n \rangle$. Is it ...
5
votes
0answers
370 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 ...
3
votes
2answers
267 views

Cancellation theorem for lattices

By a lattice, we mean a finitely generated, free $\mathbb{Z}$-module together with a symmetric bilinear form. Typical examples are the hyperbolic lattices $U$ and the root lattices $A_{n}, D_{n}, ...
0
votes
1answer
499 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 ...
4
votes
2answers
622 views

Hall polynomial when the subgroup is cyclic?

Does anyone know the formula for a Hall polynomial $g_{u,v}^{\lambda}(p)$ when $v$ is the type of cyclic subgroup (ie. $v=(v_{1})$ ) . http://en.wikipedia.org/wiki/Hall_algebra I was hoping this ...
6
votes
1answer
982 views

Mysterious property of $\mathbb{Q}$

Hi, I am currently working through the paper by Bousfield and Gugenheim on rational homotopy theory, and have come to a point where they show why it is important to work over $\mathbb{Q}$, and not ...
3
votes
1answer
532 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 ...
7
votes
0answers
326 views

Is the class of additive groups of rings axiomatizable?

I know that it is impossible to axiomatize the multiplicative structures of rings, called $R$-semigroups. Is anything known about the first-order axiomatizability of the class of abelian groups which ...
12
votes
2answers
625 views

Zero-sum partition of an abelian group

This is a question I have been asking myself some 5 years ago. I later got bored by lack of progress, but maybe some additive combinatorialists here know further. I'm not claiming it is conceptual or ...
0
votes
1answer
388 views

minimal divisible group

I am trying to prove this: If a divisible group $E$ containining $A$ is minimal divisible then $A$ is an essential subgroup of $E$. Let $ < c > =C, \ C\cap A = 0$. Without loss of generality ...
26
votes
1answer
1k views

Do the algebraic integers form a free abelian group?

It is a well-known fact, proved in every introductory textbook on algebraic number theory, that if $K$ is an algebraic number field, i.e. a finite extension of $\mathbb{Q}$, then its ring ...
2
votes
1answer
550 views

Minimal generation for finite abelian groups

Let $G$ be a finite abelian group. I know of two ways of writing it as a direct sum of cyclic groups: 1) With orders $d_1, d_2, \ldots, d_k$ in such a way that $d_i|d_{i+1}$, 2) With orders that are ...
4
votes
1answer
273 views

Cardinality of the set of elements of fixed order.

Let us consider the group $G:=\mathbb{Z}_N^a$ (the product of the cyclic group with $N$ elements with itself $a$ times). Suppose we are given a number $m$ that divides $N$. I would like to know how ...
2
votes
2answers
441 views

Definable subsets of the integers as an abelian subgroup?

Consider the integers as a first-order structure in the language {0,+,-} of abelian groups. I suspect that the collection of definable subsets (without parameters) of this structure is an algebra ...
4
votes
4answers
437 views

A question about the additive group of a finitely generated integral domain

Let $R$ be an integral domain of characteristic 0 finitely generated as a ring over $\mathbb{Z}$. Can the quotient group $(R,+)/(\mathbb{Z},+)$ contain a divisible element? By a "divisible element" I ...
8
votes
1answer
407 views

Reference request: a locally cyclic group is isomorphic to a section of the rational numbers

A group $G$ is locally cyclic if whenever $H \le G$ is a finitely generated subgroup then $H$ is cyclic. If $G$ is a locally cyclic group then $G$ is isomorphic to a quotient of a subgroup of the ...
2
votes
1answer
129 views

Categories with canonical factorizations into products satisfying two particular properties

An old splitting theorem for (Hausdorff) locally compact abelian (LCA) groups says that any LCA group $L$ is isomorphic to a direct product of $\mathbb{R}^n$ and $L_1$, where $L_1$ contains a ...
6
votes
1answer
194 views

Positive cone of a subgroup of Z^n

This question sounds like it should be very well known, but for some reason I failed to find a decent answer anywhere. Let $G\subset\mathbb{Z}^n$ be a subgroup, and $G_+=G\cap\mathbb{Z}_{\ge0}^n$ be a ...
0
votes
3answers
249 views

The category of Abelian groups with selected elements

Hi, In his book (Categories for the working mathematician) MacLane speaks (on page 45) about the category of objects (of $\textbf{Ab}$) under $\mathbb{Z}$ which is the comma category ...