The article continues the formalization of the lattice theory (as structures with two binary operations, not in terms of ordering relations). In the Mizar Mathematical Library, there are some attempts to formalize prime ideals and filters; one series of articles written as decoding [9] proven some results; we tried however to follow [21], [12], and [13]. All three were devoted to the Stone repr...

Double Boolean algebras are algebras (D,u,t, , ,⊥,>) of type (2, 2, 1, 1, 0, 0). They have been introduced to capture the equational theory of the algebra of protoconcepts. A filter (resp. an ideal) of a double Boolean algebra D is an upper set F (resp. down set I) closed under u (resp. t). A filter F is called primary if F 6= ∅ and for all x ∈ D we have x ∈ F or x ∈ F . In this note we prove t...

‎Here‎, ‎we investigate a conjecture posed by Amiri and Ariannejad claiming‎ ‎that if every maximal subfield of a division ring $D$ has trivial normalizer‎, ‎then $D$ is commutative‎. ‎Using Amitsur classification of‎ ‎finite subgroups of division rings‎, ‎it is essentially shown that if‎ ‎$D$ is finite dimensional over its center then it contains a maximal‎ ‎subfield with non-trivial normalize...

Orthogonal decompositions (OD:s) that are monomial have been constructed for most simple Lie algebras but in some cases the existence of an OD is still an open question. One of them is Lie algebras of type Cn where n is not a power of 2. In this paper we use computational methods to prove that C3 has no monomial OD. 1 Orthogonal decompositions of simple Lie algebras The basic question, of which...

The $q$-deformed Araki-Woods von Neumann algebras $\Gamma_q(\mathcal{H}_\mathbb{R}, U_t)^{\prime \prime}$ are factors for all $q\in (-1,1)$ whenever $dim(\mathcal{H}_\mathbb{R})\geq 3$. When $dim(\mathcal{H}_\mathbb{R})=2$ they as well $q$ so long the parameter defining $(U_t)$ is `small' or $1$ $($trivial$)$ case may be.

In the present paper, we introduce the notion of fuzzy Aideals of MV -modules over PMV -algebras and several properties of fuzzy A-ideals are given. Using this concept, a prime fuzzy A-ideal is defined. Using a level set of a fuzzy set in MV -modules, we give a characterization of prime fuzzy A-ideals in MV -modules. Finally, we prove that the homomorphic image and preimage of prime fuzzy A-ide...

Let K be a field and let A be a finitely generated prime K-algebra. We generalize a result of Smith and Zhang, showing that if A is not PI and does not have a locally nilpotent ideal, then the extended centre of A has transcendence degree at most GKdim(A) − 2 over K. As a consequence, we are able to show that if A is a prime K-algebra of quadratic growth, then either the extended centre is a fi...