Newest 'positive-characteristic' Questions

2

votes

2answers

104 views

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

I have a question: if the characteristic of a field is two, doesn't the quadratic form associated with a bilinear form exist?

asked May 22 at 20:27

Samuel Martinez

715 bronze badges

1

vote

1answer

31 views

Root of $f$ is $p^{\text{th}}$ power in extension field $\Rightarrow$ coefficients of $f$ are $p^{\text{th}}$ powers in base field.

Let $K$ be a field of characteristic $p > 0$, and $f ∈ K[X]$ monic and irreducible with root $\alpha$. Let $F$ be the Frobenius endomorphism. To demonstrate: $\alpha ∈ F[K(\alpha)] \Rightarrow f ∈...

abstract-algebra field-theory irreducible-polynomials positive-characteristic

asked May 18 at 22:07

Jos van Nieuwman

9513 silver badges14 bronze badges

1

vote

1answer

37 views

$X^{p^k} - a ∈ K[X]$ irreducible?

Let $K$ be a field of characteristic char$(K) = p > 0$, and let $a ∈ K$ be an element with the following property: $$(\forall \beta ∈ K)(\beta^p ≠ a). $$ Let $k ∈ ℕ$ be arbitrarily given. Is it ...

abstract-algebra field-theory irreducible-polynomials positive-characteristic

asked May 16 at 18:41

Jos van Nieuwman

9513 silver badges14 bronze badges

0

votes

0answers

23 views

Fields of prime characteristic in which an irreducible polynomial has a root of multiplicity > 1

In the following solution to ex21 (iii) I do not understand the second last line. Is there a mistake? The first summation implies the degree of $f$ is $n$ whereas the second summation implies the ...

abstract-algebra field-theory positive-characteristic

asked Apr 21 at 13:28

Group23

7071 silver badge11 bronze badges

0

votes

0answers

42 views

Is a normal irreducible separable polynomial of degree $p$ over a field of characteristic $p$ necessarily Artin-Schreier

Is a normal irreducible separable polynomial of degree $p$ over a field of characteristic $p$ necessarily Artin-Schreier? If it is true, I am also wondering whether we can generalize this in the ...

abstract-algebra field-theory galois-theory positive-characteristic

asked Mar 15 at 7:30

Arpan Dutta

2461 silver badge8 bronze badges

0

votes

0answers

27 views

Bertini for finite morphisms

Suppose $f:X \to Y$ is a finite morphism, lets say of surfaces for simplicity. If $|A|$ is a very ample linear system on $X$ then any general $H \in |A|$ is smooth, in any characteristic, assuming ...

algebraic-geometry divisors-algebraic-geometry positive-characteristic

asked Mar 11 at 18:40

STCJ

887 bronze badges

2

votes

0answers

40 views

Lifting a Frobenius endomorphism under an étale morphism

Let $X$ be a smooth affine scheme over $\mathbb{Z}/{p^2}$ that is a complete intersection, say $X$ is the spectrum of $\mathbb{Z}/{p^2}[x_1,...x_n]/(f_1, ... f_r)$, where $n-r$ is the dimension of $X$....

algebraic-geometry deformation-theory positive-characteristic morphism

asked Mar 4 at 3:56

user11235813

212 bronze badges

2

votes

0answers

31 views

Closed form expression for Taylor-like series in 2 variables in positive characteristic

Given a polynomial function $f$ on $1$ variable, the following Taylor series: $$\sum_{n=0}^\infty \frac{h^n}{n!} \frac{d^n f}{dx^n}(x)$$ can be written in closed form as $f(x+h)$. (A cool fact to ...

abstract-algebra power-series positive-characteristic

asked Jan 15 at 3:19

MathManiac

8905 silver badges19 bronze badges

0

votes

0answers

47 views

Characteristic of coefficient field of elliptic curve

Characteristic_(algebra) In mathematics, the characteristic of a ring $R$, often denoted $\operatorname{char}(R)$, is defined to be the smallest number of times one must use the ring's multiplicative ...

abstract-algebra ring-theory elliptic-curves positive-characteristic

asked Dec 24 '19 at 14:18

azerbajdzan

6444 silver badges12 bronze badges

1

vote

0answers

35 views

Frobenius pullback of $\mathcal O_X$ and Frobenius twist

Let $k$ be a perfect field of characteristic $p > 0$ and let $X \to S = \textrm{Spec } k$ be a scheme. Let $F : X \to X$ be its absolute Frobenius and let $X' := X \times_{F_S} S$ be the Frobenius ...

algebraic-geometry positive-characteristic

asked Dec 5 '19 at 10:54

Jędrzej Garnek

2521 silver badge9 bronze badges

1

vote

1answer

41 views

restrictions to the element $b$, such that $b=\sigma (a)$ where $\sigma$ is a generator of the Galois group

Let $K/L$ be a finite Galois extension of degree $p$, $p$ is prime ($char \: L =p$, $p$ is prime). As I know $K=L(a)$ for some $a\in L$. Is there a way to find any restrictions to the element $b$, ...

abstract-algebra field-theory galois-theory galois-extensions positive-characteristic

asked Dec 2 '19 at 21:15

Kelly

1095 bronze badges

2

votes

1answer

48 views

Field extension of a field of Characteristic $p$ [closed]

Let $K$ be extension of $F$ with characteristic of $F$ being $p$ and $f(x)$ a monic polynomial in $K[x]$ with $[f(x)]^m$ belongs to $F[x]$ such that $p$ does not divides $m$. Then show that $f(x)$ ...

abstract-algebra polynomials field-theory extension-field positive-characteristic

asked Nov 8 '19 at 5:00

Anirban Saha

718 bronze badges

1

vote

1answer

33 views

Prime factors of a separable polynomial in a non-splitting field.

Let $K$ be a field of characteristic $p$ and consider a polynomial $p(x) = x^n - a \in K[x]$, with $a \neq 0$ and $p \nmid n$. By the derivative test this is certainly separable. Even if $p$ does ...

abstract-algebra field-theory positive-characteristic separable-extension

asked Aug 26 '19 at 5:17

C.D.

5902 silver badges13 bronze badges

3

votes

1answer

42 views

Semisimple representation theory of finite groups in characteristic p.

For $G$ a finite group, and algebraically closed field $k$ of finite characteristic coprime to $|G|$, we have that $k[G]$ is a semisimple algebra. This gives complete reducibility, and I vaguely ...

finite-groups representation-theory positive-characteristic

asked Jul 6 '19 at 0:06

user277182

1,7594 silver badges13 bronze badges

3

votes

1answer

115 views

A corollary of Schur's lemma in positive characteristic

A corollary of Schur's lemma reads (nLab): In the case that the ground field is an algebraically closed field of characteristic zero; endomorphisms $\psi:V \rightarrow V$ of a finite dimensional ...

linear-algebra representation-theory positive-characteristic

asked Jun 26 '19 at 1:01

ferrari

634 bronze badges

4

votes

1answer

68 views

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

Let $V$ be a finite dimensional vector space over $\mathbb{F}_p$ with an action of the cyclic group $C_p$ of order $p$. We can now form the two vector spaces of invariants $V^{C_p}$ and co-invariants ...

representation-theory positive-characteristic

asked Jun 22 '19 at 12:09

KotelKanim

2,41610 silver badges24 bronze badges

1

vote

0answers

44 views

Algebraic de Rham cohomology of the affine plane in characteristic p?

The fact that $H^1_{\mathrm{dR}}(\mathbb{A}^1_k) = \bigoplus_{i=0}^{\infty}k$ for $k$ of positive characteristic exemplifies what can go wrong with de Rham cohomology when the characteristic is not ...

reference-request differential-forms affine-varieties de-rham-cohomology positive-characteristic

asked Jun 16 '19 at 15:55

Somatic Custard

6243 silver badges8 bronze badges

0

votes

1answer

20 views

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

Let $G$ be a diagonalizable algebraic group over a field $K$ of characteristic $p > 0$. Let $X$ be the character group of $G$ (algebraic group homomorphisms $G \to K^\times$). We know $X$ is ...

algebraic-groups characters positive-characteristic

asked Jun 14 '19 at 2:14

Joshua Ruiter

2,5268 silver badges21 bronze badges

4

votes

0answers

122 views

Frobenius twist of a field

Let $k$ be a field of characteristic $p>0$ (not necessarily perfect). Consider the Frobenius endomorphism $F : k \to k$, $x \mapsto x^p$. I am curious about what happens when we take $k$ as a $k$-...

linear-algebra algebraic-geometry vector-spaces commutative-algebra positive-characteristic

asked Jun 2 '19 at 15:50

VerrückterPinguin

413 bronze badges

4

votes

1answer

143 views

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

I'm studying a proof that if a prime $p$ has $p\mid |G|$ and $k$ is a field of characteristic $p$, then the group algebra $kG$ is not semisimple. My issue is that there is an assertion in the first ...

abstract-algebra modules representation-theory positive-characteristic

asked Apr 30 '19 at 10:07

probablystuck

5362 silver badges10 bronze badges

1

vote

0answers

59 views

A question on regular local rings (of positive characteristic ) of dimension $2$

Let $R$ be a regular local ring of dimension $2$ and of characteristic $p>0$. How to show that for every $f_1,f_2,f_3 \in R$, $\exists 0\ne c\in R$ and $n_0\in \mathbb N$ such that $c(f_1f_2f_3)^{...

algebraic-geometry commutative-algebra positive-characteristic regular-rings

asked Apr 29 '19 at 20:35

user102248

1,3477 silver badges15 bronze badges

-2

votes

1answer

64 views

Finite Characteristic of a Ring [duplicate]

If $H$ is a ring and it has a finite non-zero characteristic $p$ then ring is finite. I couldn’t any counter example for this claim. Can anyone help me please?

abstract-algebra ring-theory positive-characteristic

asked Apr 3 '19 at 22:50

user519955

1,0592 silver badges12 bronze badges

1

vote

2answers

109 views

Are simple Lie algebras complete?

Let $\mathfrak{g}$ be a finite dimensional simple Lie algebra over a field of characteristic $p >0$. Is $\mathfrak{g}$ complete? If not, under what conditions is $\mathfrak{g}$ complete? A Lie ...

lie-algebras positive-characteristic

asked Mar 27 '19 at 15:42

key

135 bronze badges

1

vote

1answer

68 views

Transforming Quadrics in Characteristic 2

I’m trying to solve the following problem given in a textbook: Let $k$ be an algebraically closed field and $Q=V(F)$ a quadric in $\mathbb{P}^3(k)$, where $F$ is an irreducible polynomial in $X,Y,Z,...

algebraic-geometry projective-geometry quadratic-forms positive-characteristic quadrics

asked Mar 11 '19 at 9:29

Dave

1,1301 gold badge3 silver badges12 bronze badges

1

vote

1answer

34 views

A homomorphism on a nontrivial commutative ring with trivial unit group

Suppose $R \neq \{0\}$ is commutative and satisfies $R^\times = \{1\}$. I've shown that this implies that $\operatorname{char}R=2$ (by showing that $-1 = 1$). Now consider the homomorphism $f \in \...

abstract-algebra ring-theory commutative-algebra ring-homomorphism positive-characteristic

asked Mar 6 '19 at 20:23

Jos van Nieuwman

9513 silver badges14 bronze badges

0

votes

1answer

118 views

$x\mapsto x^p$ with $\operatorname{char}(F)=p>0$ is a ring homomorphism [closed]

Let a field $F$ with $\operatorname{char}(F)=p>0$. Let a map $f:F\to F$ defined be $x\mapsto x^p$. Show that $f$ is a ring homomorphism. Obviousely $0\mapsto 0$ and $(xy)^p=x^py^p$. How can I show ...

ring-homomorphism positive-characteristic

asked Mar 4 '19 at 16:45

J. Doe

1,1162 silver badges13 bronze badges

1

vote

1answer

60 views

Why does the cardinality of the vector space over a finite field of characteristic $p$ have to be a power of $p$?

In a lecture note that I have, it is written that if $F$ is a field of $q$ elements of characteristic $p$, then $q = p^m$ for some $m>0$. To show this, observe that $F$ is a vector space ...

linear-algebra vector-spaces finite-fields positive-characteristic

asked Feb 18 '19 at 16:14

onurcanbektas

6,4611 gold badge14 silver badges48 bronze badges

0

votes

1answer

158 views

Lang Steinberg over separably closed field

Let $K=K^{sep}$ be a separably closed field with $K|\mathbb{F}_q$, where $\mathbb{F}_q$ is the field with $q$ elements. Let $\mathbb{G}$ be a connected linear algebraic group over $\mathbb{F}_q$. ...

algebraic-geometry algebraic-groups positive-characteristic separable-extension

asked Feb 17 '19 at 10:15

Estus

4592 silver badges10 bronze badges

1

vote

0answers

62 views

Stability under conjugation of a subvector space of Lie algebra of an affine linear algebraic group (in positive characteristic)

Let $G$ a matrix Lie group and $\mathfrak{g}$ its Lie algebra. If a subvector space $V$ of a Lie algebra $\mathfrak{g}$ is stable under conjugation, then it's an ideal. I know this is should be true ...

lie-groups algebraic-groups matrix-exponential positive-characteristic

asked Dec 22 '18 at 10:46

Pippo

3341 silver badge8 bronze badges

0

votes

0answers

48 views

Reason why $x \mapsto x^p$ is a ring morphism in characteristic $p$?

Let $R$ be a commutative unital ring of characteristic $p$, where $p$ is prime. The Frobenius map $x \mapsto x^p$ on $R$ is known to be a ring homomorphism (in particular, additive). The only proof I ...

commutative-algebra positive-characteristic

asked Nov 29 '18 at 18:33

Alphonse

4,7691 gold badge10 silver badges30 bronze badges

2

votes

1answer

66 views

Rings in which each element is a sum of $n$ commuting idempotents

Let $n$ be a nonnegative integer. Let $R$ be a nonunital ring such that every element of $R$ is a sum of $n$ pairwise commuting idempotents. (As usual, the class of nonunital rings includes the class ...

abstract-algebra ring-theory noncommutative-algebra positive-characteristic boolean-ring

asked Nov 25 '18 at 20:18

darij grinberg

14.1k4 gold badges36 silver badges76 bronze badges

1

vote

1answer

67 views

Abelian group of prime exponent $p$ is $\mathbb{F}_p$-vector space?

In reading about group cohomological, I came across the following in a statement of a lemma. "Let $p$ be a prime, and let $A$ be an abelian group of exponent dividing $p$..." Is this just a ...

abelian-groups positive-characteristic

asked Nov 20 '18 at 3:27

Joshua Ruiter

2,5268 silver badges21 bronze badges

0

votes

1answer

85 views

“Purely inseparable, algebraic extension if and only if trivial automorphism group”

Let $k \subset K$ be an algebraic field extension, with $\mathrm{char} \, k=p>0$. Is it true the following assertion? $k \subset K$ is purely inseparable if and only if $\mathrm{Aut}_k(K)=\{1\}$; ...

field-theory extension-field automorphism-group positive-characteristic

asked Nov 13 '18 at 18:51

Frant

3842 silver badges8 bronze badges

4

votes

1answer

135 views

Example of a characteristic zero local ring with a quotient of positive characteristic

This question was featured on a qualifying exam at my university: What's an example of a commutative local ring $R$ of characteristic zero, with a non-maximal prime ideal $P$ such that the ...

abstract-algebra commutative-algebra examples-counterexamples localization positive-characteristic

asked Sep 21 '18 at 21:09

Mike Pierce

15.1k10 gold badges49 silver badges98 bronze badges

1

vote

1answer

153 views

Indecomposable modules of a $p$-group in characteristic $p$

Let $k$ be a field of characteristic $p>0$ and let $P$ be a $p$-group. Then the group ring $kP$ has only one simple module, the trivial module $k$, and hence there is only one projective ...

representation-theory positive-characteristic

asked Aug 7 '18 at 15:46

Nicholas Camacho

5513 silver badges14 bronze badges

6

votes

2answers

263 views

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

I'm considering this particular statement of the Peirce decomposition of a ring: If a commutative unital ring $R$ can be written as an internal direct sum of two of it's proper ideals $I$ and $J$, ...

abstract-algebra ring-theory idempotents positive-characteristic

asked Aug 4 '18 at 19:15

Mike Pierce

15.1k10 gold badges49 silver badges98 bronze badges

0

votes

0answers

42 views

Galois extension of exponent $mp^r$ in characteristic $p$

Kummer theory treats Galois extensions of exponents that are not divisible by the characteristic. Artin-Schreier and Witt extend this theory for Galois extensions of exponents $p^r$ in characteristic $...

galois-theory positive-characteristic galois-cohomology kummer-theory

asked Jun 20 '18 at 13:40

Rina

11 bronze badge

2

votes

0answers

195 views

Characteristic of residue field in a Dedekind domain.

Let's consider a Dedekind domain $A$ with field of fractions $K$. Let $L$ be a finite Galois extension of $K$ and $B$ the integral closure of $A$ in $L$. Let $\mathfrak{p}\subset A$ be a non-zero ...

abstract-algebra number-theory dedekind-domain ramification positive-characteristic

asked Jun 11 '18 at 7:00

nbayo

2111 silver badge9 bronze badges

2

votes

1answer

72 views

A field with an irreducible, separable polynomial with roots $\alpha$ and $\alpha + 1$ must have positive characteristic.

Given a field $\mathbb{F}$ with an irreducible, separable polynomial $f(x),$ let $E$ denote the splitting field of $f$ over $\mathbb{F},$ and assume that $\alpha$ and $\alpha + 1$ are roots of $f(x).$ ...

field-theory irreducible-polynomials splitting-field positive-characteristic

asked Jun 10 '18 at 4:49

Carlo

6754 silver badges12 bronze badges

1

vote

2answers

46 views

Characteristic of a finite field - equivalent formula

Let $\mathbb{K}$ be a field with characteristic $\text{char}(\mathbb{K}) = p$ where $p$ is a prime. It means that the sum of $p$ unities ($1+ 1+\ldots + 1$ added $p$ times) equals $0$. How to show ...

finite-fields positive-characteristic

asked May 18 '18 at 12:11

Piotr Skoczylas

313 bronze badges

6

votes

1answer

339 views

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

Let $k = \mathbb{F}_{p^r}(t)$. Artin-Schrier polynomials $f(x) = x^p - x - a \in k[X], a \in k$ describe all the cyclic Galois extensions $K/k$ of order $p$. To generalize to cyclic extensions of ...

field-theory galois-theory positive-characteristic

asked Mar 8 '18 at 1:46

Somatic Custard

6243 silver badges8 bronze badges

1

vote

2answers

114 views

Characteristic of an integral domain: doubt in the proof

Suppose by absurd that the characteristic of an integral domain is an integer $n$ not prime, say $n=n_1 \cdot n_2$. Now we have $$na=(n_1 \cdot n_2)a=0 \implies (n_1 \cdot a) \cdot (n_2 \cdot a)=0 \...

ring-theory integral-domain positive-characteristic

asked Jan 24 '18 at 18:21

Leonardo Vannini

1,8591 gold badge6 silver badges21 bronze badges

1

vote

0answers

70 views

Weil pairing on $E[p]$ is trivial

I'm currently working through Elliptic Curves, L. C. Washington. On page 147 he writes "The Weil pairing is not defined on $E[p]$ (or, if we defined it, it would be trivial since $E[p]$ is cyclic and ...

prime-numbers finite-fields elliptic-curves positive-characteristic torsion-groups

asked Dec 30 '17 at 10:37

Irregular User

3,6225 gold badges22 silver badges48 bronze badges

3

votes

1answer

67 views

Multiple roots for roots of unity in fields of some characteristic

I'm currently working through Elliptic Curves: Number Theory and Cryptography, L. C. Washington. The bottom of page 82 says "Since the characteristic of $K$ does not divide $n$, the equation $x^n = 1$...

roots roots-of-unity positive-characteristic

asked Dec 23 '17 at 14:12

Irregular User

3,6225 gold badges22 silver badges48 bronze badges

0

votes

5answers

1k views

Can a finite ring have a characteristic $0$?

I am working on studying Abstract Algebra and doing one of the review problems for the exam. I do not think a finite ring can have characteristic zero because when I think of, for example, Integers ...

ring-theory positive-characteristic

asked Nov 13 '17 at 15:45

Arkham

433 bronze badges

0

votes

1answer

75 views

Middle Terms do not cancel correctly when calculating the Discriminant of the Frey Curve

It's in several references but I will use Hardy and Wright 6th edition p.587 where they use the generalized Weierstrass discriminant on p.558 to calculate the discriminant for the Frey Curve. They ...

number-theory determinant elliptic-curves algebraic-curves positive-characteristic

asked Sep 10 '17 at 3:09

Pythagorus

4752 silver badges11 bronze badges

2

votes

0answers

75 views

Finite generation of a pre-image of a finitely generated subalgebra

Let $k$ be a field, let $A$ and $B$ be commutative, finitely-generated, graded $k$-algebras, and let $S$ be a finitely-generated, graded $k$-subalgebra of $B$. Question1: If $\varphi:A\to B$ is a ...

algebraic-geometry reference-request commutative-algebra positive-characteristic

asked Aug 19 '17 at 22:37

Jared

28.7k10 gold badges50 silver badges114 bronze badges

3

votes

3answers

406 views

$R$ a ring with 1 and charac. $n>1$ (resp. 0) $\implies R$ contains a subring $\simeq \Bbb{Z}_n$ (resp. $\Bbb{Z}$). What happens if $R$ has no 1?!

Definition: Let $R$ be a ring. We say that $n\in \Bbb{Z}_+$ is the characteristic of $R$ if it is the least positive integer such that $n r=0$, for all $r\in R$ (here $nr$ denotes $r+r+\dots+r$, "$n$ ...

abstract-algebra ring-theory rngs positive-characteristic

asked Jul 1 '17 at 17:38

Ders

2,6229 silver badges31 bronze badges

3

votes

1answer

156 views

Discriminant in char $2$

Let $n\geq 1$, $$D=\prod_{i<j}(x_i-x_j)^2, B=\prod_{i<j}(x_i+x_j), C=(B^2-D)/4$$ be polynomials in $\mathbb{Z}[x_1, ..., x_n]$ Then if $f(x)\in F[x]$ has different roots $\alpha_1, ... \alpha_n$...

field-theory extension-field splitting-field positive-characteristic

asked May 31 '17 at 23:52

MaudPieTheRocktorate

2,7748 silver badges25 bronze badges

3

votes

3answers

112 views

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

Suppose that $p$ is a prime number and that $\mathbb{F}_{p^n}[X]$ is the ring of polynomials with one variable, with coefficients in the field $\mathbb{F}_{p^n}$ for some $n\in\mathbb{N}$. Then $p(...

number-theory finite-fields positive-characteristic

asked Apr 21 '17 at 13:15

Bobby

5032 silver badges7 bronze badges

Questions tagged [positive-characteristic]

Related Tags