Correction d'une Demonstration dans un Travail Anterieur

Mathematica Moravica, Vol. **4** (2000), 1–4.

doi: http://dx.doi.org/10.5937/MatMor0004001A

Download PDF file: (143kB) |
Abstract and keywords

**Abstract.** Il s'agit dans cette Note de la correction d'une partie
de la démonstration du Lemme 1 dans le trafail [1], suivie de quelques considérations supplémentaires.

**Keywords.** Équation functionelle, espace linéaire, base d'Hamel.

On *p*-Semigroups

Mathematica Moravica, Vol. **4** (2000), 5–20.

doi: http://dx.doi.org/10.5937/MatMor0004005B

Download PDF file: (572kB) |
Abstract and keywords

**Abstract.** Generalizing the notion of anti-inverse semigroup,
we introduce the notion of $p$-semigroup, for arbitrary $p\in N$.
We prove that every $p$-semigroup is covered by groups, clases of which are completely described.

**Keywords.** Semigroup, union of groups, $p$-semigroups.

An Estimation of Approximation for the Solution of Ordinary Differential Equations

Mathematica Moravica, Vol. **4** (2000), 21–26.

doi: http://dx.doi.org/10.5937/MatMor0004021D

Download PDF file: (173kB) |
Abstract and keywords

**Abstract.** In this paper we give an estimation of the method for finding
approximative solution of ordinary differential equations of the first order and these equations systems by use
of operators which satisfy condition \[|(U(\psi_{1}))(x) − (U(\psi_{2}))(x)| \leq
A_{0}\|\psi_{1} - \psi_{2}\|_{C}.\]
**Keywords.** Ordinary differential equations, approximative solution, operationale equation,
system of ordinary differential equations.

Initial Segments in BCC-algebras

Mathematica Moravica, Vol. **4** (2000), 27–34.

doi: http://dx.doi.org/10.5937/MatMor0004027D

Download PDF file: (540kB) |
Abstract and keywords

**Abstract.** The role of initial segments in BCC-algebras is described.

**Keywords.** BCC-algebra, BCK-algebra, atom.

A Convergence Criterion of Series

Mathematica Moravica, Vol. **4** (2000), 35–37.

doi: http://dx.doi.org/10.5937/MatMor0004035E

Download PDF file: (77kB) |
Abstract and keywords

**Abstract.** In this article is given a convergence criterion of series,
which is similar to classical criterions of Abel and Dirichlet, and also some of its consequences and applications.

**Keywords.** Convergence criterion of series.

The Prelimit of a Real-Valued Function

Mathematica Moravica, Vol. **4** (2000), 39–44.

doi: http://dx.doi.org/10.5937/MatMor0004039H

Download PDF file: (222kB) |
Abstract and keywords

**Abstract.** 1. In [1] S. Banach shown the existence of very known
Banach linear shift-invariant functionals defined on the real vector space of all bounded real-valued functions
on the semi-axis *t*≥0 and especially on the space of all real bounded sequences. In [2] G.G. Lorentz
defined, by Banach shift-invariant functionals, the class of almost convergent sequences. In [3] almost convergence was
extended to real-valued functions on the semi-axis $t\geq 0$. In [4] almost convergance was extended to
bounded sequences in a real normed space.

2. This paper is devoted to a class of functions defined on the semi-axis $t\geq 0$, which are near to the functions
$f$ having $lim_{t\to \infty}f(t)$. The paper is organized as follows. First,
for a sufficiently large $a$ (written $a > a_0$ for some $a_0$) by
$\Omega$ we denote the real vector space of all functions defined on $[0,+\infty)$. Next, we will show the existence of a family
of functionals defined on the space $\Omega$. By these functionals we define the notion of a function $f\in\Omega$ and
investigate the family of all these functions. Further, we will show a theorem characterizing a function having a pre-limit.
Also, we show another theorem which is very applicable, though it contains a new restrictive condition. Finally,
to make the idea of pre-limit a little clearer, we give several examples functions having pre-limit.

**Keywords.** Functional, Pre-limit, Convergence, Pre-convergent.

Completeness Theorem for Boolean Models with Strictly Positive Measure

Mathematica Moravica, Vol. **4** (2000), 45–50.

doi: http://dx.doi.org/10.5937/MatMor0004045I

Download PDF file: (324kB) |
Abstract and keywords

**Abstract.** Rašković [3] introduce a conservative extension of classical
propositional logic with some probability operators and prove corresponding completeness and decidability theorem.
The aim of this paper is to prove Robinson consistency and Craig interpolation for this logic.

**Keywords.** Probability logic, Strictly positive measure, Booleand models.

On Eigenvalues and Main Eigenvalues of a Graph

Mathematica Moravica, Vol. **4** (2000), 51–58.

doi: http://dx.doi.org/10.5937/MatMor0004051L

Download PDF file: (267kB) |
Abstract and keywords

**Abstract.** Let $G$ be a simple graph of order $n$ and let
$\lambda_{1}\geq \lambda_{2}\geq \cdots \geq\lambda_{n}$ and $\lambda_{1}^{\ast}\geq\lambda_{2}^{\ast}\cdots\lambda_{n}^{\ast}.$
be its eignevalues with respect to the ordinary adjacency matrix $A=A(G)$ and the Seidel adjacency matrix
$A^{\ast}=A^{\ast}(G)$, respectively. Using the Courant-Weyl inequalities we prove that
$\bar{\lambda}_{n+1-i}\in [-\lambda_{i}-1,-\lambda_{i+1}-1]$ and
$\lambda_{n+1-i}^{\ast}\in [-2\lambda_{i}-1,-2\lambda_{i+1}-1]$ for $i=1,2,\dots,n-1$, where $\bar{\lambda}_{i}$
are the eigenvalues of its complement $\bar{G}$. Besides, if $G$ and $H$ are two switching equivalent graphs, the we find
$\lambda_{i}(G)\in[\lambda_{i+1}(H),\lambda_{i-1}(H)]$ for $i=2,3,\dots,n-1$. Next, let
$\mu_{1},\mu_{2},\dots,\mu_{k}$ and $\bar{\mu}_{1},\bar{\mu}_{2},\dots,\bar{\mu}_{k}$ denote the main eigenvalues of the
graph $G$ and the complementary graph $\bar{G}$, respectively. In this paper we also prove
$\sum_{i=1}^{k}(\mu_{i}+\bar{mu}_{i}) = n-k$.

**Keywords.** Graph, eigenvalue, main eigenvalue.

Submeasures with Probabilistic Structures

Mathematica Moravica, Vol. **4** (2000), 59–65.

doi: http://dx.doi.org/10.5937/MatMor0004059L

Download PDF file: (248kB) |
Abstract and keywords

**Abstract.** In [8] the author gives some probabilistic generalizations of the submeasure
concept. The purpose of this paper is to define a general form of submeasure with probabilistic structure in wuch a way
that the topological ring of sets is a uniform space. As particular cases the probabilistic generalizations from [8] are obtained.

**Keywords.** Probabilistic structure, uniform space.

Some Properties Similar to Countable Compactness and Lindelöf Property

Mathematica Moravica, Vol. **4** (2000), 67–73.

doi: http://dx.doi.org/10.5937/MatMor0004067M

Download PDF file: (296kB) |
Abstract and keywords

**Abstract.** In this paper we further investigate the results given in [7, 8, 9].
In Section 2 we consider space $X$ for which the closure of each countably compact (strongly countably compact, hypercountably
compact) subspace of $X$ has countably compact (strongly countably compact, hypercountablycompact) property.
In Section 3 we study some notions related to the classical concepts of being a Lindelöf, Menger or a Rothberger space.

**Keywords.** Compactness and Lindelöf property.

Some Properties of Spaces Similar to Čech-Complete Property

Mathematica Moravica, Vol. **4** (2000), 75–82.

doi: http://dx.doi.org/10.5937/MatMor0004075M

Download PDF file: (361kB) |
Abstract and keywords

**Abstract.** In this paper we study some notions related to the remainder
$X^{\ast}=\beta X\backslash\beta(X)$ which are similar to the Čech-complete property. A topological space
$X$ is $P(\omega P)$-complete if $X$ is a Tychonoff space and remainder $X^{\ast}=\beta X\backslash\beta(X)$ is
a $P(\omega P)$-set in $\beta X$. The set $A\subset X$ is an $L$-set if $A\cap cl_{X}(F)=\emptyset$ for each Lindelöf
subset $F$ contained in $X\backslash A$. Recall that a space $X$ is said to be $L$-complete if $X$ is a Tychonoff space
and the remainder $X^{\ast}=\beta X\backslash\beta(X)$ is and $L$-set in $\beta X$.

**Keywords.** Extension spaces, remainders, completions.

Some Characterization of Lorentzian Spherical Spacelike Curves with the Timelike and the Null Principal Normal

Mathematica Moravica, Vol. **4** (2000), 83–92.

doi: http://dx.doi.org/10.5937/MatMor0004083P

Download PDF file: (294kB) |
Abstract and keywords

**Abstract.** In [4] the authors have characterized Lorentzian spherical
sapcelike curves in the 3-dimensional Minkowski space with the spacelike normal. In this paper, we shall
characterize the Lorentzian spherical spacelike curves in the same space with the timelike and the null principal normal.

**Keywords.** Lorentzian sphere, spacelike curve, frenet formula, Minkowski space, Lorentzian inner product.

Some Fixed Point Theorems for Multi-Valued Mappings on Reflexive Banach Spaces

Mathematica Moravica, Vol. **4** (2000), 93–98.

doi: http://dx.doi.org/10.5937/MatMor0004093P

Download PDF file: (720kB) |
Abstract and keywords

**Abstract.** Some fixed point theorems for multi-valued mappings satisfying
an implicit relation which generalize the main results from [1] are proved.

**Keywords.** Multi-valued mapping, common fixed point, implicit relation, reflexive Banach space.

A Group Blind Signature Scheme Based on the Strong RSA Assumption

Mathematica Moravica, Vol. **4** (2000), 99–108.

doi: http://dx.doi.org/10.5937/MatMor0004099P

Download PDF file: (2249kB) |
Abstract and keywords

**Abstract.** A group blind signature require that a group member signs on group's behalf
a document wthout knowing its content. In this paper we propose an efficient and provably secure group blind signature scheme. Our scheme
is an extension of Camernisch and Michels' group signature scheme [2] that adds the blindness property. The proposed group
blind signature scheme is more efficient and secure than Lysyanskaya-Ramzan scheme [12].

**Keywords.** Group blind signature scheme, group signatures, blind signatures.

A Note on the Post's Coset Theorem

Mathematica Moravica, Vol. **4** (2000), 109–114.

doi: http://dx.doi.org/10.5937/MatMor0004109U

Download PDF file: (453kB) |
Abstract and keywords

**Abstract.** In this paper a proff o Post's Coset Theorem is presented. The proof uses from Theory of $n$-groups,
besides the definition of $n$-groups ([1], 1.1), the description of $n$-group as an algebra with the laws of the type $\langle n,n-1,n-1\rangle$ ([8], 1.2, 1.3).

**Keywords.** $n$-groupoids, $n$-semigroups, $n$-quasigroups, $n$-groups, $\{1,n\}$-neutral operations on $n$-groupoids,
inversing operation on $n$-group.

On $(n,m)$-Groups

Mathematica Moravica, Vol. **4** (2000), 115–118.

doi: http://dx.doi.org/10.5937/MatMor0004115U

Download PDF file: (149kB) |
Abstract and keywords

**Abstract.** The main result of the article is the following proposition.
Let $n\geq 2m$ and let $(Q,A)$ be an $(n,m)$-groupoid. Then, $(Q,A)$ is an $(n,m)$-group iff the following statements hold: $(i)$ $(Q,A)$ is
an $\langle 1,n-m+1\rangle$- and $\langle 1,2\rangle$-associative $(n,m)$-groupoid [or $\langle 1,n-m+1\rangle$- and
$\langle n-m,n-m+1\rangle$-associative $(n,m)$-groupoid]; and $(ii)$ for every $a_{1}^{n}\in Q$ there is **at least one** $x_{1}^{m}\in Q^{m}$ and
**at least one** $y_{1}^{m}\in Q^{m}$ such that the following equalities hold $A(a_{1}^{n-m},x_{1}^{m}) = a_{n-m+1}^{n}$ and
$A(y_{1}^{m},a_{1}^{n-m})=a_{n-m+1}^{n}$. [For $n=2$ and $m=1$ it is a well known characterization of a group. See, also 3.2]

**Keywords.** $(n,m)$-groupoids, $(n,m)$-groups.