The word problem for free fields: a correction and an addendum

1975 ◽  
Vol 40 (1) ◽  
pp. 69-74 ◽  
Author(s):  
P. M. Cohn
Keyword(s):  
Word Problem ◽  
Free Field ◽  
Skew Field ◽  
Finite Dimensional ◽  
Finite Set ◽  
Free Fields

In [1] it was claimed that the word problem for free fields with infinite centre can be solved. In fact it was asserted that if K is a skew field with infinite central subfield C, then the word problem in the free field on a set X over K can be solved, relative to the word problem in K.As G. M. Bergman has pointed out (in a letter to the author), it is necessary to specify rather more precisely what type of problem we assume to be soluble for K: We must be able to decide whether or not a given finite set in K is linearly dependent over its centre. This makes it desirable to prove that the free field has a corresponding property (and not merely a soluble word problem). This is done in §2; interestingly enough it depends only on the solubility of the word problem in the free field (cf. Lemma 2 and Theorem 1′ below).Bergman also notes that the proof given in [1] does not apply when K is finite-dimensional over its centre; this oversight is rectified in §4, while §3 lifts the restriction on C (to be infinite). However, we have to assume C to be the precise centre of K, and not merely a central subfield, as claimed in [1].I am grateful to G. M. Bergman for pointing out the various inaccuracies as well as suggesting remedies.

The word problem for free fields

1973 ◽  
Vol 38 (2) ◽  
pp. 309-314 ◽  
Author(s):  
P. M. Cohn
Keyword(s):  
Normal Form ◽  
Word Problem ◽  
Free Field ◽  
Free Associative Algebra ◽  
Commutative Field ◽  
Skew Field ◽  
Solvable Word Problem ◽  
Skew Fields ◽  
Free Fields ◽  
Solvable Word

It has long been known that every free associative algebra can be embedded in a skew field [11]; in fact there are many different embeddings, all obtainable by specialization from the ‘universal field of fractions’ of the free algebra (cf. [5, Chapter 7]). This makes it reasonable to call the latter the free field; see §2 for precise definitions. The existence of this free field was first established by Amitsur [1], but his proof is rather indirect and does not provide anything like a normal form for the elements of the field. Actually one cannot expect to find such a normal form, since it does not even exist in the field of fractions of a commutative integral domain, but at least one can raise the word problem for free fields: Does there exist an algorithm for deciding whether a given expression for an element of the free field represents zero?Now some recent work has revealed a more direct way of constructing free fields ([4], [5], [6]), and it is the object of this note to show how this method can be used to solve the word problem for free fields over infinite ground fields. In this connexion it is of interest to note that A. Macintyre [9] has shown that the word problem for skew fields is recursively unsolvable. Of course, every finitely generated commutative field has a solvable word problem (see e.g. [12]).The construction of universal fields of fractions in terms of full matrices is briefly recalled in §2, and it is shown quite generally for a ring R with a field of fractions inverting all full matrices, that if the set of full matrices over R is recursive, then the universal field has a solvable word problem. This holds more generally if the precise set of matrices over R inverted over the field is recursive, but it seems difficult to exploit this more general statement.

scholarly journals GENERALIZED W3-STRINGS FROM FREE FIELDS

1995 ◽  
Vol 10 (06) ◽  
pp. 515-524 ◽  
Author(s):  
J. M. FIGUEROA-O'FARRILL ◽  
C. M. HULL ◽  
L. PALACIOS ◽  
E. RAMOS
Keyword(s):  
Bosonic Strings ◽  
Free Field ◽  
Space Time ◽  
General Construction ◽  
Special Cases ◽  
Free Fields ◽  
Rule Out ◽  
General Conditions ◽  
String Theories

The conventional quantization of w3-strings gives theories which are equivalent to special cases of bosonic strings. We explore whether a more general quantization can lead to new generalized W3-string theories by seeking to construct quantum BRST charges directly without requiring the existence of a quantum W3-algebra. We study W3-like strings with a direct space-time interpretation — that is, with matter given by explicit free field realizations. Special emphasis is placed on the attempt to construct a quantum W-string associated with the magic realizations of the classical w3-algebra. We give the general conditions for the existence of W3-like strings, and comment on how the known results fit into our general construction. Our results are negative: we find no new consistent string theories, and in particular rule out the possibility of critical strings based on the magic realizations.

Undecidability of the identity problem for finite semigroups

1992 ◽  
Vol 57 (1) ◽  
pp. 179-192 ◽  
Author(s):  
Douglas Albert ◽  
Robert Baldinger ◽  
John Rhodes
Keyword(s):  
Word Problem ◽  
Finite Semigroup ◽  
Identity Problem ◽  
Finite Semigroups ◽  
Or Groups ◽  
Finite Set ◽  
Variety Of Semigroups ◽  
Finite Products

In 1947 E. Post [28] and A. A. Markov [18] independently proved the undecidability of the word problem (or the problem of deducibility of relations) for semigroups. In 1968 V. L. Murskil [23] proved the undecidability of the identity problem (or the problem of deducibility of identities) in semigroups.If we slightly generalize the statement of these results we can state many related results in the literature and state our new results proved here. Let V denote either a (Birkhoff) variety of semigroups or groups or a pseudovariety of finite semigroups. By a very well-known theorem a (Birkhoff) variety is defined by equations or equivalently closed under substructure, surmorphisms and all products; see [7]. It is also well known that V is a pseudovariety of finite semigroups iff V is closed under substructure, surmorphism and finite products, or, equivalently, determined eventually by equations w1 = w1′, w2 = w2′, w3 = w3′,… (where the finite semigroup S eventually satisfies these equations iff there exists an n, depending on S, such that S satisfies Wj = Wj′ for j ≥ n). See [8] and [29]. All semigroups form a variety while all finite semigroups form a pseudovariety.We now consider a table (see the next page). In it, for example, the box denoting the “word” (identity) problem for the psuedovariety V” means, given a finite set of relations (identities) E and a relation (identity) u = ν, the problem of whether it is decidable that E implies u = ν inside V.

Free Quantum Fields

2020 ◽  
pp. 247-260
Author(s):  
Daniel Canarutto
Keyword(s):  
Free Field ◽  
Gauge Fields ◽  
Quantum Field ◽  
Quantum Fields ◽  
Dirac Fields ◽  
Free Fields ◽  
Explicit Expressions

The notion of free quantum field is thoroughly discussed in the linearised setting associated with the choice of a detector. The discussion requires attention to certain details that are often overlooked in the standard literature. Explicit expressions for generic fields, Dirac fields, gauge fields and ghost fields are laid down, as well the ensuing free-field expressions of important functionals. The relations between super-commutators of free fields and propagators, and the canonical super-commutation rules, follow from the above results.

Localization in enveloping algebras

1983 ◽  
Vol 93 (3) ◽  
pp. 467-475 ◽  
Author(s):  
A. I. Lichtman
Keyword(s):  
Lie Algebra ◽  
Skew Field ◽  
Enveloping Algebras ◽  
Finite Dimensional ◽  
Noetherian Domain ◽  
Term Field

Let L be a finite-dimensional Lie algebra and U(L) its universal envelope. It is known that U(L) is a Noetherian domain (see (5), theorem v. 3·4) and therefore U(L) has a field of fractions. (Throughout the paper we use the term ‘field’ in the sense of skew field.) We prove in this article the following theorem.

Causal amplitudes and the Yang-Feldman formalism

1957 ◽  
Vol 53 (4) ◽  
pp. 843-847 ◽  
Author(s):  
J. C. Polkinghorne
Keyword(s):  
Field Theory ◽  
Green’S Functions ◽  
Free Field ◽  
Dispersion Relations ◽  
Matrix Elements ◽  
Field Equations ◽  
Commutation Relations ◽  
The Matrix ◽  
Free Fields ◽  
Set Up

ABSTRACTThe Yang-Feldman formalism vising the Feynman-like Green's functions is set up. The corresponding free fields have non-trivial commutation relations and contain information about the scattering. S-matrix elements are simply the matrix elements of anti-normal products of the field φF′(x). These are evaluated, and they give directly expressions used in the theory of causality and dispersion relations. It is possible to formulate field theory in a form in which the fields obey free field equations and the effects of interaction are contained in their commutation relations.

scholarly journals A NOTE ON KERR/CFT AND FREE FIELDS

2010 ◽  
Vol 25 (20) ◽  
pp. 3965-3973 ◽  
Author(s):  
JØRGEN RASMUSSEN
Keyword(s):  
Black Hole ◽  
Boundary Conditions ◽  
Isometry Group ◽  
Free Field ◽  
Kerr Black Hole ◽  
Virasoro Algebra ◽  
Free Fields ◽  
Horizon Geometry

The near-horizon geometry of the extremal four-dimensional Kerr black hole and certain generalizations thereof has an SL (2, ℝ) × U (1) isometry group. Excitations around this geometry can be controlled by imposing appropriate boundary conditions. For certain boundary conditions, the U(1) isometry is enhanced to a Virasoro algebra. Here, we propose a free-field construction of this Virasoro algebra.

scholarly journals Finite dimensional characteristics related to superreflexivity of Banach spaces

2004 ◽  
Vol 69 (2) ◽  
pp. 289-295 ◽  
Author(s):  
M. I. Ostrovskii
Keyword(s):  
Banach Spaces ◽  
Normed Space ◽  
Local Theory ◽  
Normed Spaces ◽  
Finite Sets ◽  
Large Cardinality ◽  
Finite Dimensional ◽  
Finite Set

One of the important problems of the local theory of Banach Spaces can be stated in the following way. We consider a condition on finite sets in normed spaces that makes sense for a finite set any cardinality. Suppose that the condition is such that to each set satisfying it there corresponds a constant describing “how well” the set satisfies the condition.The problem is:Suppose that a normed space X has a set of large cardinality satisfying the condition with “poor” constant. Does there exist in X a set of smaller cardinality satisfying the condition with a better constant?In the paper this problem is studied for conditions associated with one of R.C. James's characterisations of superreflexivity.

State Dynamics of the Epileptic Brain

2013 ◽  
Author(s):  
Samuel P. Burns ◽  
Sabato Santaniello ◽  
William S. Anderson ◽  
Sridevi V. Sarma
Keyword(s):  
State Space ◽  
State Space Model ◽  
Network Connectivity ◽  
Seizure Onset ◽  
Finite Dimensional ◽  
Dimensional State Space ◽  
Finite Set ◽  
Brain States ◽  
The Brain ◽  
Insight Into

Communication between specialized regions of the brain is a dynamic process allowing for different connections to accomplish different tasks. While the content of interregional communication is complex, the pattern of connectivity (i.e., which regions communicate) may lie in a lower dimensional state-space. In epilepsy, seizures elicit changes in connectivity, whose patterns shed insight into the nature of seizures and the seizure focus. We investigated connectivity in 3 patients by applying network-based analysis on multi-day subdural electrocorticographic recordings (ECoG). We found that (i) the network connectivity defines a finite set of brain states, (ii) seizures are characterized by a consistent progression of states, and (iii) the focus is isolated from surrounding regions at the seizure onset and becomes most connected in the network towards seizure termination. Our results suggest that a finite-dimensional state-space model may characterize the dynamics of the epileptic brain, and may ultimately be used to localize seizure foci.

A characterization of piecewise linear homology manifolds

1983 ◽  
Vol 93 (2) ◽  
pp. 271-274 ◽  
Author(s):  
W. J. R. Mitchell
Keyword(s):  
Piecewise Linear ◽  
Subsequent Paper ◽  
Locally Compact ◽  
Locally Finite ◽  
Finite Dimensional ◽  
Finite Set ◽  
Topological Manifolds ◽  
Homology Manifolds

We state and prove a theorem which characterizes piecewise linear homology manifolds of sufficiently large dimension among locally compact finite-dimensional absolute neighbourhood retracts (ANRs). The proof is inspired by Cannon's observation (3) that a piecewise linear homology manifold is a topological manifold away from a locally finite set, and uses Galewski and Stern's work on simplicial triangulations of topological manifolds, the Edwards–Cannon–Quinn characterization of topological manifolds and Siebenmann's work on ends (3, 6, 4, 13, 14, 15, 16). All these tools have suitable relative versions and so the theorem can be extended to the bounded case. However, the most satisfactory extension requires a classification of triangulations of homology manifolds up to concordance. This will be given in a subsequent paper and the bounded case will be postponed to that paper.

Sign in / Sign up

Export Citation Format

Share Document