Related papers: Isotypic blocks are functorially equivalent

In this paper we show that evolution algebras over any given field $\Bbbk$ are universally finite. In other words, given any finite group $G$, there exist infinitely many regular evolution algebras $X$ such that $Aut(X)\cong G$. The proof…

A longstanding and important problem in algebraic geometry is the characterization of algebraic function fields. In this paper, we focus on the characterization problem for cyclotomic function field $L(\Lambda_M)$, which is an important…

We classify all finite groups of essential dimension 2 over an algebraically closed field of characteristic 0.

Dependently typed proof assistant rely crucially on definitional equality, which relates types and terms that are automatically identified in the underlying type theory. This paper extends type theory with definitional functor laws,…

We prove that infinite definably simple locally finite groups of finite centraliser dimension are simple groups of Lie type over locally finite fields. Then, we identify conditions on automorphisms of a stable group that make it resemble…

In this paper we describe all group gradings by a finite abelian group $\Gamma$ of a simple Lie algebra of type $G_2$ over an algebraically closed field $F$ of characteristic 0.

Let $X$ be a normal, connected and projective variety over an algebraically closed field $k$. It is known that a vector bundle $V$ on $X$ is essentially finite if and only if it is trivialized by a proper surjective morphism $f:Y\to X$. In…

Let G be a Chevalley group scheme and B<=G a Borel subgroup scheme, both defined over Z. Let K be a global function field, S be a finite non-empty set of places over K, and O_S be the corresponding S-arithmetic ring. Then, the S-arithmetic…

We introduce a general unifying framework for the investigation of pointlike sets. The pointlike functors are considered as distinguished elements of a certain lattice of subfunctors of the power semigroup functor; in particular, we exhibit…

It is known from work by H. Abels and P. Abramenko that for a classical Fq-group G of rank n the arithemetic lattice G(Fq[t]) of Fq[t]-rational points is of type Fn-1 provided that q is large enough. We show that the statement is true…

In this article we prove a result comparing rationality of algebraic cycles over the function field of a projective homogeneous variety under a linear algebraic group of type $F_4$ or $E_8$ and over the base field, which can be of any…

It is proved that, in certain subgroups of direct products of countable groups, the property of being an unconditionally closed set coincides with that of being an algebraic set. In particular, these properties coincide in all Abelian…

We prove that in every variety of $G$-groups, every $G$-existentially closed element satisfies nullstellensatz for finite consistent systems of equations. This will generalize {\bf Theorem G} of \cite{BMR1}. As a result we see that every…

Associative algebras with involution over a field of zero characteristic are considered. It is proved that in this case for any finitely generated associative algebra with involution there exists a finite dimensional algebra with involution…

We discuss analogies between the fundamental groups of flat bundles in characteristic 0 and $p>0$ (contribution to the ECM 2012 volume)

Let $R$ be a finite-dimensional algebra over an algebraically closed field $F$ graded by an arbitrary group $G$. We prove that $R$ is a graded division algebra if and only if it is isomorphic to a twisted group algebra of some finite…

Each commutative algebra $A$ gives rise to a representation $\mathcal{L}_A$, which we call the Loday functor of $A$, of the category $\Omega$ of finite sets and surjective maps. In this paper we present two (infinite-dimensional)…

A new class of conformal field theories is presented, where the background gravitational field is conformally flat. Conformally flat (CF) spacetimes enjoy conformal properties quite similar to the ones of flat spacetime. The conformal…

Types over a discrete valued field $(K,v)$ are computational objects that parameterize certain families of monic irreducible polynomials in $K_v[x]$, where $K_v$ is the completion of $K$ at $v$. Two types are considered to be equivalent if…

In [8] we proved that any categorical group defines a c-crossed module, which is a cssc-crossed module defined in the same paper. In [9] we constructed a categorical group for any cssc-crossed module. In the presented paper we prove that…