As algebraic semantics of the logic of quantum mechanics there are usually
used orthomodular posets, i.e. bounded posets with a complementation which is
an antitone involution and where the join of orthogonal elements exists and the
orthomodular law is satisfied. When we omit the condition that the
complementation is an antitone involution, then we obtain skew-orthomodular
posets. To each such poset we can assign a bounded lambda-lattice in a
non-unique way. Bounded lambda-lattices are lattice-like algebras whose
operations are not necessarily associative. We prove that any of the following
properties for bounded posets with a unary operation can be characterized by
certain identities of an arbitrary assigned lambda-lattice: complementarity,
orthogonality, almost skew-orthomodularity and skew-orthomodularity. It is
shown that these identities are independent. Finally, we show that the variety
of skew-orthomodular lambda-lattices is congruence permutable as well as
congruence regular.

more |
pdf
| html
None.

mathRAb:
Ivan Chajda, Miroslav Kolařík, Helmut Länger : Varieties corresponding to classes of complemented posets https://t.co/IgKvuF0y85 https://t.co/MH047qIauG

None.

None.

Sample Sizes : None.

Authors: 3

Total Words: 3658

Unqiue Words: 724

We prove that, for any $n$, the monoid of all $n \times n$ supertropical
matrices extending tropical matrices satisfies nontrivial semigroup identities.
These identities are carried over to walks on labeled-weighted digraphs with
double arcs.

more |
pdf
| html
None.

mathRAb:
Z. Izhakian, G. Merlet : Semigroup identities of supertropical matrices https://t.co/p8zUxTBgup https://t.co/bxuYiZLQnj

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 0

Unqiue Words: 0

Let $\mathcal{A}$ and $\mathcal{B}$ be abelian categories and
$\mathbf{F}:\mathcal{A}\to \mathcal{B}$ an additive and right exact functor
which is perfect, and let $(\mathbf{F},\mathcal{B})$ be the left comma
category. We give an equivalent characterization of Gorenstein projective
objects in $(\mathbf{F},\mathcal{B})$ in terms of Gorenstein projective objects
in $\mathcal{B}$ and $\mathcal{A}$. We prove that there exists a left
recollement of the stable category of the subcategory of
$(\mathbf{F},\mathcal{B})$ consisting of Gorenstein projective objects modulo
projectives relative to the same kind of stable categories in $\mathcal{B}$ and
$\mathcal{A}$. Moreover, this left recollement can be filled into a recollement
when $\mathcal{B}$ is Gorenstein and $\mathbf{F}$ preserves projectives.

more |
pdf
| html
None.

mathRAb:
Yeyang Peng, Rongmin Zhu, Zhaoyong Huang : Gorenstein Projective Objects in Comma Categories https://t.co/q3657o6ElD https://t.co/2ZpbSJ4rOj

None.

None.

Sample Sizes : None.

Authors: 3

Total Words: 0

Unqiue Words: 0

In this paper, we prove that every local derivation on Witt algebras $W_n,
W_n^+$ or $W_n^{++} $ is a derivation for any $n\in\mathbb{N}$. As a
consequence, we obtain that every local derivation on a centerless generalized
Virasoro algebra of higher rank is a derivation.

more |
pdf
| html
None.

mathRAb:
Yang Chen, Kaiming Zhao, Yueqiang Zhao : local derivations on Witt algebras https://t.co/mde0pwvhah https://t.co/wBbeFcn3PD

None.

None.

Sample Sizes : None.

Authors: 3

Total Words: 0

Unqiue Words: 0

Lie algebras with non-trivial center are studied and shown how can they be
built from characteristic ideals. The nature of such characteristic ideals is
elucidated and their construction is provided in detail. It is shown how to
approach the study and classification of these Lie algebras through the theory
of extensions via appropriate cocycles and representations. Also, necessary and
sufficient conditions for the existence of invariant metrics are given. It is
shown that any non-Abelian quadratic Lie algebra $\g$ with non-trivial center
is of the form $\g=\h\oplus\a\oplus\h^*$, where $\ide(\g)\simeq\h^*$ and
$\j(\g) \simeq \a \oplus \h^{*}$ are two canonically defined Abelian ideals for
$\g$ satisfying $\ide(\g)^\perp=\j(\g)$. The main examples are such that
$[\g,\g]^\perp=C(\g)\ne\{0\}$.

more |
pdf
| html
None.

mathRAb:
R. García Delgado, G. Salgado, O. A. Sánchez-Valenzuela : On Quadratic Lie algebras with non-trivial center https://t.co/L02xjbZ9A0 https://t.co/IrOaFEIrnE

None.

None.

Sample Sizes : None.

Authors: 3

Total Words: 11640

Unqiue Words: 1866

A ring $R$ is said to be clean if each element of $R$ can be written as the
sum of a unit and an idempotent. In a recent article (J. Algebra, 405 (2014),
168-178), Immormino and McGoven characterized when the group ring $\mathbb
Z_{(p)}[C_n]$ is clean, where $\mathbb Z_{(p)}$ is the localization of the
integers at the prime $p$. In this paper, we consider a more general setting.
Let $K$ be an algebraic number field, $\mathcal O_K$ be its ring of integers,
and $R$ be a localization of $\mathcal O_K$ at some prime ideal. We investigate
when $R[G]$ is clean, where $G$ is a finite abelian group, and obtain a
complete characterization for such a group ring to be clean for the case when
$K=\mathbb Q(\zeta_n)$ is a cyclotomic field or $K=\mathbb Q(\sqrt{d})$ is a
quadratic field.

more |
pdf
| html
None.

mathRAb:
Yuanlin Li, Qinghai Zhong : Clean group rings over localizations of rings of integers https://t.co/WJ4jvnra0q https://t.co/lLdF0DwQG0

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 0

Unqiue Words: 0

In this review article, first we give the concrete formulas of
representations and cohomologies of associative algebras, Lie algebras, pre-Lie
algebras, Leibniz algebras and 3-Lie algebras and some of their strong homotopy
analogues. Then we recall the graded Lie algebras and graded associative
algebras that characterize these algebraic structures as Maurer-Cartan
elements. The corresponding Maurer-Cartan element equips the graded Lie or
associative algebra with a differential. Then the deformations of the given
algebraic structures are characterized as the Maurer-Cartan elements of the
resulting differential graded Lie or associative algebras. We also recall the
relation between the cohomologies and the differential graded Lie and
associative algebras that control the deformations.

more |
pdf
| html
None.

mathRAb:
Ai Guan, Andrey Lazarev, Yunhe Sheng, Rong Tang : Review of deformation theory I: Concrete formulas for deformations of algebraic structures https://t.co/OzRUho4N2b https://t.co/YFLmfpsvEb

None.

None.

Sample Sizes : None.

Authors: 4

Total Words: 0

Unqiue Words: 0

In support variety theory, representations of a finite dimensional (Hopf)
algebra $A$ can be studied geometrically by associating any representation of
$A$ to an algebraic variety using the cohomology ring of $A$. An essential
assumption in this theory is the finite generation condition for the cohomology
ring of $A$ and that for the corresponding modules.
In this paper, we introduce various approaches to study the finite generation
condition. First, we show that the finite generation condition on $A$-modules
can be replaced by a condition on any affine commutative Hopf $A$-module
algebra $R$ under the assumption that $R$ is integral over its invariant
subring $R^A$. Next, we use a spectral sequence argument to show that a finite
generation condition holds for certain filtered, smash and crossed product
algebras in positive characteristic if the related spectral sequences collapse
at some pages. Finally, for any finite dimensional Hopf algebra $A$ that is
defined over a number field over the rationals, we construct another...

more |
pdf
| html
None.

mathRAb:
Van C. Nguyen, Xingting Wang, Sarah Witherspoon : New approaches to finite generation of cohomology rings https://t.co/bxvpgKTC06 https://t.co/CUoEcFwzfG

None.

None.

Sample Sizes : None.

Authors: 3

Total Words: 0

Unqiue Words: 0

Let $\alpha $ be a $p \times q$ interval matrix with $p \geq q$ and with the
endpoints of all its entries in the set of the rational numbers. We prove that,
if $\alpha $ contains a rank-$r$ real matrix with $r \in \{2, q-2,q-1,q\}$,
then it contains a rank-$r$ rational matrix.

more |
pdf
| html
None.

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 0

Unqiue Words: 0

In this paper, we introduce a family of graphs which is a generalization of
zero-divisor graphs and compute an upper-bound for the diameter of such graphs.
We also investigate their cycles and cores.

more |
pdf
| html
None.

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 0

Unqiue Words: 0

Assert is a website where the best academic papers on arXiv (computer science, math, physics), bioRxiv (biology), BITSS (reproducibility), EarthArXiv (earth science), engrXiv (engineering), LawArXiv (law), PsyArXiv (psychology), SocArXiv (social science), and SportRxiv (sport research) bubble to the top each day.

Papers are scored (in real-time) based on how verifiable they are (as determined by their Github repos) and how interesting they are (based on Twitter).

To see top papers, follow us on twitter @assertpub_ (arXiv), @assert_pub (bioRxiv), and @assertpub_dev (everything else).

To see beautiful figures extracted from papers, follow us on Instagram.

*Tracking 222,743 papers.*

Sort results based on if they are interesting or reproducible.

Interesting

Reproducible