相关论文: The complexity of the Lie module

We show that the decision problem for the basic system of interpretability logic IL is PSPACE-complete. For this purpose we present an algorithm which uses polynomial space with respect to the complexity of a given formula. The existence of…

This paper aims to describe the restricted Kac modules of restricted Hamiltonian Lie superalgebras of odd type over an algebraically closed field of characteristic $p>3$. In particular, a sufficient and necessary condition for the…

We prove that the complexity of computing the table of primes between $1$ and $n$ on a multitape Turing machine is $O(n \log n)$.

The relationship between the complexity classes P and NP is a question that has not yet been answered by the Theory of Computation. The existence of a language in NP, proven not to belong to P, is sufficient evidence to establish the…

The principal objective of this paper is to determine the structure of $n$-Lie derivations ($n\geq 3$) on generalized matrix algebras.It is shown that under certain mild assumptions, every $n$-Lie derivation can be decomposed into the sum…

A class of binary sequences with period $2p$ is constructed using generalized cyclotomic classes, and their linear complexity, minimal polynomial over ${\mathbb{F}_{{q}}}$ as well as 2-adic complexity are determined using Gauss period and…

Let $\Bbbk$ be an algebraically closed field of characteristic $p>3$, and let $W$ denote the $p$-dimensional Witt algebra, the first example of a non-classical simple Lie algebra. For a non-negative integer $\ell$, consider the associated…

We classify all irreducible highest-weight unitary modules over the non-compact real form $\mathfrak{u}(p,q|n)$ of the general linear Lie superalgebra $\mathfrak{gl}_{p+q|n}$. The classification is given by explicit necessary and sufficient…

We present an explicit description of the affine variety of Lie algebras of the maximal class (filiform Lie algebras): the formulas of polynomial equations that determine this variety are written. It can considered as the base of the…

Let $p$ be a prime number and suppose that every maximal subgroup of a finite group is either $p$-nilpotent or has prime index. Such group need not be $p$-solvable, and we study its structure by proving that only one nonabelian simple group…

There are studied Lie groups considered as almost hypercomplex Hermitian-Norden manifolds, which are integrable and have the lowest dimension four. It is established a correspondence of the derived Lie algebras of types of invariant…

The linear complexity is a measure for the unpredictability of a sequence over a finite field and thus for its suitability in cryptography. In 2012, Diem introduced a new figure of merit for cryptographic sequences called expansion…

In this paper we obtain the classification of $p$-nilpotent restricted Lie algebras of dimension at most four over a perfect field of characteristic p.

In this paper we present a lower bound for the minimal dimension $\mu(\mathfrak{n})$ of a faithful representation of a finite dimensional $p$-step nilpotent Lie algebra $\mathfrak{n}$ over a field of characteristic zero. Our bound is given…

We present several known formalizations of theorems from computational complexity in bounded arithmetic and formalize the PCP theorem in the theory PV1 (no formalization of this theorem was known). This includes a formalization of the…

Let p be any prime, and $p^(\nu_p(n!))$ the maximal power of $p$ dividing $n!$. It is proved that there exists a positive integer $n_0$, which depends only on $p$, such that $q^(\nu_q(n!)) < p^(\nu_p(n!))$ for all $n \ge n_0$ and all primes…

Let $p$ be a prime, $\varepsilon>0$ and $0<L+1<L+N < p$. We prove that if $p^{1/2+\varepsilon}< N <p^{1-\varepsilon}$, then $$ \#\{n!\!\!\! \pmod p;\,\, L+1\le n\le L+N\} > c (N\log N)^{1/2},\,\, c=c(\varepsilon)>0. $$ We use this bound to…

Let E be a cyclic extension of pth-power degree of a field F of characteristic p. For all m, s in N, we determine K_mE/p^sK_mE as a (Z/p^sZ)[Gal(E/F)]-module. We also provide examples of extensions for which all of the possible nonzero…

Let $p$ be a prime. Given a split semisimple group scheme $G$ over a normal integral domain $R$ which is a faithfully flat $\mathbb Z_{(p)}$-algebra, we classify all finite dimensional representations $V$ of the fiber $G_K$ of $G$ over…

For any module $M$ over small quantum group one defines the support variety using construction from the theory of restricted Lie algebras. It is a closed conical subset of nilpotent cone of the corresponding Lie algebra. If module $M$ is a…