27,453 research outputs found
Maximal Abelian Subgroups of the Isometry and Conformal Groups of Euclidean and Minkowski Spaces
The maximal Abelian subalgebras of the Euclidean e(p,0) and pseudoeuclidean
e(p,1)Lie algebras are classified into conjugacy classes under the action of
the corresponding Lie groups E(p,0) and E(p,1), and also under the conformal
groups O(p+1,1) and O(p+1,2), respectively. The results are presented in terms
of decomposition theorems. For e(p,0) orthogonally indecomposable MASAs exist
only for p=1 and p=2. For e(p,1), on the other hand, orthogonally
indecomposable MASAs exist for all values of p. The results are used to
construct new coordinate systems in which wave equations and Hamilton-Jacobi
equations allow the separation of variables.Comment: 31 pages, Latex (+ latexsym
Tangled Circuits
The theme of the paper is the use of commutative Frobenius algebras in
braided strict monoidal categories in the study of varieties of circuits and
communicating systems which occur in Computer Science, including circuits in
which the wires are tangled. We indicate also some possible novel geometric
interest in such algebras
Strongly Complete Logics for Coalgebras
Coalgebras for a functor model different types of transition systems in a
uniform way. This paper focuses on a uniform account of finitary logics for
set-based coalgebras. In particular, a general construction of a logic from an
arbitrary set-functor is given and proven to be strongly complete under
additional assumptions. We proceed in three parts. Part I argues that sifted
colimit preserving functors are those functors that preserve universal
algebraic structure. Our main theorem here states that a functor preserves
sifted colimits if and only if it has a finitary presentation by operations and
equations. Moreover, the presentation of the category of algebras for the
functor is obtained compositionally from the presentations of the underlying
category and of the functor. Part II investigates algebras for a functor over
ind-completions and extends the theorem of J{\'o}nsson and Tarski on canonical
extensions of Boolean algebras with operators to this setting. Part III shows,
based on Part I, how to associate a finitary logic to any finite-sets
preserving functor T. Based on Part II we prove the logic to be strongly
complete under a reasonable condition on T
On the mathematical synthesis of equational logics
We provide a mathematical theory and methodology for synthesising equational
logics from algebraic metatheories. We illustrate our methodology by means of
two applications: a rational reconstruction of Birkhoff's Equational Logic and
a new equational logic for reasoning about algebraic structure with
name-binding operators.Comment: Final version for publication in Logical Methods in Computer Scienc
An Approach to Hopf Algebras via Frobenius Coordinates I
In Section 1 we introduce Frobenius coordinates in the general setting that
includes Hopf subalgebras. In Sections 2 and 3 we review briefly the theories
of Frobenius algebras and augmented Frobenius algebras with some new material
in Section 3. In Section 4 we study the Frobenius structure of an FH-algebra H
\cite{Par72} and extend two recent theorems in \cite{EG}. We obtain two Radford
formulas for the antipode in H and generalize in Section 7 the results on its
order in \cite{FMS}. We study the Frobenius structure on an FH-subalgebra pair
in Sections 5 and 6. In Section 8 we show that the quantum double of H is
symmetric and unimodular.Comment: 24 pages. To appear: Beitrage Alg. Geo
- …