Related papers: On algebraically maximal valued fields that are no…
We study on finite unramified extensions of global function fields (function fields of one valuable over a finite field). We show two results. One is an extension of Perret's result about the ideal class group problem. Another is a…
Differential algebraic geometry seeks to extend the results of its algebraic counterpart to objects defined by differential equations. Many notions, such as that of a projective algebraic variety, have close differential analogues but their…
We show that if two division $p$-algebras of prime degree share an inseparable field extension of the center then they also share a cyclic separable one. We show that the converse is in general not true. We also point out that sharing all…
Let $p$ be a prime integer, $1\leq s\leq r$ integers, $F$ a field of characteristic $p$. Let $\cat{Dec}_{p^r}$ denote the class of the tensor product of $r$ $p$-symbols and $\cat{Alg}_{p^r,p^s}$ denote the class of central simple algebras…
Let K be F_q((T)), or more generally any field of characteristic p equipped with a valuation having a finite residue field of q elements. Then a polynomial f(x) in K[x] having k+1 nonzero coefficients has at most q^k distinct zeros in K. We…
The concept of descent algebras over a field of characteristic zero is extended to define descent algebras over a field of prime characteristic. Some basic algebraic structure of the latter, including its radical and irreducible modules, is…
The tilting correspondence is a fundamental property of perfectoid fields. In this note, we show that the tilting construction can also be used to detect perfectoid fields among nonarchimedean fields. In particular, for $K$ a complete…
The paper presents two new results concerning the varieties of Leibnitz algebras. In the case of prime characteristic p of the base field constructed example not nilpotent variety of Leibnitz algebras satisfying an Engel condition order p.…
In this thesis we consider the maximal subalgebras of the exceptional Lie algebras in algebraically closed fields of positive characteristic. This begins with a quick recap of the article by Herpel and Stewart which considered the Cartan…
Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…
A field $k$ is called geometrically $C_1$ if every smooth projective separably rationally connected $k$-variety has a $k$-rational point. Given a henselian valued field of equal characteristic $0$ with divisible value group, we show that…
We classify and construct irreducible completely splittable representations of affine and finite Hecke-Clifford algebras over an algebraically closed field of characteristic not equal to 2.
We classify fields having finitely many finite non-commutative (not necessarily central) division algebras over them. In the process, we introduce the notion of anti-closure of a field and also make comments on fields having a linear…
Let $F$ be a finite field with the characteristic $p > 2$ and let $G$ be the unitary Grassmann algebra generated by an infinite dimensional vector space $V$ over $F$. In this paper, we determine a basis for $\mathbb{Z}_{2}$-graded…
We study mixed multiquadratic field extensions as splitting fields for central simple algebras of exponent $2$ in characteristic $2$. As an application, we provide examples of nonexcellent mixed biquadratic field extensions.
An upper bound on degrees of elements of a minimal generating system for invariants of quivers of dimension (2,...,2) is established over a field of arbitrary characteristic and its precision is estimated. The proof is based on the…
We investigate the structure of maximal commutative subalgebras of the finite dimensional Grassmann algebra over a field of characteristic different from two.
As shown in a previous paper, whenever a rational vector field on $\mathbb C^n$, $n>2$, is Liouvillian integrable, then it admits a first integral obtained by two successive integrations from a one-form with coefficients in a finite…
Semifields are semirings in which every nonzero element has a multiplicative inverse. A rough classification uses the characteristic of the semifield, that is the isomorphism type of the semifield generated by the two neutral elements. For…
The descriptions (up to isomorphism) of naturally graded $p$-filiform Leibniz algebras and $p$-filiform ($p\leq 3$) Leibniz algebras of maximum length are known. In this paper we study the gradation of maximum length for $p$-filiform…