Search results for "Universal Algebra"
showing 10 items of 93 documents
Partial Finitely Generated Bi-Ideals
2016
Partial words have been studied by Blanchet-Sadri et al., but bi-ideals or reccurrent words have been studied for centuries by many researchers. This paper gives a solution for some problems for partial reccurrent words. This paper gives an algorithm for a given finitely generated bi-ideal, how to construct a new basis of ultimately finitely generated bi-ideal, which generates the same given bi-ideal. The paper states that it is always possible to find a basis for a given finitely generated bi-ideal. The main results of this paper are presented in third section. At first, we show that if two irreduciable bi-ideals are different, they will differ in infinitely many places. This led to the st…
Primitive sets of words
2020
Given a (finite or infinite) subset $X$ of the free monoid $A^*$ over a finite alphabet $A$, the rank of $X$ is the minimal cardinality of a set $F$ such that $X \subseteq F^*$. We say that a submonoid $M$ generated by $k$ elements of $A^*$ is {\em $k$-maximal} if there does not exist another submonoid generated by at most $k$ words containing $M$. We call a set $X \subseteq A^*$ {\em primitive} if it is the basis of a $|X|$-maximal submonoid. This definition encompasses the notion of primitive word -- in fact, $\{w\}$ is a primitive set if and only if $w$ is a primitive word. By definition, for any set $X$, there exists a primitive set $Y$ such that $X \subseteq Y^*$. We therefore call $Y$…
A short proof of the self-improving regularity of quasiregular mappings
2005
. The theoryof quasiregular mappings is a central topic in modern analysis withimportant connections to a variety of topics as elliptic partial differen-tial equations, complex dynamics, differential geometry and calculus ofvariations [13] [10].A remarkable feature of quasiregular mappings is the self-improvingregularity. In 1957 [2], Bojarski proved that for planar quasiregularmappings, there exists an exponent
Quotients of Hypersurfaces in Weighted Projective Space
2009
Abstract In [Bini, van Geemen, Kelly, Mirror quintics, discrete symmetries and Shioda maps, 2009] some quotients of one-parameter families of Calabi–Yau varieties are related to the family of Mirror Quintics by using a construction due to Shioda. In this paper, we generalize this construction to a wider class of varieties. More specifically, let A be an invertible matrix with non-negative integer entries. We introduce varieties XA and in weighted projective space and in , respectively. The variety turns out to be a quotient of a Fermat variety by a finite group. As a by-product, XA is a quotient of a Fermat variety and is a quotient of XA by a finite group. We apply this construction to som…
Almost polynomial growth: Classifying varieties of graded algebras
2015
Let G be a finite group, V a variety of associative G-graded algebras and c (V), n = 1, 2, …, its sequence of graded codimensions. It was recently shown by Valenti that such a sequence is polynomially bounded if and only if V does not contain a finite list of G-graded algebras. The list consists of group algebras of groups of order a prime number, the infinite-dimensional Grassmann algebra and the algebra of 2 × 2 upper triangular matrices with suitable gradings. Such algebras generate the only varieties of G-graded algebras of almost polynomial growth, i.e., varieties of exponential growth such that any proper subvariety is polynomially bounded. In this paper we completely classify all sub…
Albanese Maps and Fundamental Groups of Varieties With Many Rational Points Over Function Fields
2020
We investigate properties of the Albanese map and the fundamental group of a complex projective variety with many rational points over some function field, and prove that every linear quotient of the fundamental group of such a variety is virtually abelian, as well as that its Albanese map is surjective, has connected fibres, and has no multiple fibres in codimension one.
Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
2013
AbstractWe prove that the unification type of Łukasiewicz (infinite-valued propositional) logic and of its equivalent algebraic semantics, the variety of MV-algebras, is nullary. The proof rests upon Ghilardiʼs algebraic characterisation of unification types in terms of projective objects, recent progress by Cabrer and Mundici in the investigation of projective MV-algebras, the categorical duality between finitely presented MV-algebras and rational polyhedra, and, finally, a homotopy-theoretic argument that exploits lifts of continuous maps to the universal covering space of the circle. We discuss the background to such diverse tools. In particular, we offer a detailed proof of the duality …
Classifying G-graded algebras of exponent two
2019
Let F be a field of characteristic zero and let $$\mathcal{V}$$ be a variety of associative F-algebras graded by a finite abelian group G. If $$\mathcal{V}$$ satisfies an ordinary non-trivial identity, then the sequence $$c_n^G(\mathcal{V})$$ of G-codimensions is exponentially bounded. In [2, 3, 8], the authors captured such exponential growth by proving that the limit $$^G(\mathcal{V}) = {\rm{lim}}_{n \to \infty} \sqrt[n]{{c_n^G(\mathcal{V})}}$$ exists and it is an integer, called the G-exponent of $$\mathcal{V}$$ . The purpose of this paper is to characterize the varieties of G-graded algebras of exponent greater than 2. As a consequence, we find a characterization for the varieties with …
Generalized Riesz systems and quasi bases in Hilbert space
2019
The purpose of this article is twofold. First of all, the notion of $(D, E)$-quasi basis is introduced for a pair $(D, E)$ of dense subspaces of Hilbert spaces. This consists of two biorthogonal sequences $\{ \varphi_n \}$ and $\{ \psi_n \}$ such that $\sum_{n=0}^\infty \ip{x}{\varphi_n}\ip{\psi_n}{y}=\ip{x}{y}$ for all $x \in D$ and $y \in E$. Secondly, it is shown that if biorthogonal sequences $\{ \varphi_n \}$ and $\{ \psi_n \}$ form a $(D ,E)$-quasi basis, then they are generalized Riesz systems. The latter play an interesting role for the construction of non-self-adjoint Hamiltonians and other physically relevant operators.
Hepatitis B core particles as a universal display model: a structure-function basis for development
1999
AbstractBecause it exhibits a remarkable capability to accept mutational intervention and undergo correct folding and self-assembly in all viable prokaryotic and eukaryotic expression systems, hepatitis B core (HBc) protein has been favored over other proposed particulate carriers. Structurally, the unusual α-helical organization of HBc dimeric units allows introduction of foreign peptide sequences into several areas of HBc shells, including their most protruding spikes. Progress toward full resolution of the spatial structure as well as accumulation of chimeric HBc-based structures has brought closer the knowledge-based design of future vaccines, gene therapy tools and other artificial par…