Related papers: On Congruences on Ultraproducts of Algebraic Struc…

We study surjective homomorphisms f:\prod_I A_i\to B of not-necessarily-associative algebras over a commutative ring k, for I a generally infinite set; especially when k is a field and B is countable-dimensional over k. Our results have the…

This paper deals with join-semilattices whose sections, i.e. principal filters, are pseudocomplemented lattices. The pseudocomplement of a\vee b in the section [b,1] is denoted by a\rightarrow b and can be considered as the connective…

The method of direct computation of universal (fibred) product in the category of commutative associative algebras of finite type with unity over a field is given and proven. The field of coefficients is not supposed to be algebraically…

We prove the consistency of irr(prod limits_{i<kappa}B_i/D)< prod limits_{i<kappa}irr(B_i)/D, where D is an ultrafilter on kappa and each B_i is a Boolean Algebra. This solves the last problem of this form from the Monk's list of problems,…

We present a novel approach to the construction of new finite algebras and describe the congruence lattices of these algebras. Given a finite algebra $(B_0, \dots)$, let $B_1, B_2, \dots, B_K$ be sets that either intersect $B_0$ or…

Let $A$ be an Artinian Gorenstein algebra over an infinite field $k$ with either $\hbox{char}(k)=0$ or $\hbox{char}(k)>\nu$, where $\nu$ is the socle degree of $A$. To every such algebra and a linear projection $\pi$ on its maximal ideal…

We construct a non-commutative, non-cocommutative, graded bialgebra $\mathbf{\Pi}$ with a basis indexed by the permutations in all finite symmetric groups. Unlike the formally similar Malvenuto-Poirier-Reutenauer Hopf algebra, this…

Let \A be an affine hyperplane arrangement in $\C^\ell$ with complement $U$. Let $f_1, \..., f_n$ be linear polynomials defining the hyperplanes of \A, and $A^\cdot$ the algebra of differential forms generated by the 1-forms $d \log f_1,…

Let $M_n$ be a sequence of finite factors with $\dim(M_n)\rightarrow \infty$ and denote $\text{\bf M}=\Pi_\omega M_n$ their ultraproduct over a free ultrafilter $\omega$. We prove that if $\text{\bf Q}\subset \text{\bf M}$ is either an…

To every Gorenstein algebra $A$ of finite vector space dimension greater than 1 over a field $\FF$ of characteristic zero, and a linear projection $\pi$ on its maximal ideal ${\mathfrak m}$ with range equal to the annihilator…

For $\mathbf{A}\leq\mathbf{B}$ first order structures in a class $\mathcal{K}$, say that $\mathbf{A}$ is an epic substructure of $\mathbf{B}$ in $\mathcal{K}$ if for every $\mathbf{C}\in\mathcal{K}$ and all homomorphisms…

First of all, we recall the well known notion of semidirect product both for classical algebraic structures (like groups and rings) and for more recent ones (digroups, left skew braces, heaps, trusses). Then we analyse the concept of…

We present a functorial construction which, starting from a congruence $\alpha$ of finite index in an algebra A, yields a new algebra C with the following properties: the congruence lattice of C is isomorphic to the interval of congruences…

Given an Archimedean vector lattice $E$, we present one elementary property of $E$ which is equivalent to the entire traditional list of axioms which makes $E$ a $\Phi$-algebra. We call a vector lattice with this property ``square closed".…

We denote by Conc(A) the semilattice of all finitely generated congruences of an (universal) algebra A, and we define Conc(V) as the class of all isomorphic copies of all Conc(A), for A in V, for any variety V of algebras. Let V and W be…

Let $(\mathfrak{g}, [\cdot,\cdot], \delta_\mathfrak{g})$ be a fixed Lie bialgebra, $E$ be a vector space containing $\mathfrak{g}$ as a subspace and $V$ be a complement of $\mathfrak{g}$ in $E$. A natural problem is that how to classify all…

We prove that every distributive algebraic lattice with at most $\aleph\_1$ compact elements is isomorphic to the normal subgroup lattice of some group and to the submodule lattice of some right module. The $\aleph\_1$ bound is optimal, as…

To every Gorenstein algebra $A$ of finite dimension greater than 1 over a field ${\Bbb F}$ of characteristic zero, and a projection $\pi$ on its maximal ideal ${\mathfrak m}$ with range equal to the annihilator $\hbox{Ann}({\mathfrak m})$…

Let k be an infinite field, I an infinite set, V a k-vector-space, and g:k^I\to V a k-linear map. It is shown that if dim_k(V) is not too large (under various hypotheses on card(k) and card(I), if it is finite, respectively countable,…

If $\rho$ is a binary relation on a set $X$, the structure ${\mathbb X}=\langle X,\rho\rangle$ is connected iff the minimal equivalence relation containing $\rho$ is the full relation on $X$. We show that, for a set $I$ the following…