Diamond identities for relative congruences

Gábor Czédli

Displaying similar documents to “Diamond identities for relative congruences”

On the lattice of congruences on inverse semirings

Anwesha Bhuniya, Anjan Kumar Bhuniya (2008)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

Let S be a semiring whose additive reduct (S,+) is an inverse semigroup. The relations θ and k, induced by tr and ker (resp.), are congruences on the lattice C(S) of all congruences on S. For ρ ∈ C(S), we have introduced four congruences $ρ_{m i n}, ρ_{m a x}, ρ^{m i n}$ and $ρ^{m a x}$ on S and showed that $ρ θ = [ρ_{m i n}, ρ_{m a x}]$ and $ρ κ = [ρ^{m i n}, ρ^{m a x}]$ . Different properties of ρθ and ρκ have been considered here. A congruence ρ on S is a Clifford congruence if and only if $ρ_{m a x}$ is a distributive lattice congruence and $ρ^{m a x}$ is a skew-ring congruence on S. If η (σ) is the...

2-normalization of lattices

Ivan Chajda, W. Cheng, S. L. Wismath (2008)

Czechoslovak Mathematical Journal

Similarity:

Let $τ$ be a type of algebras. A valuation of terms of type $τ$ is a function $v$ assigning to each term $t$ of type $τ$ a value $v (t) \geq 0$ . For $k \geq 1$ , an identity $s \approx t$ of type $τ$ is said to be $k$ -normal (with respect to valuation $v$ ) if either $s = t$ or both $s$ and $t$ have value $\geq k$ . Taking $k = 1$ with respect to the usual depth valuation of terms gives the well-known property of normality of identities. A variety is called $k$ -normal (with respect to the valuation $v$ ) if all its identities are $k$ -normal. For any variety $V$ , there...

New infinite families of Ramanujan-type congruences modulo 9 for overpartition pairs

Ernest X. W. Xia (2015)

Colloquium Mathematicae

Similarity:

Let $\bar{p p} (n)$ denote the number of overpartition pairs of n. Bringmann and Lovejoy (2008) proved that for n ≥ 0, $\bar{p p} (3 n + 2) \equiv 0 (m o d 3)$ . They also proved that there are infinitely many Ramanujan-type congruences modulo every power of odd primes for $\bar{p p} (n)$ . Recently, Chen and Lin (2012) established some Ramanujan-type identities and explicit congruences for $\bar{p p} (n)$ . Furthermore, they also constructed infinite families of congruences for $\bar{p p} (n)$ modulo 3 and 5, and two congruence relations modulo 9. In this paper, we prove several...

Hyperreflexivity of bilattices

Kamila Kliś-Garlicka (2016)

Czechoslovak Mathematical Journal

Similarity:

The notion of a bilattice was introduced by Shulman. A bilattice is a subspace analogue for a lattice. In this work the definition of hyperreflexivity for bilattices is given and studied. We give some general results concerning this notion. To a given lattice $ℒ$ we can construct the bilattice $Σ_{ℒ}$ . Similarly, having a bilattice $Σ$ we may consider the lattice $ℒ_{Σ}$ . In this paper we study the relationship between hyperreflexivity of subspace lattices and of their associated bilattices. Some examples...

On a linear homogeneous congruence

A. Schinzel, M. Zakarczemny (2006)

Colloquium Mathematicae

Similarity:

The number of solutions of the congruence $a ₁ x ₁ + \dots + a_{k} x_{k} \equiv 0 (m o d n)$ in the box $0 \leq x_{i} \leq b_{i}$ is estimated from below in the best possible way, provided for all i,j either $(a_{i}, n) | (a_{j}, n)$ or $(a_{j}, n) | (a_{i}, n)$ or $n | [a_{i}, a_{j}]$ .

On Alternatives of Polynomial Congruences

Mariusz Skałba (2004)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

What should be assumed about the integral polynomials $f ₁ (x), . . ., f_{k} (x)$ in order that the solvability of the congruence $f ₁ (x) f ₂ (x) \dots f_{k} (x) \equiv 0 (m o d p)$ for sufficiently large primes p implies the solvability of the equation $f ₁ (x) f ₂ (x) \dots f_{k} (x) = 0$ in integers x? We provide some explicit characterizations for the cases when $f_{j} (x)$ are binomials or have cyclic splitting fields.

On central atoms of Archimedean atomic lattice effect algebras

Martin Kalina (2010)

Kybernetika

Similarity:

If element $z$ of a lattice effect algebra $(E, \oplus, 0, 1)$ is central, then the interval $[0, z]$ is a lattice effect algebra with the new top element $z$ and with inherited partial binary operation $\oplus$ . It is a known fact that if the set $C (E)$ of central elements of $E$ is an atomic Boolean algebra and the supremum of all atoms of $C (E)$ in $E$ equals to the top element of $E$ , then $E$ is isomorphic to a direct product of irreducible effect algebras ([16]). In [10] Paseka and Riečanová published as open problem whether $C (E)$ is...

Goldie extending elements in modular lattices

Shriram K. Nimbhorkar, Rupal C. Shroff (2017)

Mathematica Bohemica

Similarity:

The concept of a Goldie extending module is generalized to a Goldie extending element in a lattice. An element $a$ of a lattice $L$ with $0$ is said to be a Goldie extending element if and only if for every $b \leq a$ there exists a direct summand $c$ of $a$ such that $b \land c$ is essential in both $b$ and $c$ . Some properties of such elements are obtained in the context of modular lattices. We give a necessary condition for the direct sum of Goldie extending elements to be Goldie extending. Some characterizations...