Related papers: Linear Algebra Estimates
Let $\boldsymbol{\Lambda}\,(=\mathbb{F}^{n^{3}})$, where $\mathbb{F}$ is a field with $|\mathbb{F}|>2$, be the space of structure vectors of algebras having the $n$-dimensional $\mathbb{F}$-space $V$ as the underlying vector space. Also let…
Using the computational algebra system GAP (http://www.gap-system.org) and the GAP package LAGUNA (http://www.cs.st-andrews.ac.uk/~alexk/laguna.htm), we checked that all 2-groups of order not greater than 32 are determined by normalized…
In this paper we consider some classical varieties of linear algebras over the field which has characteristic 0. For every considered variety we take a category of the finite generated free algebras of this variety. And for every this…
In this article, we generalize Loday and Pirashvili's [10] computation of the Ext-category of Leibniz bimodules for a simple Lie algebra to the case of a simple (non Lie) Leibniz algebra. Most of the arguments generalize easily, while the…
We study the automorphism group of the algebraic closure of a substructure A of a pseudo-finite field F, or more generally, of a bounded PAC field F. This paper answers some of the questions of [1], and in particular that any finite group…
A monomial algebra is the quotient of a polynomial algebra by an ideal generated by monomials. We prove that finite-dimensional monomial algebras are characterized by their automorphism group among finite-dimensional, local algebras with…
Let $\Gamma$ denote the modular group $SL(2,\Bbb Z)$ and $C_n(\Gamma)$ the number of congruence subgroups of $\Gamma$ of index at most $n$. We prove that $\lim\limits_{n\to \infty} \frac{\log C_n(\Gamma)}{(\log n)^2/\log\log n} =…
A finite algebra $\bA=\alg{A;\cF}$ is \emph{dualizable} if there exists a discrete topological relational structure $\BA=\alg{A;\cG;\cT}$, compatible with $\cF$, such that the canonical evaluation map $e\_{\bB}\colon \bB\to \Hom(…
Ufnarovski remarked in 1990 that it is unknown whether any finitely presented associative algebra of linear growth is automaton, that is, whether the set of normal words in the algebra form a regular language. If the algebra is graded, then…
In this paper we prove that any local automorphism on the solvable Leibniz algebras with null-filiform and naturally graded non-Lie filiform nilradicals, whose dimension of complementary space is maximal is an automorphism. Furthermore, the…
Ordinary algebra of formal power series in one variable is convenient to study by means of the algebra of Riordan matrices and the Riordan group. In this paper we consider algebra of formal power series without constant term, isomorphic to…
For $4 \nmid L$ and $g$ large, we calculate the integral Picard groups of the moduli spaces of curves and principally polarized abelian varieties with level $L$ structures. In particular, we determine the divisibility properties of the…
We prove that every $2$-local automorphism on a finite-dimensional semi-simple Lie algebra $\mathcal{L}$ over an algebraically closed field of characteristic zero is an automorphism. We also show that each finite-dimensional nilpotent Lie…
In this paper, we study a family of infinite-dimensional Lie algebras $\widehat{X}_{S}$, where $X$ stands for the type: $A,B,C,D$, and $S$ is an abelian group, which generalize the $A,B,C,D$ series of trigonometric Lie algebras. Among the…
Given an algebraic Lie algebra $\mathfrak{g}$ over $\mathbb{C}$, we canonically associate to it a Lie algebra $\mathfrak{g}_{\infty}$ defined over $\mathbb{C}_{\infty}$-the reduction of $\mathbb{C}$ mod infinitely large prime, and show that…
This is the second installment of an exposition of an ACL2 formalization of elementary linear algebra. It extends the results of Part I, which covers the algebra of matrices over a commutative ring, but focuses on aspects of the theory that…
Put $R=\F[[t_1, \ldots, t_d]])$. We estimate the number of normal subgroups of $\mathrm{SL}_2^1(\F[[t_1, \ldots, t_d]])$ for $p>2$, the number of ideals in the Lie algebra $\Lie(R)$, and the number of ideals in the associative algebra $R$.
We prove that every 2-local automorphism of the unitary group or the general linear group on a complex infinite-dimensional separable Hilbert space is an automorphism. Thus these types of transformations are completely determined by their…
The goal of this work is to study the ideals of the Goldman Lie algebra $S$. To do so, we construct an algebra homomorphism from $S$ to a simpler algebraic structure, and focus on finding ideals of this new structure instead. The structure…
In this note, we show that the epimorphic subgroups of an algebraic group are exactly the pull-backs of the epimorphic subgroups of its affinization. We also obtain epimorphicity criteria for subgroups of affine algebraic groups, which…