4
$\begingroup$

Let $\mathbb{Z}^{n}$ be the free abelian group of rank $n$.

A ring structure on $\mathbb{Z}^{n}$ is a choice of a unit element $e\in \mathbb{Z}^{n} $ and a bilinear map $m:\mathbb{Z}^{n}\otimes_{\mathbb{Z}}\mathbb{Z}^{n}\rightarrow \mathbb{Z}^{n}$ satisfying the standard axiomes for ring structure.

My question is the following:

  1. How many commutative ring structures is there on the group $\mathbb{Z}^{n}$ up to ring isomorphism.
  2. How many ring structures is there on the group $\mathbb{Z}^{n}$ up to ring isomorphism.

I feel that the answer should depend on $n$ in essential way, but I am not sure. I will be happy for any classification result in low dimension.

$\endgroup$
1
  • 1
    $\begingroup$ "standard axioms for ring structure": there are several non-equivalent conventions for this (associative+commutative, associative, none). $\endgroup$
    – YCor
    Feb 15, 2017 at 23:38

1 Answer 1

4
$\begingroup$

At least countably many commutative structures when $n\geq 2$. Just take $\mathbb{Z}[x]/(f(x))$ where $f(x)\in \mathbb{Z}[x]$ is a monic irreducible polynomial of degree $n$. (There are countably many different extensions of $\mathbb{Q}$ of degree $n$, so while some of these rings are isomorphic, there are countably many different ones.)

On the other hand there are at most countably many non-commutative ring structures when $n\geq 2$. Each such ring structure is of the form $\mathbb{Z}\left\{x_1,x_2,\ldots, x_{n}\right\}/I$ where $I$ is the ideal generated by relations $x_i x_j = \sum_{k=1}^{n}a_{i,j,k} x_k$ with $a_{i,j,k}\in \mathbb{Z}$. There are countably many such choices for these relations.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.