相关论文: On when the union of two algebraic sets is algebra…

A quaternionic field is a pair $p=\{\alpha,u\}$ of function $\alpha$ and vector field $u$ given on a 3d Riemannian maifold $\Omega$ with the boundary. The field is said to be harmonic if $\nabla \alpha={\rm rot\,}u$\, in $\Omega$. The…

First we identify the free algebras of the class of algebras of binary relations equipped with the composition and domain operations. Elements of the free algebras are pointed labelled finite rooted trees. Then we extend to the analogous…

Classes of algebraic structures that are defined by equational laws are called varieties or equational classes. A variety is finitely generated if it is defined by the laws that hold in some fixed finite algebra. We show that every…

For an arbitrary partially ordered set $P$ its {\em dual} $P^*$ is built as the collection of all monotone mappings $P\to\2$ where $\2=\{0,1\}$ with $0<1$. The set of mappings $P^*$ is proved to be a complete lattice with respect to the…

A function on an algebra is congruence preserving if, for any congruence, it maps pairs of congruent elements onto pairs of congruent elements. We show that on the algebra of binary trees whose leaves are labeled by letters of an alphabet…

An algebra is called a GI-algebra if its group of units satisfies a group identity. We provide positive support for the following two open problems. 1. Does every algebraic GI-algebra satisfy a polynomial identity? 2. Is every algebraically…

This paper aims at studying how finitely many generalized polarization tensors of an algebraic domain can be used to determine its shape. Precisely, given a planar set with real algebraic boundary, it is shown that the minimal polynomial…

A variety is a class of algebraic structures axiomatized by a set of equations. An equation is linear if there is at most one occurrence of an operation symbol on each side. We show that a variety axiomatized by linear equations has the…

An algebra $\mathcal{A}$ of real or complex valued functions defined on a set $\mathbf{T}$ shall be called \textit{homotonic} if $\mathcal{A}$ is closed under forming of absolute values, and for all $f$ and $g$ in $\mathcal{A}$, the product…

For every algebraically closed field $\boldsymbol k$ of characteristic different from $2$, we prove the following: (1) Generic finite dimensional (not necessarily associative) $\boldsymbol k$-algebras of a fixed dimension, considered up to…

Semi-algebraic set is a subset of the real space defined by polynomial equations and inequalities. In this paper, we consider the problem of deciding whether two given points in a semi-algebraic set are connected. We restrict to the case…

Let $D$ be a bounded domain in $\mathbf C^2$ with a non-compact group of holomorphic automorphisms. Model domains for $D$ are obtained under the hypothesis that at least one orbit accumulates at a boundary point near which the boundary is…

For an arbitrary octonion algebra, we determine all subalgebras. It turns out that every subalgebra of dimension less than four is associative, while every subalgebra of dimension greater than four is not associative. In any split octonion…

We show that if a field k contains sufficiently many elements(for instance, if k is infinite), and K is an algebraically closed field containing k, then every linear algebraic k-group over K is k-isomorphic to Aut(A\otimes_kK), where A is a…

We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…

A logic is said to admit an equational completeness theorem when it can be interpreted into the equational consequence relative to some class of algebras. We characterize logics admitting an equational completeness theorem that are either…

We study graded connected algebras over a field of characteristic zero and give an explicit formula for the cyclic homology of a tensor algebra. By means of a slightly new definition of David Anick's notion "strongly free" we are able to…

P.J.Cameron introduced the orbit algebra of a permutation group and conjectured that this algebra is an integral domain if and only if the group has no finite orbit. We prove that this conjecture holds and in fact that the age algebra of a…

Subsets of a matrix algebra over a field that are invariant under conjugation and contain the linear span of each two of their commuting elements are described. They obviously include the subsets of diagonalizable and nilpotent matrices. In…

In this paper, we consider partially commutative metabelian Lie algebras whose defining graphs are cycles. We show that such algebras are universally equivalent iff the corresponding cycles have the same length. Moreover, we give an example…