We prove the Freiheitssatz for free associative algebras over any field. This extends the previous result of Marker-Limanov and immediately implies the Freiheitssatz for free restricted Lie algebras and free Lie algebras. We prove the Freiheitssatz for free Poisson algebras over a field of characteristic zero. This answers a question of MarkerLimanov and Umirbaev in the affirmative.

Lukasiewicz implication algebras are the {→, 1}-subreducts of MV algebras. They are the algebraic counterpart of SuperLukasiewicz Implicational Logics. We give a description of free Lukasiewicz implication algebras in the context of McNaughton functions. More precisely, we show that the |X|-free Lukasiewicz implication algebra is isomorphic to ⋃ x∈X [xθ) for a certain congruence θ over the |X|-...

To a real Hilbert space and a one-parameter group of orthogonal transformations we associate a C∗-algebra which admits a free quasi-free state. This construction is a freeprobability analog of the construction of quasi-free states on the CAR and CCR algebras. We show that under certain conditions, our C∗-algebras are simple, and the free quasi-free states are unique. The corresponding von Neuma...