Search results for "Universal Algebra"
showing 10 items of 93 documents
An uncountable family of almost nilpotent varieties of polynomial growth
2017
A non-nilpotent variety of algebras is almost nilpotent if any proper subvariety is nilpotent. Let the base field be of characteristic zero. It has been shown that for associative or Lie algebras only one such variety exists. Here we present infinite families of such varieties. More precisely we shall prove the existence of 1) a countable family of almost nilpotent varieties of at most linear growth and 2) an uncountable family of almost nilpotent varieties of at most quadratic growth.
Traces of weighted function spaces: dyadic norms and Whitney extensions
2017
The trace spaces of Sobolev spaces and related fractional smoothness spaces have been an active area of research since the work of Nikolskii, Aronszajn, Slobodetskii, Babich and Gagliardo among others in the 1950's. In this paper we review the literature concerning such results for a variety of weighted smoothness spaces. For this purpose, we present a characterization of the trace spaces (of fractional order of smoothness), based on integral averages on dyadic cubes, which is well adapted to extending functions using the Whitney extension operator.
Tarski’s t-scheme as an alleged basis of Montague semantics
2007
My point in this paper is to focus on some details of Alfred Tarski’s writing that in my opinion have not been aptly represented — or aptly rejected — in Richard Montague’s grammar and to agree with those who share Tarski’s view that human language is something uncapturable. The paper consists of two parts, concerning 1) some attempts to formalize the non-declarative utterances, and 2) the limitations of T-scheme and of Montague grammar.
Die Schmieghyperebenen an die Veronese-Mannigfaltigkeit bei Beliebiger Charakteristik
1982
By means of linear algebra a base-free definition of a Veronese variety V(n,r) is given and also an illuminating description of its osculating primes from which can be deduced in a general form and without difficulty the phenomena of degeneracy in case of small characteristics. (Instance best known: For characteristic 2 all tangents of a conic are confluent.) The last section investigates special problems for the V(1,r) in characteristic p: So the osculating primes of a V(1,p) intersect its node in a V(1,p-2). Furthermore it becomes clearer why for 2<r<¦K¦−1 no elation can fix a V(1,r) (in case of a perfect field).
Varieties of Algebras with Superinvolution of Almost Polynomial Growth
2015
Let A be an associative algebra with superinvolution ∗ over a field of characteristic zero and let $c_{n}^{\ast }(A)$ be its sequence of corresponding ∗-codimensions. In case A is finite dimensional, we prove that such sequence is polynomially bounded if and only if the variety generated by A does not contain three explicitly described algebras with superinvolution. As a consequence we find out that no intermediate growth of the ∗-codimensions between polynomial and exponential is allowed.
ChemInform Abstract: Topologically Complex Molecules Obtained by Transition Metal Templation: It Is the Presentation that Determines the Synthesis St…
2013
Topological constructions made from closed curves range from simple links to intricate knots and started to capture the chemists' attention in the early sixties. These mathematical objects result from particular embeddings of a single or a set of closed curves in the three-dimensional space that show an infinite variety of presentations. Simple catenanes, higher order interlocked macrocycles, and molecular knots can be synthesized via the metal template approach, just as simple macrocycles. However, this requires that rigid presentations with appropriate geometrical characteristics be identified prior to molecular design, and those selected for the metal-templated synthesis of some of these…
Design Space Exploration of Parallel Embedded Architectures for Native Clifford Algebra Operations
2012
In the past few decades, Geometric or Clifford algebra (CA) has received a growing attention in many research fields, such as robotics, machine vision and computer graphics, as a natural and intuitive way to model geometric objects and their transformations. At the same time, the high dimensionality of Clifford algebra and its computational complexity demand specialized hardware architectures for the direct support of Clifford data types and operators. This paper presents the design space exploration of parallel embedded architectures for native execution of four-dimensional (4D) and five-dimensional (5D) Clifford algebra operations. The design space exploration has been described along wit…
Finitary formal topologies and Stone’s representation theorem
2008
AbstractWe study the concept of finitary formal topology, a point-free version of a topological space with a basis of compact open subsets. The notion of finitary formal topology is defined from the perspective of the Basic Picture (introduced by the second author) and thus it is endowed with a binary positivity relation. As an application, we prove a constructive version of Stone’s representation theorem for distributive lattices. We work within the framework of a minimalist foundation (as proposed by Maria Emilia Maietti and the second author). Both inductive and co-inductive methods are used in most proofs.
Annihilation Operators for Exponential Spaces in Subdivision
2022
We investigate properties of differential and difference operators annihilating certain finite-dimensional subspaces of exponential functions in two variables that are connected to the representation of real-valued trigonometric and hyperbolic functions. Although exponential functions appear in a variety of contexts, the motivation behind this work comes from considering subdivision schemes with the capability of preserving those exponential functions required for an exact description of surfaces parametrized in terms of trigonometric and hyperbolic functions.
Algebraic (2, 2)-transformation groups
2009
This paper contains the more significant part of the article with the same title that will appear in the Volume 12 of Journal of Group Theory (2009). In this paper we determine all algebraic transformation groups $G$, defined over an algebraically closed field $\sf k$, which operate transitively, but not primitively, on a variety $\Omega$, provided the following conditions are fulfilled. We ask that the (non-effective) action of $G$ on the variety of blocks is sharply 2-transitive, as well as the action on a block $\Delta$ of the normalizer $G_\Delta$. Also we require sharp transitivity on pairs $(X,Y)$ of independent points of $\Omega$, i.e. points contained in different blocks.