Showing 1–13 of 13 results for author: Kepka, T

Size-minimal combinatorial designs of staircase type

Authors: Barbora Batí ková, Tomáš J. Kepka, Petr C. Němec

Abstract: Given a positive integer $n$ and a partitioning $n=r_1s_1+\dots+ r_ts_t$, $t,r_i,s_i$ positive integers, such that $r_1>\dots>r_t$ (for $t\ge 2$), we can write $n$ symbols $1,\dots,n$ in the form of a staircase matrix having $r_1$ rows where first $r_1-r_2$ rows have $x_1$ columns, next $r_2-r_3$ rows have $t_1+t_2$ columns, etc., and finally last $r_t$ rows have $t_1+\dots+t_k$ columns. Then we c… ▽ More Given a positive integer $n$ and a partitioning $n=r_1s_1+\dots+ r_ts_t$, $t,r_i,s_i$ positive integers, such that $r_1>\dots>r_t$ (for $t\ge 2$), we can write $n$ symbols $1,\dots,n$ in the form of a staircase matrix having $r_1$ rows where first $r_1-r_2$ rows have $x_1$ columns, next $r_2-r_3$ rows have $t_1+t_2$ columns, etc., and finally last $r_t$ rows have $t_1+\dots+t_k$ columns. Then we can construct a~design having $r_1+s_1+\dots+s_t$ sets by taking all $r_1$ rows and $s_1+\dots+s_t$ columns of this staircase matrix. Such designs have exactly two replications of each symbol and various cardinalities for the sets constituting the design. The minimum size of combinatorial designs of staircase type is found. △ Less

Submitted 18 March, 2025; originally announced March 2025.

MSC Class: 05B05

Another inequality inspired by Erdős

Authors: Barbora Batíková, Tomáš J. Kepka, Petr C. Němec

Abstract: In our effort to find an arithmetically pure proof of the Bertrand postulate, we investigate and solve (using only elementary arithmetical methods) another less usual inequality in positive integers inspired by the classical proof of the postulate given by P. Erdős. In our effort to find an arithmetically pure proof of the Bertrand postulate, we investigate and solve (using only elementary arithmetical methods) another less usual inequality in positive integers inspired by the classical proof of the postulate given by P. Erdős. △ Less

Submitted 5 March, 2025; originally announced March 2025.

Comments: arXiv admin note: substantial text overlap with arXiv:2503.03469

One inequality inspired by Erdős

Authors: Barbora Batíková, Tomáš J. Kepka, Petr C. Němec

Abstract: Inspired by the proof of the Bertrand postulate given by P. ErdőS, we carefully examine and solve one less usual inequality in positive integers which could help to find an arithmetically pure proof that for every positive integer $n\ge2$ there is a prime $p$ such that $n<p<2n$. Inspired by the proof of the Bertrand postulate given by P. ErdőS, we carefully examine and solve one less usual inequality in positive integers which could help to find an arithmetically pure proof that for every positive integer $n\ge2$ there is a prime $p$ such that $n<p<2n$. △ Less

Submitted 5 March, 2025; originally announced March 2025.

Additively idempotent matrix semirings

Authors: Tomáš Kepka, Miroslav Korbelář

Abstract: Let $S$ be an additively idempotent semiring and $\mathbf{M}_n(S)$ be the semiring of all $n\times n$ matrices over $S$. We characterize the conditions of when the semiring $\mathbf{M}_n(S)$ is congruence-simple provided that the semiring $S$ is either commutative or finite. We also give a characterization of when the semiring $\mathbf{M}_n(S)$ is subdirectly irreducible for $S$ beeing almost… ▽ More Let $S$ be an additively idempotent semiring and $\mathbf{M}_n(S)$ be the semiring of all $n\times n$ matrices over $S$. We characterize the conditions of when the semiring $\mathbf{M}_n(S)$ is congruence-simple provided that the semiring $S$ is either commutative or finite. We also give a characterization of when the semiring $\mathbf{M}_n(S)$ is subdirectly irreducible for $S$ beeing almost integral (i.e., $xy+yx+x=x$ for all $x,y\in S$). In particular, we provide this characterization for the semirings $S$ derived from the pseudo MV-algebras. △ Less

Submitted 30 April, 2023; originally announced May 2023.

Congruence-simple matrix semirings

Authors: Vítězslav Kala, Tomáš Kepka, Miroslav Korbelář

Abstract: It is well known that the full matrix ring over a skew-field is a simple ring. We generalize this theorem to the case of semirings. We characterize the case when the matrix semiring $\mathbf{M}_n(S)$, of all $n\times n$ matrices over a semiring $S$, is congruence-simple, provided that either $S$ has a multiplicatively absorbing element or $S$ is commutative and additively cancellative. It is well known that the full matrix ring over a skew-field is a simple ring. We generalize this theorem to the case of semirings. We characterize the case when the matrix semiring $\mathbf{M}_n(S)$, of all $n\times n$ matrices over a semiring $S$, is congruence-simple, provided that either $S$ has a multiplicatively absorbing element or $S$ is commutative and additively cancellative. △ Less

Submitted 13 March, 2023; originally announced March 2023.

Comments: 11 pages

MSC Class: 06A12; 16Y60; 20M14

Journal ref: Internat. J. Algebra Comput. 34 (2024), 407-424

Congruence-simple multiplicatively idempotent semirings

Authors: Tomáš Kepka, Miroslav Korbelář, Günter Landsmann

Abstract: Let $S$ be a multiplicatively idempotent congruence-simple semiring. We show that $|S|=2$ if $S$ has a multiplicatively absorbing element. We also prove that if $S$ is finite then either $|S|=2$ or $S\cong End(L)$ or $S^{op}\cong End(L)$ where $L$ is a 2-element semilattice. It seems to be an open question, whether $S$ can be infinite at all. Let $S$ be a multiplicatively idempotent congruence-simple semiring. We show that $|S|=2$ if $S$ has a multiplicatively absorbing element. We also prove that if $S$ is finite then either $|S|=2$ or $S\cong End(L)$ or $S^{op}\cong End(L)$ where $L$ is a 2-element semilattice. It seems to be an open question, whether $S$ can be infinite at all. △ Less

Submitted 17 July, 2022; originally announced July 2022.

MSC Class: 06D99; 16Y60

Congruence-simple semirings without nilpotent elements

Authors: Tomáš Kepka, Miroslav Korbelář, Günter Landsmann

Abstract: We provide a classification of congruence-simple semirings with a multiplicatively absorbing element and without non-trivial nilpotent elements. We provide a classification of congruence-simple semirings with a multiplicatively absorbing element and without non-trivial nilpotent elements. △ Less

Submitted 12 July, 2022; originally announced July 2022.

MSC Class: 16Y60; 16K99

Notes on additively divisible commutative semirings

Authors: Tomáš Kepka, Miroslav Korbelář

Abstract: Commutative semirings with divisible additive semigroup are studied. We show that an additively divisible commutative semiring is idempotent, provided that it is finitely generated and torsion. In case that a one-generated additively divisible semiring posseses no unit, it must contain an ideal of idempotent elements. We also present a series of open questions about finitely generated commutative… ▽ More Commutative semirings with divisible additive semigroup are studied. We show that an additively divisible commutative semiring is idempotent, provided that it is finitely generated and torsion. In case that a one-generated additively divisible semiring posseses no unit, it must contain an ideal of idempotent elements. We also present a series of open questions about finitely generated commutative semirings and their equivalent versions. △ Less

Submitted 13 January, 2014; originally announced January 2014.

Comments: 8 pages

MSC Class: 16Y60; 20M14

The lowest-degree polynomials with non-negative coefficients

Authors: Tomáš Kepka, Miroslav Korbelář

Abstract: A polynomial $p\in\mathbb{R}[x]$ is a divisor of some polynomial $0\neq f\in\mathbb{R}[x]$ with non-negative coefficients if and only if $p$ does not have a positive real root. The lowest possible degree of such $f$ for a given $p$ is known for quadratic polynomials. We provide it for cubic polynomials and improve known bounds of this value for a general polynomial. A polynomial $p\in\mathbb{R}[x]$ is a divisor of some polynomial $0\neq f\in\mathbb{R}[x]$ with non-negative coefficients if and only if $p$ does not have a positive real root. The lowest possible degree of such $f$ for a given $p$ is known for quadratic polynomials. We provide it for cubic polynomials and improve known bounds of this value for a general polynomial. △ Less

Submitted 25 October, 2012; originally announced October 2012.

Comments: 10 pages

MSC Class: 13P25; 65K05

F-quasigroups isotopic to groups

Authors: Tomaš Kepka, Michael K. Kinyon, J. D. Phillips

Abstract: In math.GR/0510298, we showed that every loop isotopic to an F-quasigroup is a Moufang loop. Here we characterize, via two simple identities, the class of F-quasigroups which are isotopic to groups. We call these quasigroups FG-quasigroups. We show that FG-quasigroups are linear over groups. We then use this fact to describe their structure. This gives us, for instance, a complete description of… ▽ More In math.GR/0510298, we showed that every loop isotopic to an F-quasigroup is a Moufang loop. Here we characterize, via two simple identities, the class of F-quasigroups which are isotopic to groups. We call these quasigroups FG-quasigroups. We show that FG-quasigroups are linear over groups. We then use this fact to describe their structure. This gives us, for instance, a complete description of the simple FG-quasigroups. Finally, we show an equivalence of equational classes between pointed FG-quasigroups and central generalized modules over a particular ring. △ Less

Submitted 4 January, 2006; originally announced January 2006.

Comments: 11 pages; refers to math.GR/0510298 and math.GR/0512244

MSC Class: 20N05

Journal ref: Comment. Math. Univ. Carolin. 51 (2010), no. 2, 267-277

F-quasigroups and generalized modules

Authors: Tomáš Kepka, Michael Kinyon, J. D. Phillips

Abstract: In math.GR/0510298, we showed that every F-quasigroup is linear over a special kind of Moufang loop called an NK-loop. Here we extend this relationship by showing an equivalence between the equational class of (pointed) F-quasigroups and the equational class corresponding to a certain notion of generalized module (with noncommutative, nonassociative addition) for an associative ring. In math.GR/0510298, we showed that every F-quasigroup is linear over a special kind of Moufang loop called an NK-loop. Here we extend this relationship by showing an equivalence between the equational class of (pointed) F-quasigroups and the equational class corresponding to a certain notion of generalized module (with noncommutative, nonassociative addition) for an associative ring. △ Less

Submitted 12 December, 2005; originally announced December 2005.

Comments: 9 pages, refers to math.GR/0510298

MSC Class: 20N05

Journal ref: Comment. Math. Univ. Carolin. 49 (2008), no. 2, 249-257

The Structure of F-Quasigroups

Authors: Tomáš Kepka, Michael K. Kinyon, J. D. Phillips

Abstract: We solve a problem of Belousov which has been open since 1967: to characterize the loop isotopes of F-quasigroups. We show that every F-quasigroup has a Moufang loop isotope which is a central product of its nucleus and Moufang center. We then use the loop to reveal the structure of the associated F-quasigroup. We solve a problem of Belousov which has been open since 1967: to characterize the loop isotopes of F-quasigroups. We show that every F-quasigroup has a Moufang loop isotope which is a central product of its nucleus and Moufang center. We then use the loop to reveal the structure of the associated F-quasigroup. △ Less

Submitted 16 March, 2007; v1 submitted 14 October, 2005; originally announced October 2005.

Comments: 24 pages. v.2 incorporates minor changes suggested by the referee. To appear in the Journal of Algebra

MSC Class: 20N05

Journal ref: J. Algebra 317 (2007), 435-461

Hamiltonian selfdistributive quasigroups

Authors: Dolors Herbera, Tomás Kepka, Petr Nemec

Abstract: The problem of the existence of non-medial distributive hamiltonian quasigroups is solved. Translating this problem first to commutative Moufang loops with operators, then to ternary algebras and, finally, to cocyclic modules over\linebreak $\Bbb Z[x,x^{-1},(1-x)^{-1}]$, it is shown that every non-medial distributive hamiltonian quasigroup has at least 729 elements and that there are just two is… ▽ More The problem of the existence of non-medial distributive hamiltonian quasigroups is solved. Translating this problem first to commutative Moufang loops with operators, then to ternary algebras and, finally, to cocyclic modules over\linebreak $\Bbb Z[x,x^{-1},(1-x)^{-1}]$, it is shown that every non-medial distributive hamiltonian quasigroup has at least 729 elements and that there are just two isomorphism classes of such quasigroups of the least cardinality. The quasigroups representing these two classes are anti-isomorphic. △ Less

Submitted 10 March, 2004; originally announced March 2004.

Comments: 30 pages

MSC Class: 20N05