The finite representation property fails for composition and intersection

Roger D. Maddux

DOI: https://doi.org/10.48550/arXiv.1604.01386

2016-04-06

Abstract:The title theorem is proved by example: an algebra of binary relations, closed under intersection and composition, that is not isomorphic to any such algebra on a finite set.

Logic

What problem does this paper attempt to address?

Finite Representation Property for Relation Algebra Reducts

Jaš Šemrl

DOI: https://doi.org/10.48550/arXiv.2111.01213

2021-11-01

Logic

Abstract:The decision problem of membership in the Representation Class of Relation Algebras (RRA) for finite structures is undecidable. However, this does not hold for many Relation Algebra reduct languages. Two well known properties that are sufficient for decidability are the Finite Axiomatisability (FA) of the representation class and the Finite Representation Property (FRP). Furthermore, neither of the properties is stronger that the other, and thus, neither is also a necessary condition. Although many results are known in the area of FA, the FRP remains unknown for the majority of the reduct languages. Here we conjecture that the FRP fails for a Relation Algebra reduct if and only if it contains both composition and negation, or both composition and meet. We then show the right-to-left implication of the conjecture holds and present preliminary results that suggest the left-to-right implication.
On Algebras of Finite General Representation Type

Kinser, Ryan,Lara, Danny

DOI: https://doi.org/10.1007/s00031-024-09856-1

2024-03-29

Transformation Groups

Abstract:We introduce the notion of "finite general representation type" for a finite-dimensional algebra, a property related to the "dense orbit property" introduced by Chindris-Kinser-Weyman. We use an interplay of geometric, combinatorial, and algebraic methods to produce a family of algebras of wild representation type but finite general representation type. For completeness, we also give a short proof that the only local algebras of discrete general representation type are already of finite representation type. We end with a Brauer-Thrall style conjecture for general representations of algebras.

mathematics
Subcompletions of representable relation algebras

Roger D. Maddux

DOI: https://doi.org/10.1007/s00012-018-0493-0

2014-11-05

Abstract:Many finite symmetric integral non-representable relation algebras, including almost all Monk algebras, can be embedded in the completion of an atomic symmetric integral representable relation algebra whose finitely-generated subalgebras are finite.

Logic
Complete representation by partial functions for signatures containing antidomain restriction

Brett McLean

DOI: https://doi.org/10.1142/s0218196724500450

2024-10-07

International Journal of Algebra and Computation

Abstract:International Journal of Algebra and Computation, Ahead of Print. We investigate notions of complete representation by partial functions, where the operations in the signature include antidomain restriction and may include composition, intersection, update, preferential union, domain, antidomain, and set difference. When the signature includes both antidomain restriction and intersection, the join-complete and the meet-complete representations coincide. Otherwise, for the signatures we consider, meet-complete is strictly stronger than join-complete. A necessary condition to be meet-completely representable is that the atoms are separating. For the signatures we consider, this condition is sufficient if and only if composition is not in the signature. For each of the signatures we consider, the class of (meet-)completely representable algebras is not axiomatizable by any existential-universal-existential first-order theory. For 14 expressively distinct signatures, we show, by giving an explicit representation, that the (meet-)completely representable algebras form a basic elementary class, axiomatizable by a universal-existential-universal first-order sentence. The signatures we axiomatize are those containing antidomain restriction and any of intersection, update, and preferential union and also those containing antidomain restriction, composition, and intersection and any of update, preferential union, domain, and antidomain.

mathematics
Representation-finite tensor product of simply connected algebras

Kengo Miyamoto,Qi Wang

2024-04-28

Abstract:We determine the representation-finiteness of $A\otimes B$, where both $A$ and $B$ are simply connected algebras with at least three simple modules.

Representation Theory
On finite relation equations with sup-conjunctor composition over a complete lattice

Kun-Lun Zhang,Dong-Hai Li,Li-Xia Song

DOI: https://doi.org/10.1016/j.fss.2008.04.010

IF: 4.462

2009-01-01

Fuzzy Sets and Systems

Abstract:This work studies the problem of solving a sup-T composite finite relation equation over a complete lattice L, where T is a conjunctor. A criterion for the equation to have a solution is given. An algorithm for finding the solution set of the equation is presented.
Intrasubband plasmons in a finite array of quantum wires placed into an external magnetic field

Y.V. Bludov

DOI: https://doi.org/10.48550/arXiv.cond-mat/0310334

2003-10-15

Abstract:The paper deals with the theoretical investigation of intrasubband plasmons in an array of quantum wires, consisting of a finite number of quantum wires, arranged at an equal distance from each other and placed into an external magnetic field. Two types of quantum wire array are under consideration: an ordered array of quantum wires with equal electron densities in all quantum wires and weakly disordered array of quantum wires, which is characterized by the fact that the density of electrons of one defect quantum wire was different from that of other quantum wires. For the ordered array of quantum wires, placed into the external magnetic field, the nonmonotonical dependence of plasmon frequency upon the 1D density of electrons in quantum wires is predicted. For high magnetic field the existence of 1D electron density ranges, in which plasmon modes do not exist, is shown. For the weakly disordered array of quantum wires the existence of the local plasmon modes, which properties differ from those of usual modes, is found. At high magnetic field the disappearance of the local plasmon modes at certain ranges of 1D electron density in defect quantum wire is shown.

Mesoscale and Nanoscale Physics
Intersection of a correspondence with a graph of Frobenius

Yakov Varshavsky

DOI: https://doi.org/10.48550/arXiv.1405.6381

2015-05-21

Abstract:The goal of this note is to give a short geometric proof of a theorem of Hrushovski asserting that an intersection of a correspondence with a graph of a sufficiently large power of Frobenius is non-empty.

Algebraic Geometry
Finite models for positive combinatorial and exponential algebra

Tumadhir Alsulami,Marcel Jackson

2024-11-08

Abstract:We use high girth, high chromatic number hypergraphs to show that there are finite models of the equational theory of the semiring of nonnegative integers whose equational theory has no finite axiomatisation, and show this also holds if factorial, fixed base exponentiation and operations for binomial coefficients are adjoined. We also derive the decidability of the equational logical entailment operator $\vdash$ for antecedents true on $\mathbb{N}$ by way of a form of the finite model property. Two appendices contain additional basic development of combinatorial operations. Amongst the observations are an eventual dominance well-ordering of combinatorial functions and consequent representation of the ordinal $\epsilon_0$ in terms of factorial functions; the equivalence of the equational logic of combinatorial algebra over the natural numbers and over the positive reals; and a candidate list of elementary axioms.

Logic
Finite $F$-representation type for homogeneous coordinate rings of non-Fano varieties

Devlin Mallory

DOI: https://doi.org/10.46298/epiga.2023.10868

2023-12-05

Abstract:Finite $F$-representation type is an important notion in characteristic-$p$ commutative algebra, but explicit examples of varieties with or without this property are few. We prove that a large class of homogeneous coordinate rings in positive characteristic will fail to have finite $F$-representation type. To do so, we prove a connection between differential operators on the homogeneous coordinate ring of $X$ and the existence of global sections of a twist of $(\mathrm{Sym}^m \Omega_X)^\vee$. By results of Takagi and Takahashi, this allows us to rule out FFRT for coordinate rings of varieties with $(\mathrm{Sym}^m \Omega_X)^\vee$ not ``positive''. By using results positivity and semistability conditions for the (co)tangent sheaves, we show that several classes of varieties fail to have finite $F$-representation type, including abelian varieties, most Calabi--Yau varieties, and complete intersections of general type. Our work also provides examples of the structure of the ring of differential operators for non-$F$-pure varieties, which to this point have largely been unexplored.

Commutative Algebra,Algebraic Geometry
Representation-finite tensor product algebras

Qi Wang

2024-07-16

Abstract:In this paper, we complete the classification of representation-finite tensor product algebras in terms of quiver with relations.

Representation Theory
On the strength of the finite intersection principle

Damir D. Dzhafarov,Carl Mummert

DOI: https://doi.org/10.1007/s11856-012-0150-9

2011-09-15

Abstract:We study the logical content of several maximality principles related to the finite intersection principle ($F\IP$) in set theory. Classically, these are all equivalent to the axiom of choice, but in the context of reverse mathematics their strengths vary: some are equivalent to $\ACA$ over $\RCA$, while others are strictly weaker, and incomparable with $\WKL$. We show that there is a computable instance of $F\IP$ all of whose solutions have hyperimmune degree, and that every computable instance has a solution in every nonzero c.e.\ degree. In terms of other weak principles previously studied in the literature, the former result translates to $F\IP$ implying the omitting partial types principle ($\mathsf{OPT}$). We also show that, modulo $\Sigma^0_2$ induction, $F\IP$ lies strictly below the atomic model theorem ($\mathsf{AMT}$).

Logic
The Non-Cancelling Intersections Conjecture

Antoine Amarilli,Mikaël Monet,Dan Suciu

2024-01-29

Abstract:In this note, we present a conjecture on intersections of set families, and a rephrasing of the conjecture in terms of principal downsets of Boolean lattices. The conjecture informally states that, whenever we can express the measure of a union of sets in terms of the measure of some of their intersections using the inclusion-exclusion formula, then we can express the union as a set from these same intersections via the set operations of disjoint union and subset complement. We also present a partial result towards establishing the conjecture.

Combinatorics,Discrete Mathematics
Cantor's theorem may fail for finitary partitions

Guozhen Shen

2023-09-01

Abstract:A partition is finitary if all its members are finite. For a set $A$, $\mathscr{B}(A)$ denotes the set of all finitary partitions of $A$. It is shown consistent with $\mathsf{ZF}$ (without the axiom of choice) that there exist an infinite set $A$ and a surjection from $A$ onto $\mathscr{B}(A)$. On the other hand, we prove in $\mathsf{ZF}$ some theorems concerning $\mathscr{B}(A)$ for infinite sets $A$, among which are the following: (1) If there is a finitary partition of $A$ without singleton blocks, then there are no surjections from $A$ onto $\mathscr{B}(A)$ and no finite-to-one functions from $\mathscr{B}(A)$ to $A$. (2) For all $n\in\omega$, $|A^n|<|\mathscr{B}(A)|$. (3) $|\mathscr{B}(A)|\neq|\mathrm{seq}(A)|$, where $\mathrm{seq}(A)$ is the set of all finite sequences of elements of $A$.

Logic
$τ$-tilting finiteness and $\mathbf{g}$-tameness: Incidence algebras of posets and concealed algebras

Erlend D. Børve,Jacob Fjeld Grevstad,Endre S. Rundsveen

2024-07-25

Abstract:We prove that any $\tau$-tilting finite incidence algebra of a finite poset is representation-finite, and that any $\mathbf{g}$-tame incidence algebra of a finite simply connected poset is tame. As the converse of these assertions are known to hold, we obtain characterizations of $\tau$-tilting finite incidence algebras and $\mathbf{g}$-tame simply connected incidence algebras. Both results are proved using the theory of concealed algebras. The former will be deduced from the fact that tame concealed algebras are $\tau$-tilting infinite, and to prove the latter, we show that wild concealed algebras are not $\mathbf{g}$-tame. We conjecture that any incidence algebra of a finite poset is wild if and only if it is not $\mathbf{g}$-tame, and prove a result showing that there are relatively few possible counterexamples. In the appendix, we determine the representation type of a $\tau$-tilting reduction of a concealed algebra of hyperbolic type.

Representation Theory
A Representation Theorem of Set Algebras

Haimiao Chen,Junde Wu,Zhihao Ma

DOI: https://doi.org/10.1007/s10582-006-0011-z

2005-01-01

Abstract:In this paper we present a representation theorem in set algebras. As an application we describe the structure of σ-algebra of sets generated by an algebra of sets.
Representations as elements in affine composition algebras

Pu Zhang

DOI: https://doi.org/10.1090/S0002-9947-00-02613-1

IF: 1.3529

2001-01-01

Transactions of the American Mathematical Society

Abstract:Let A be the path algebra of a Euclidean quiver over a finite field k. The aim of this paper is to classify the modules M with the property [M] is an element of C (A), where C (A) is Ringel's composition algebra. Namely, the main result says that if \k\ not equal 2; 3, then [M] is an element of C (A) if and only if the regular direct summand of M is a direct sum of modules from non-homogeneous tubes with quasi-dimension vectors non-sincere. The main methods are representation theory of affine quivers, the structure of triangular decompositions of tame composition algebras, and the invariant subspaces of skew derivations. As an application, we see that C (A) = H (A) if and only if the quiver of A is of Dynkin type.
On properties not inherited by monoids from their Schutzenberger groups

Robert Gray,António Malheiro,Stephen J Pride

DOI: https://doi.org/10.48550/arXiv.1012.2049

2010-12-09

Group Theory

Abstract:We give an example of a monoid with finitely many left and right ideals, all of whose Schutzenberger groups are presentable by finite complete rewriting systems, and so each have finite derivation type, but such that the monoid itself does not have finite derivation type, and therefore does not admit a presentation by a finite complete rewriting system. The example also serves as a counterexample to several other natural questions regarding complete rewriting systems and finite derivation type. Specifically it allows us to construct two finitely generated monoids M and N with isometric Cayley graphs, where N has finite derivation type (respectively, admits a presentation by a finite complete rewriting system) but M does not. This contrasts with the case of finitely generated groups for which finite derivation type is known to be a quasi-isometry invariant. The same example is also used to show that neither of these two properties is preserved under finite Green index extensions.

The finite representation property fails for composition and intersection

Finite Representation Property for Relation Algebra Reducts

On Algebras of Finite General Representation Type

Subcompletions of representable relation algebras

Complete representation by partial functions for signatures containing antidomain restriction

Representation-finite tensor product of simply connected algebras

On finite relation equations with sup-conjunctor composition over a complete lattice

Intrasubband plasmons in a finite array of quantum wires placed into an external magnetic field

Intersection of a correspondence with a graph of Frobenius

Finite models for positive combinatorial and exponential algebra

Finite $F$-representation type for homogeneous coordinate rings of non-Fano varieties

Representation-finite tensor product algebras

On the strength of the finite intersection principle

The Non-Cancelling Intersections Conjecture

Cantor's theorem may fail for finitary partitions

$τ$-tilting finiteness and $\mathbf{g}$-tameness: Incidence algebras of posets and concealed algebras

A Representation Theorem of Set Algebras

Representations as elements in affine composition algebras

On properties not inherited by monoids from their Schutzenberger groups