All Questions
17 questions
28
votes
2
answers
863
views
$A^2$ is isomorphic to $A^{(\omega)}$, but not $A$
Is there an abelian group $A$ with $A\not\cong A\oplus A\cong A\oplus A\oplus A\oplus\cdots$ (a direct sum of countably many copies of $A$)?
Edited to add: As no answers are forthcoming, does anyone ...
- 18.7k
0
votes
1
answer
425
views
Generators of $SL(n,\mathbb F_2)$? [closed]
Consider the invertible matrices in $\mathbb F_2^{n\times n}$ which are a multiplicative group structure. Is there a finite set of $2k$ (at a $k\in\mathbb Z_{\geq1}$ independent of $n$) generators for ...
- 13.9k
3
votes
0
answers
180
views
Units in group rings
Let $F$ be any field with $p$ elements and $G$ be any finite $p$-group, combining together they form a group ring $FG$. And $V(FG)$ denotes group of units of coefficient-sum equal to 1 in $FG$. We ...
- 381
3
votes
1
answer
161
views
Behavior of invariants under reduction mod p
Let $R$ be a finitely generated $\mathbb{Z}$-algebra with an [edit: linear algebraic] action of $G(\mathbb{Z})$ where $G$ is a split simply-connected semisimple group.
Then for any prime $p$ we have a ...
- 689
6
votes
1
answer
299
views
Can a compact object be a nontrivial self-retract?
Let $\mathcal C$ be a locally finitely-presentable category, and let $X$ be a finitely-presentable object of $\mathcal C$.
Question: Can there exist a nontrivial idempotent on $X$ whose fixed points ...
- 63.9k
1
vote
0
answers
397
views
A functor on the category of commutative rings, algebras or Banach algebras
Edit: According to the comments of abx and Yemon Choi I revise the question as follows:
Let $G$ be a group and $\mathcal{A_G}$ be the category of $G$-module commutative algebras, that is the ...
- 356
3
votes
0
answers
65
views
Intersections of generating sets of subalgebras
Let $A$ be a finitely generated, finitely presented, Noetherian, unital algebra over the complex numbers, which has no zero divisors. We do not assume that $A$ is commutative however.
Moreover, let $...
24
votes
3
answers
1k
views
Is $\widehat{\mathbb{Z}}[[t]]\cong\widehat{\mathbb{Z}}[[\widehat{\mathbb{Z}}]]$?
Let $\widehat{\mathbb{Z}}[[\widehat{\mathbb{Z}}]] := \varprojlim_{n,m}(\mathbb{Z}/n)[x]/(x^m-1)$ be the complete group algebra of the profinite free group of rank 1. In Corollary 5.9.2 of Ribes-...
- 7,527
10
votes
1
answer
569
views
Non-isomorphic Heisenberg groups over rings
Suppose $R_1,R_2$ are finite unital commutative rings. Consider Heisenberg groups $H_3(R_1)$ and $H_3(R_2)$ (upper unitriangular marticies $3 \times 3$).
Proposition. If $R_1 \not\cong R_2$ (as ...
- 411
0
votes
0
answers
307
views
Basic question about power series and complete group algebras
This is a pretty basic question, but I suspect it might be too exotic for math.stackexchange.
Let $\mathbb{Z}_p$ be the $p$-adic integers. For free pro-$p$ group $F_r$ of rank $r$, we can consider ...
- 10.7k
1
vote
1
answer
188
views
fixed point scheme in caracteristic p
Let X\rightarrow A^{n} a smooth affine scheme over an affine space. Everything is defined over a field k.
Let G a finite group acting on X and suppose that his order is divisible by the caracteristic ...
- 3,472
4
votes
1
answer
256
views
Heisenberg-type groups over rings with involution
Hello everyone!
In a paper "Coverings of twisted Chevalley groups over commutative rings" Eiichi Abe intoroduced the following construction:
Let $R$ be a commutative ring and $x\mapsto\overline{x}$ ...
- 3,186
18
votes
7
answers
2k
views
Superfluous definitions
It is well known that the axioms of a ring R with unity 1 imply that the underlying group must be commutative.
For if a and b are elements of R, and writing + for the group operation then applying ...
9
votes
3
answers
1k
views
Does "finitely presented" mean "always finitely presented", considered in general
I'm wondering about the question
"If we have a finitely presented __, is it necessarily finitely presented with respect to any finite generating set for it?"
I know this is true for groups and ...
- 2,585
3
votes
0
answers
614
views
nilpotent matrices over polynomial rings
I am looking for an analogue of the Jordan normal form for nilpotent matrices over the
polynomial ring ${\mathbb Z}[x_1, \dots, x_n]$. More precisely, is there a description for the orbits of action ...
- 6,214
3
votes
2
answers
2k
views
Extension problem
As I understand, if $0\rightarrow A\rightarrow X\rightarrow B\rightarrow 0$ is a short exact sequence of abelian groups, $\mbox{Ext }_{\mathbb{Z}}^{1}(B,A)$ gives all the isomorphism classes of what ...
- 2,857
36
votes
17
answers
6k
views
Canonical examples of algebraic structures
Please list some examples of common examples of algebraic structures. I was thinking answers of the following form.
"When I read about a [insert structure here], I immediately think of [example]."
...