Tagged Questions

2answers
81 views

if $A^\times$ is a commutative group, does $A$ necessarily be a commutative ring?

Let $A$ be a ring and $A^\times$ be the collection of unit elements of $A$. If $A$ is a commutative ring, then $A^\times$ is a commutative group. Conversely, if $A^\times$ is a commutative group, ...
2answers
88 views

Is the ring of polynomial invariants of a finite perfect group an UFD?

Let $G$ be a finite group. $G$ acts on $\mathbb K[x_1,...,x_n]$ by automorphisms fixing $K$. $\mathbb K[x_1,...,x_n]^G=\{ T\in \mathbb K[x_1,...,x_n],\forall \sigma \in G, T^{\sigma}=T\}$ is the ring ...
2answers
139 views

Picard group of a Affine scheme

How do we define a Picard group of an Affine scheme? Is there way to define as for commutative ring? Thanks
1answer
250 views

Extending Herstein's Challenging Exercise to Modules

Anybody who has worked through Herstein's Topics in Algebra might remember Exercise 26 of Section 2.5 (in second edition): If $G$ is an abelian group containing subgroups of order $m$ and $n$, ...
1answer
348 views

Commutative ring with unity Proof on the set of units?

the question is as follows (TRUE or FALSE.) If R is a commutative ring with unity, then the set of units in R forms a subring. (If true, give a short proof. If false, give a specic counter-example.) ...
0answers
45 views

Lorenzen embedding theorem for an $\ell$-group

The Lorenzen embedding theorem for an lattice-ordered group says that any lattice-ordered group can be embedded into a product of totally ordered group. What condition on lattice-ordered group makes ...
1answer
94 views

Closed subgroups of n copies of the p-adic integers

What do closed subgroups of $\mathbb{Z}_p \oplus \cdots \oplus \mathbb{Z}_p$ look like (where there are $n$ summands in the direct sum)?
1answer
90 views

Fix points of group action under base change

Let $A$ be a local noetherian domain. Let $M$ be a torsion free $A$-module equipped with an $A$-linear action of a group $G$. Let $\mathfrak{m}$ be the maximal ideal in $A$. Is the natural map ...
2answers
65 views

Elementary Question about Torsion Subgroups

Let $G$ be an abelian group which is killed by multiplication with the integer $n\geq 1$. Let $n=a\cdot b$ with $a,b \geq 1$ and relatively prime. Denote by $G[a]$ resp. $G[b]$ the $a$-resp. ...
1answer
122 views

Original article on the Grothendieck group

Is there someone who knows the title of the original publication of Grothendieck on the construction of the Grothendieck group? Thanks in advance.
1answer
210 views

When is $\mathbb{Z}$ a flat $\mathbb{Z}G$-module?

Suppose that $\mathbb{Z}$ is a flat $\mathbb{Z}G$-module for a group $G$. Question: Is $G$ the trivial group ? Nb. I know that the question can be answered affirmatively if $G$ is finitely ...
1answer
154 views

What is meant by the Grothendieck group being the “best possible” construction of an abelian group from a commutative monoid?

On the wiki page for Grothendieck group, the first sentence says the Grothendieck group is the "best possible" way to construct an abelian group from a commutative monoid. What actually does this ...
1answer
305 views

Torsion subgroup

Prove that in a finitely generated abelian group $G$ the torsion subgroup is a direct summand (from Scott, Group Theory). Clearly, the torsion subgroup is normal because $G$ is abelian, so we have to ...
2answers
499 views

A condition for a subgroup of a finitely generated free abelian group to have finite index

Let A be a free Abelian group of finite rank and B be a subgroup of A such that $A=B+pA$ for some prime number p, then how to prove $B$ is a subgroup of finite index in A? And if $A=B+pA$ holds for ...
2answers
262 views

A commutative group structure on $R\times R$ for a ring $R$

Let $R$ be a commutative ring. The Cartesian square $A=R\times R$ is endowed with the operation $(a_1,b_1)\circ(a_2,b_2)=(a_1+a_2,b_1+b_2+a_1a_2^2+a_1^2a_2)$ which turns $A$ into a commutative ...
1answer
187 views

Intersection of neighborhoods of 0. Subgroup?

Repeating for my exam in commutative algebra. Let G be a topological abelian group, i.e. such that the mappings $+:G\times G \to G$ and $-:G\to G$ are continuous. Then we have the following Lemma: ...