arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 0706.1480

Some necessary and sufficient conditions for parastrophic invariance of the associative law in quasigroups

Temitope Gbolahan Jaiyeola
View original source ↗Read source document ↗Export metadata ↓

Abstract

Every quasigroup $(S,\cdot)$ belongs to a set of 6 quasigroups, called parastrophes denoted by $(S,π_i)$, $i\in \{1,2,3,4,5,6\}$. It is shown that isotopy-isomorphy is a necessary and sufficient condition for any two distinct quasigroups $(S,π_i)$ and $(S,π_j)$, $i,j\in \{1,2,3,4,5,6\}$ to be parastrophic invariant relative to the associative law. In addition, a necessary and sufficient condition for any two distinct quasigroups $(S,π_i)$ and $(S,π_j)$, $i,j\in \{1,2,3,4,5,6\}$ to be parastrophic invariance under the associative law is either if the $π_i$-parastrophe of $H$ is equivalent to the $π_i$-parastrophe of the holomorph of the $π_i$-parastrophe of $S$ or if the $π_i$-parastrophe of $H$ is equivalent to the $π_k$-parastrophe of the $π_i$-parastrophe of the holomorph of the $π_i$-parastrophe of $S$, for a particular $k\in \{1,2,3,4,5,6\}$.

Explore related subjects

math.GM

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Temitope Gbolahan Jaiyeola. 2009-03-10. Some necessary and sufficient conditions for parastrophic invariance of the associative law in quasigroups. https://arxiv.org/abs/0706.1480

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Prescribed Primitive Roots And The Least Primes

Let $q\ne \pm1,v^2$ be a fixed integer. The least prime number $p \geq2 $ such that $q$ is a primitive root modulo $p$ is conjectured to be $p\ll (\log q)(\log \log q)),$ where $\gcd(p,q)=1$. This note proves the existence of a small subset of primes $p$ that satisfies the stated upper bound.

math.GM↗
arXiv2026

Lateral Weak Stieltjes Derivatives: A Global Characterization of Stieltjes--Sobolev Spaces

Weak formulations for Stieltjes differential equations must retain the directional information carried by atoms of the driving measure. We derive a lateral integration-by-parts identity in which the posterior trace of the test function is forced by the atomic product rule. The resulting dual formulation gives an exact global characterization of integral Stieltjes--Sobolev spaces for the full exponent range from one to infinity and reconstructs the unique strong representative from its traced weak state. We prove that the associated traced weak operator is closed, establish Poincaré--Stieltjes estimates, and \rev{characterize Stieltjes absolute continuity inside bounded variation through a canonical derivative measure whose restriction to the open interval is the classical distributional derivative}. The framework is then applied to finite-dimensional nonlinear measure-driven systems, yielding equivalence of weak, integral, and measure formulations, existence and uniqueness under integrable Lipschitz assumptions, compactness-based existence, and intrinsic reset laws. Cubic and logistic models illustrate the simultaneous encoding of continuous evolution and instantaneous interventions.

math.GM↗
arXiv2026

Admissible $qx+1$ Sequences, Semiconvergents, and Rational Catalan Numbers

Let $q\geq3$ be odd and put $m_r=\lfloor r\log_2q\rfloor$. We count parity sequences with exactly $r$ odd entries for which the coefficient in the $qx+1$ iteration first drops below $1$ at step $m_r+1$. Their number $a_q(r)$ also counts the corresponding residue classes modulo $2^{m_r+1}$. We derive a first-violation recurrence which, for $q=3$, proves a recurrence conjectured in 2015. We establish the sharp inequalities \[ \frac1r\binom{m_r-1}{r-1}\leq a_q(r)\leq\frac1r\binom{m_r}{r-1}. \] Equality is characterized by the lower and upper record indices of $\{r\log_2q\}$, equivalently by denominators of convergents and semiconvergents from below and above. At these indices $r\geq2$, the values $a_q(r)$ are rational Catalan numbers. We also characterize the dependence on $q$ and prove, for each fixed odd $q\geq3$, that $a_q(r)=Θ_q(r^{-3/2}B_q^r)$, where $B_q=(\log_2q)^{\log_2q}/(\log_2q-1)^{\log_2q-1}$. For $q=3$, this settles Hikawa's conjecture concerning the polynomial factor in a related counting function.

math.GM↗