Related papers: An infinite-dimensional 2-generated primitive axia…

We formalize Hilbert's Seventh Problem and its solution, the Gelfond-Schneider theorem, in the Lean 4 proof assistant. The theorem states that if $\alpha$ and $\beta$ are algebraic numbers with $\alpha \neq 0,1$ and $\beta$ irrational, then…

This article concerns commutative algebras over a field $k$ of characteristic zero which are finite dimensional as vectorspaces, and particularly those of such algebras which are graded. Here the term graded is applied to non-negatively…

For a positive integer $m$, a (positive definite integral) quadratic form is called primitively $m$-universal if it primitively represents all quadratic forms of rank $m$. It was proved in arXiv:2202.13573 that there are exactly $107$…

In this paper, we compute the essential $2$-dimension when the defining prime is odd of the general linear groups, the projective general linear groups, the special linear groups when $n$ is odd or $n = 2$, as well as the special linear…

This paper is devoted to the description of complex finite-dimensional algebras of level two. We obtain the classification of algebras of level two in the variety of Leibniz algebras. It is shown that, up to isomorphism, there exist three…

We study polynomial identities of algebras with involution of nonassociative algebras over a field of characteristic zero. We prove that the growth of the sequence of $*$-codimensions of a finite-dimensional algebra is exponentially…

In this paper, we present upper bounds for the depth of some classes of polyhedra, including: polyhedra with finite fundamental group, polyhedra $P$ with abelian or free $\pi_1(P)$ and finitely generated $H_i(tilde{P};\mathbb{Z}$,…

We classify finite-dimensional complex Hopf algebras $A$ which are pointed, that is, all of whose irreducible comodules are one-dimensional, and whose group of group-like elements $G(A)$ is abelian such that all prime divisors of the order…

By means of principal isotopes lH(a,b) of the algebra lH [Ra 99] we give an exhaustive and not repetitive description of all 4-dimensional absolute-valued algebras satisfying (x^p, x^q, x^r) = 0 for fixed integers p, q, r \in\{1,2\}. For…

It is shown that a finite group in which more than 3/4 of the elements are involutions must be an elementary abelian 2-group. A group in which exactly 3/4 of the elements are involutions is characterized as the direct product of the…

For $q=3^r$ ($r>0$), denote by $\mathbb{F}_q$ the finite field of order $q$ and for a positive integer $m\geq2$, let $\mathbb{F}_{q^m}$ be its extension field of degree $m$. We establish a sufficient condition for existence of a primitive…

This paper is devoted to the complete algebraic and geometric classification of complex 4 and 5-dimensional antiassociative algebras. In particular, we proved that the variety of complex 4-dimensional antiassociative algebras has dimension…

We prove that the representation dimension of a selfinjective algebra of wild tilted type is equal to three, and give an explicit construction of an Auslander generator of its module category. We also show that if a connected selfinjective…

In this paper, we prove: Let A be a nonnegative primitive tensor with order m and dimension n. Then its primitive degree R(A)\leq (n-1)^2+1, and the upper bound is sharp. This confirms a conjecture of Shao [7].

Let T be a tilting object in a triangulated category equivalent to the bounded derived category of a hereditary abelian category with finite dimensional homomorphism spaces and split idempotents. This text investigates the strong global…

We study certain special tilting and cotilting modules for an algebra with positive dominant dimension, each of which is generated or cogenerated (and usually both) by projective-injectives. These modules have various interesting…

There are 6 types of 2-dimensional representations in general. For any groups and any monoids, we can construct the moduli of 2-dimensional representations for each type: the moduli of absolutely irreducible representations, representations…

Abelian varieties of dimension 2n on which a definite quaternion algebra acts are parametrized by symmetrical domains of dimension n(n-1)/2. Such abelian varieties have primitive Hodge classes in the middle dimensional cohomology group. In…

We introduce a new family of algebras, called Serre-formal algebras. They are Iwanaga-Gorenstein algebras for which applying any power of the Serre functor on any indecomposable projective module, the result remains a stalk complex. Typical…

In this paper, the author gives a complete set of simple Yetter-Drinfeld modules over Suzuki algebra $A_{N\,2n+1}^{\mu\lambda}$ and investigates the Nichols algebras over those irreducible Yetter-Drinfeld modules. The finite dimensional…