环与代数
Let $A$ be an associative algebra with a superinvolution $*$ over a field of characteristic zero, and let $c_n^*(A)$, $n = 1, 2, \ldots$, denote its sequence of $*$-codimensions. It is well known that this sequence is either polynomially…
We study several separation axioms for $X$-top-lattices (i.e. a lattice $L$ for which a given subset $X\subseteq L\backslash \{1\}$ admits a \emph{% Zariski-like topology}). Such spaces are $T_{0}$ and usually far away from being $T_{2}.$…
We construct a faithful representation of the semiring of all order-preserving decreasing transformations of a chain with $n+1$ elements by Boolean upper triangular $n\times n$-matrices.
We investigate semigroups $S$ which have the property that every subsemigroup of $S\times S$ which contains the diagonal $\{ (s,s)\colon s\in S\}$ is necessarily a congruence on $S$. We call such $S$ a DSC semigroup. It is well known that…
Over an algebraically closed ffeld F of characteristic p>0, the restricted twisted Heisenberg Lie algebras are studied. We use the Hochschild-Serre spectral sequence relative to its Heisenberg ideal to compute the trivial cohomology. The…
Let $\Bbbk$ be a field, $H$ a Hopf algebra over $\Bbbk$, and $R = (_iM_j)_{1 \leq i,j \leq n}$ a generalized matrix algebra. In this work, we establish necessary and sufficient conditions for $H$ to act partially on $R$. To achieve this, we…
Formanek made the conjecture that the minimal degree of the central polynomials for the $n\times n$ matrix algebra over a field of characteristic 0 is $(n^2+3n-2)/2$ and this is true for $n\leq 3$. For $n=4$ there are examples of central…
This paper introduces Lie groups in degenerate geometric (Clifford) algebras that preserve four fundamental subspaces determined by the grade involution and reversion under the adjoint and twisted adjoint representations. We prove that…
We prove that the interval $[\mathsf{V}(S_7),\mathsf{V}(B_2^1)]$ in the lattice of additively idempotent semiring (ai-semiring) varieties has the cardinality of the continuum,where $S_7$ is the smallest nonfinitely based ai-semiring (a…
We give a complete description of the varieties of associative algebras over a field of characteristic zero which satisfy a polynomial identity of third degree.
Let $A$ be a unital locally matrix algebra. Among the examples of such algebras are: (1) an infinite tensor product $\otimes M_{n_i}(\mathbb{F})$ of matrix algebras over a field $\mathbb{F}$, and (2) the Clifford algebra of a nondegenerate…
Gr\"obner basis computation over multivariate polynomial rings remains one of the most powerful yet computationally hostile primitives in symbolic computation. While modern algorithms (Faug\`ere-type F4 and signature-based F5) reduce many…
A constructive modification of the moving frame method is developed in this paper for the construction of relative invariants of regular Lie group actions. Let a relative invariant $I$ of weight $\omega$ transform according to the rule $$…
Suppose that $f(x) \in \mathbb{R}[x_1,\dots, x_n]$ and $g(x) \in \mathbb{R}[x_1,\dots, x_n]$ are two real polynomials of degree $d$ in $n$ variables. If the polynomials $f$ and $g$ are the same up to orthogonal symmetry a natural question…
We demonstrate that the Cayley-Hamilton theorem is a derived consequence of a more fundamental dimensional constraint: the syzygy formed by the tensor product of two Levi-Civita symbols, which vanishes identically in m-dimensional space. By…
Convolutional codes were originally conceived as vector subspaces of a finite-dimensional vector space over a field of Laurent series having a polynomial basis. Piret and Roos modeled cyclic structures on them by adding a module structure…
Let $p$ be a prime number. Given a restricted Lie algebra over a field of characteristic $p$ and a post-Lie operation over it, we prove the Jacobson identities for a $p$-structure built from the Lie bracket and the post-Lie operation,…
Loday introduced di-associative algebras and tri-associative algebras motivated by periodicity phenomena in algebraic $K$-theory. The purpose of this paper is to study the splittings of operations of di-associative algebras and…
A ring has bounded factorizations if every cancellative nonunit $a \in R$ can be written as a product of atoms and there is a bound $\lambda(a)$ on the lengths of such factorizations. The bounded factorization property is one of the most…
A quaternion order O over a Dedekind domain R is Bass if every R-superorder is Gorenstein, and O is basic if it contains an integrally closed quadratic R-order. In this article, we show that these conditions are equivalent in local and…