Related papers: On a Pair of Universal Weak Inverse Property Loops

Two distinct isotopy-isomorphy conditions, different from those of J. M. Osborn and Wilson's condition, for a weak inverse property loop(WIPL) are shown. Only one of them characterizes isotopy-isomorphy in WIPLs while the other is just a…

A weak multiplier Hopf algebra is a pair (A,\Delta) of a non-degenerate idempotent algebra A and a coproduct $\Delta$ on A. The coproduct is a coassociative homomorphism from A to the multiplier algebra M(A\otimes A) with some natural extra…

In this note we study the weak topology on paired modules over a (not necessarily commutative) ground ring. Over QF rings we are able to recover most of the well known properties of this topology in the case of commutative base fields. The…

The notion of the holomorph of a generalized Bol loop (GBL) is characterized afresh. The holomorph of a right inverse property loop (RIPL) is shown to be a GBL if and only if the loop is a GBL and some bijections of the loop are right…

Weakly dicomplemented lattices are bounded lattices equipped with two unary operations to encode a negation on {\it concepts}. They have been introduced to capture the equational theory of concept algebras \cite{Wi00}. They generalize…

Quite recently, a new property related to norm-attaining operators has been introduced: the weak maximizing property (WMP). In this note, we define a generalised version of it considering other topologies than the weak one (mainly the…

We present a conservative extension ICaTT of the dependent type theory CaTT for weak $\omega$-categories with a type witnessing coinductive invertibility of cells. This extension allows for a concise description of the "walking equivalence"…

For a group $G$, a weak Cayley isomorphism is a bijection $f:G \to G$ such that $f(g_1g_2)$ is conjugate to $ f(g_1)f(g_2)$ for all $g_1,g_2 \in G$. They form a group $\mathcal W(G)$ that is the group of symmetries of the weak Cayley table…

In this paper, we introduce a class of $J$-quasipolar rings. Let $R$ be a ring with identity. An element $a$ of a ring $R$ is called {\it weakly $J$-quasipolar} if there exists $p^2 = p\in comm^2(a)$ such that $a + p$ or $a-p$ are contained…

We prove that if $(M,\mathcal{X})$ and $(M,\mathcal{Y})$ are countable models of the theory $\mathrm{WKL}^*_0$ such that $\mathrm{I}\Sigma_1(A)$ fails for some $A \in \mathcal{X} \cap \mathcal{Y}$, then $(M,\mathcal{X})$ and…

We study loops which are universal (that is, isotopically invariant) with respect to the property of flexibility ($xy\cdot x = x\cdot yx$). We also weaken this to semi-universality, that is, loops in which every left and right isotope is…

This paper continues the investigation begun in arXiv:1906.05602 of extending the T1 theorem of David and Journ\'e, and optimal cancellation conditions, to more general weight pairs. The main additional tool developed here is a two weight…

For which (first-order complete, usually countable) $T$ do there exist non-isomorphic models of $T$ which become isomorphic after forcing with a forcing notion $\mathbb{P}$? Necessarily, $\mathbb{P}$ is non-trivial; i.e.~it adds some new…

In a unitary ring with involution, we prove that each element has at most one weak group inverse if and only if each idempotent element has a unique weak group inverse. Furthermore, we define the $m$-weak group inverse and show some…

A question associated with the 2005 open problem of Michael Kinyon (Is every Osborn loop universal?), is answered. Two nice identities that characterize universal (left and right universal) Osborn loops are established. Numerous new…

Let $R$ be a semilocal principal ideal domain. Two algebraic objects over $R$ in which scalar extension makes sense (e.g. quadratic spaces) are said to be of the same genus if they become isomorphic after extending scalars to all…

Isotopes of C-loops with unique non-identity squares are shown to be both C-loops and A-loops. The relationship between C-loops and Steiner loops is further studied. Central loops with the weak and cross inverse properties are also…

Recently a new equivalence relation between weak* closed operator spaces acting on Hilbert spaces has appeared. Two weak* closed operator spaces U, V are called weak TRO equivalent if there exist ternary rings of operators M_i, i=1,2 such…

The m-weak group inverse was recently studied in the literature. The purpose of this paper is to investigate new properties of this generalized inverse for ring elements. We introduce the m-weak group decomposition for a ring element and…

A loop $(Q,\cdot,\backslash,/)$ is called a middle Bol loop if it obeys the identity $x(yz\backslash x)=(x/z)(y\backslash x)$. In this paper, some new algebraic properties of a middle Bol loop are established. Four bi-variate mappings…