# Tag Info

Accepted

### Does there exist a pair of infinite fields, the additive group of one isomorphic to the multiplicative group of the other?

A pair of fields like this exists. As noted in the question, one may assume that $E$ is a field of characteristic zero. Therefore $E^+$ is an infinite, torsion-free, divisible, abelian group; i.e. an ...
• 13.9k
Accepted

### Let $R$ be a commutative unital ring. Is it true that the group of units of $R$ is not isomorphic with the additive group of $R$?

Counterexample: $R=\mathbb{R}\times\mathbb{Z}_2$ satisfies $(R,+)\cong(R^\times,\cdot)$.
• 152k
Accepted

### Cyclic Artin-Schreier-Witt extension of order $p^2$

Let's begin with a usual Artin-Schreier extension $k(x)/k$ with $F(x)-x=f$ where $F$ is the endomorphism of $k$ raising everything to power $p$, and $f\in k$ is not of the form $g^p-g$ for any $g\in k$...
• 134k
Accepted

### Can a separable isogeny of elliptic curves have an inseparable dual?

Just so this has an answer, let me expand upon what I said in the comments slightly. So, let us begin with the following trivial observation: Observation: If $f:E\to E'$ is an isogeny of elliptic ...
• 54.3k
Accepted

### Classifiying algebraic group extensions of $\mathbb{Z}/p\mathbb{Z}$ by $\mu_p$

I am not sure what Milne has taught you up until this point, but I will tell you how I would approach this problem. Cohomology and extensions The main point here is that calculating extensions is hard,...
• 54.3k

### Prove that a polynomial is irreducible or the field contains a $p$th root

One side: If $a=b^{p}$ for $b\in k$ then: $$x^{p^{n}}-a=x^{p^{n}}-b^{p}=\left(x^{p^{n-1}}-b\right)^{p}$$ showing that the polynomial is not irreducible. Let $k^{\mathbf{a}}$ denote an algebraically ...
• 151k
Accepted

### Peirce decomposition of a ring: must the ideal generators be idempotent in characteristic 2?

Just observe that $ef=0$ means $e(1-e)=0$ so $e-e^2=0$ and $e^2=e$.
• 332k
Accepted

### The group algebra is not semisimple if characteristic divides group order.

As for the question at hand, I can't think of anything better than what Matthew Towers has already suggested in the comment. What I suggest below is probably closely related to that observation. ...
• 154k

### Let $R$ be a commutative ring with unity of prime characteristic $p$. If $a\in R$ is nilpotent then is $1+a$ unipotent?

Yes, because we have $$(1+a)^{p^e} = 1+a^{p^e} = 1 \text{ for } e \gg 0.$$
• 31.5k

### Peirce decomposition of a ring: must the ideal generators be idempotent in characteristic 2?

No, it has nothing to do with characteristic $2$. The representations of elements as $i+j$ in a direct sum are necessarily unique (that is an equivalent way of saying it.) So to continue from what ...
• 154k
Accepted

### If the characteristic of a field is two, doesn't the quadratic form associated with a bilinear form exist?

If $b:V\times V\to K$ is a symmetric bilinear form, you can always associate a quadratic form $q_b:V\to K$ by setting $q_b(x)=b(x,x)$ for all $x\in V$. If $q:V\to K$ is a quadratic form, by very ...
• 15.1k

### Example of ring canâ€™t be defined over finite field.

You can take any central division $K$-algebra A of dimension $>1$ over $K$. Then it cannot be defined over a finite field. Otherwise, we would have $A\simeq A_0\otimes_FK$, and $A_0$ would be a ...
• 15.1k
Accepted

### Example of ring canâ€™t be defined over finite field.

Let $K = \mathbb{F}_p (X)$ and let $A = K [Y] / (Y^n - X)$, where $n$ is a prime other than $p$. So $A$ is a finite field extension of $K$. I say $A$ is not defined over any finite subfield of $K$. ...
• 90.4k

### Examples of uncountable fields of characteristic $p$?

A "natural" example is the field $k((x))$ of Laurent series over a field $k$ of characteristic $p$. (For example take $k = \mathbb{F}_p = \mathbb{Z}/p\mathbb{Z}$.) This is the fraction field ...
• 20.8k

### Can a finite ring have a characteristic $0$?

I'm not sure whether your ring has unity, so here is a general argument. If a ring $R$ has characteristic zero, then, for each $n>0$, there is some $a\in R$ with additive order $>n$. This ...
• 30.1k
Accepted

### Do invariants and co-invariants for a cyclic group have the same dimension?

Well, $V^{C_p}$ and $V_{C_p}$ are the kernel and cokernel of $V\xrightarrow{g-1}V$, $g$ a generator of $C_p$, so they have the same dimension.
• 33.3k
Accepted

### Why is the Levi-decomposition not available in positive characteristic?

The short answer is, that there are counterexamples in characteristic $p$, see for example this MO-post. Moreover, most results of classical Lie algebra theory fail in characteristic $p>0$, such as ...
• 132k

### Canonical connection on the Frobenius pull-back

I haven't thought concretely about how this connection should look in your example, though I think it is uniquely characterized on local sections by the claim that it annihilates sections of $F^*L$ (...
• 2,150

### Does $2x=0$ imply $x=0$ in a field with characteristic not equal 2.

Yes, just multiply both sides of the equation $2x = 0$ by the inverse of $2$ to get $x = 0$.
• 21.1k

• 19.1k
Accepted

### A homomorphism on a nontrivial commutative ring with trivial unit group

Let $r\in R$ be such that $f(r)=0$. Then $r^2=0$ and hence $$(r+1)^2=r^2+2r+1=1.$$ This shows that $r+1$ is a unit, so $r+1=1$ and hence $r=0$. This shows that $f$ is injective. To see that it is not ...
• 63.4k

### Finite Characteristic of a Ring

Consider the ring of polynomials with coefficients in $\mathbb{Z}/p$ it has characteristic $p$ and it is infinite.
• 87.7k
Accepted

### Character group of diagonalizable group has no $p$-torsion

Since $K$ has characteristic $p$, it has no nontrivial $p$th roots of unity. The polynomial $x^p-1$ factors as $(x-1)^p$ so the only $p$th root of unity is $1$.
• 332k

### Is the Polynomial $X^{p^n}-X$ the zero polynomial in characteristic $p$?

$X^{p^n}-X$ is clearly not the zero polynomial because it has nonzero coefficients. However, $X^{p^n}-X$ does induce the zero function. In fact, the polynomials that induce the zero function are ...
• 217k

### The local ring $(R,\mathfrak{m})$ contains a field if and only if $\mathrm{char}(R) = \mathrm{char} (R/\mathfrak{m})$.

The result you want is that $R$ contains a field $K$ iff $\operatorname{char}(R) = \operatorname{char}(R/\mathfrak{m}).$ $\implies$ If $K\subseteq R,$ then clearly $K$ and $R$ must have the same ...
• 23.3k
Accepted

### About a refined Burnside's theorem in prime characteristic.

The version of Burnside's theorem given in B.A.F. Wehrfritz' book "Infinite Linear Groups" as Corollary 1.23 states that a completely reducible subgroup of $GL(n, F)$ of finite exponent $e$ has finite ...
• 1,176
Here's a proof of your formula. Let's compute things in the standard (not adjoint) representation. For matrices $A,B$, define $s(A,B)=\mathrm{Tr}(AB)$. First, in the basis of all matrices, the ...