#### Filter Results:

#### Publication Year

2000

2013

#### Publication Type

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

In this paper we derive and analyze a discontinuous stabilizing feedback for a Lie algebraic generalization of a class of kinematic nonholonomic systems introduced by Brockett. The algorithm involves discrete switching between isospectral and norm-decreasing ows. We include a rigorous analysis of the convergence. 1. Introduction. In this paper we present a… (More)

We describe a large-scale project in applied automated deduction concerned with the following problem of considerable interest in loop theory: If Q is a loop with commuting inner mappings, does it follow that Q modulo its center is a group and Q modulo its nucleus is an abelian group? This problem has been answered affirmatively in several varieties of… (More)

The panstochastic analogue of Birkhoff's Theorem on doubly-stochastic matrices is proved in the case n = 5. It is shown that this analogue fails when n > 1, n = 5.

Categorical skew lattices are a variety of skew lattices on which the natural partial order is especially well behaved. While most skew lattices of interest are categorical, not all are. They are characterized by a countable family of forbidden subalgebras. We also consider the subclass of strictly categorical skew lattices.

Let S be a finite non-commutative semigroup. The commuting graph of S, denoted G(S), is the graph whose vertices are the non-central elements of S and whose edges are the sets {a, b} of vertices such that a = b and ab = ba. Denote by T (X) the semigroup of full transformations on a finite set X. Let J be any ideal of T (X) such that J is different from the… (More)

Buchsteiner loops are those which satisfy the identity x\(xy · z) = (y · zx)/x. We show that a Buchsteiner loop modulo its nucleus is an abelian group of exponent four, and construct an example where the factor achieves this exponent. A loop (Q, ·) is a set Q together with a binary operation · such that for each a, b ∈ Q, the equations a · x = b and y · a =… (More)

- ‹
- 1
- ›