Minimal formations of universal algebras

Wenbin Guo; K.P. Shum

The search session has expired. Please query the service again.

Displaying similar documents to “Minimal formations of universal algebras”

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...

The spt-crank for overpartitions

Frank G. Garvan, Chris Jennings-Shaffer (2014)

Acta Arithmetica

Similarity:

Bringmann, Lovejoy, and Osburn (2009, 2010) showed that the generating functions of the spt-overpartition functions $\bar{s p t} (n)$ , ${\bar{s p t}}_{1} (n)$ , ${\bar{s p t}}_{2} (n)$ , and M2spt(n) are quasimock theta functions, and satisfy a number of simple Ramanujan-like congruences. Andrews, Garvan, and Liang (2012) defined an spt-crank in terms of weighted vector partitions which combinatorially explain simple congruences modulo 5 and 7 for spt(n). Chen, Ji, and Zang (2013) were able to define this spt-crank in terms of ordinary partitions....

Factorable congruences and strict refinement.

Iskander, A.A. (1996)

Acta Mathematica Universitatis Comenianae. New Series

Similarity:

Relation products of congruences and factor congruences

Jaromír Duda (1991)

Czechoslovak Mathematical Journal

Similarity:

Integers not of the form $c (2^{a} + 2^{b}) + p^{α}$

Pingzhi Yuan (2004)

Acta Arithmetica

Similarity:

Monadic $n \times m$ -valued Łukasiewicz-Moisil algebras

A. V. Figallo, Claudia A. Sanza (2012)

Mathematica Bohemica

Similarity:

Here we initiate an investigation into the class $m L M_{n \times m}$ of monadic $n \times m$ -valued Łukasiewicz-Moisil algebras (or $m L M_{n \times m}$ -algebras), namely $n \times m$ -valued Łukasiewicz-Moisil algebras endowed with a unary operation. These algebras constitute a generalization of monadic $n$ -valued Łukasiewicz-Moisil algebras. In this article, the congruences on these algebras are determined and subdirectly irreducible algebras are characterized. From this last result it is proved that $m L M_{n \times m}$ is a discriminator variety and as a consequence,...

A scheme for congruence semidistributivity

Ivan Chajda, Eszter K. Horváth (2003)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

A diagrammatic statement is developed for the generalized semidistributive law in case of single algebras assuming that their congruences are permutable. Without permutable congruences, a diagrammatic statement is developed for the ∧-semidistributive law.

Polynomially determined congruences in algebras without constants

Radim Bělohlávek, Ivan Chajda (1997)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Similarity:

Congruences of Ankeny-Artin-Chowla type and the p-adic class number formula revisited

František Marko (2015)

Acta Arithmetica

Similarity:

The purpose of this paper is to interpret the results of Jakubec and his collaborators on congruences of Ankeny-Artin-Chowla type for cyclic totally real fields as an elementary algebraic version of the p-adic class number formula modulo powers of p. We show how to generalize the previous results to congruences modulo arbitrary powers $p^{t}$ and to equalities in the p-adic completion $ℚ_{p}$ of the field of rational numbers ℚ. Additional connections to the Gross-Koblitz formula and explicit congruences...

Modal Pseudocomplemented De Morgan Algebras

Aldo V. Figallo, Nora Oliva, Alicia Ziliani (2014)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Similarity:

Modal pseudocomplemented De Morgan algebras (or $m p M$ -algebras for short) are investigated in this paper. This new equational class of algebras was introduced by A. V. Figallo and P. Landini ([Figallo, A. V., Landini, P.: Notes on $4$ -valued modal algebras Preprints del Instituto de Ciencias Básicas, Univ. Nac. de San Juan 1 (1990), 28–37.]) and they constitute a proper subvariety of the variety of all pseudocomplemented De Morgan algebras satisfying $x \land {(\sim x)}^{*} = {(\sim (x \land {(\sim x)}^{*}))}^{*}$ . Firstly, a topological duality for these...