Characterization of the pseudovariety generated by finite monoids satisfying ℛ = ℋ

2016 ◽  
Vol 292 (S1) ◽  
pp. 245-252
Author(s):  
T. V. Pervukhina
Keyword(s):  
2011 ◽  
Vol 21 (01n02) ◽  
pp. 295-314 ◽  
Author(s):  
JEAN-ÉRIC PIN ◽  
PEDRO V. SILVA

We consider uniformities associated with a variety of finite monoids V, but we work with arbitrary monoids and not only with free or free profinite monoids. The aim of this paper is to address two general questions on these uniform structures and a few more specialized ones. A first question is whether these uniformities can be defined by a metric or a pseudometric. The second question is the description of continous and uniformly continuous functions. We first give a characterization of these functions in term of recognizable sets and use it to extend a result of Reutenauer and Schützenberger on continuous functions for the pro-group topology. Next we introduce the notion of hereditary continuity and discuss the behaviour of our three main properties (continuity, uniform continuity, hereditary continuity) under composition, product or exponential. In the last section, we analyze the properties of V-uniform continuity when V is the intersection or the join of a family of varieties and we discuss in some detail the case where V is commutative.


2009 ◽  
Vol 19 (06) ◽  
pp. 791-808 ◽  
Author(s):  
KALLE KAARLI ◽  
LÁSZLÓ MÁRKI

This paper provides an abstract characterization of the inverse monoids that appear as monoids of bi-congruences of finite minimal algebras generating arithmetical varieties. As a tool, a matrix construction is introduced which might be of independent interest in inverse semigroup theory. Using this construction as well as Ramsey's theorem, we embed a certain kind of inverse monoid into a factorizable monoid of the same kind. As noticed by M. Lawson, this embedding entails that the embedded finite monoids have finite F-unitary cover.


2012 ◽  
Vol Vol. 14 no. 1 (Automata, Logic and Semantics) ◽  
Author(s):  
Manfred Kufleitner ◽  
Alexander Lauser

Automata, Logic and Semantics International audience The join of two varieties is the smallest variety containing both. In finite semigroup theory, the varieties of R-trivial and L-trivial monoids are two of the most prominent classes of finite monoids. Their join is known to be decidable due to a result of Almeida and Azevedo. In this paper, we give a new proof for Almeida and Azevedo's effective characterization of the join of R-trivial and L-trivial monoids. This characterization is a single identity of omega-terms using three variables.


Author(s):  
B. L. Soloff ◽  
T. A. Rado

Mycobacteriophage R1 was originally isolated from a lysogenic culture of M. butyricum. The virus was propagated on a leucine-requiring derivative of M. smegmatis, 607 leu−, isolated by nitrosoguanidine mutagenesis of typestrain ATCC 607. Growth was accomplished in a minimal medium containing glycerol and glucose as carbon source and enriched by the addition of 80 μg/ ml L-leucine. Bacteria in early logarithmic growth phase were infected with virus at a multiplicity of 5, and incubated with aeration for 8 hours. The partially lysed suspension was diluted 1:10 in growth medium and incubated for a further 8 hours. This permitted stationary phase cells to re-enter logarithmic growth and resulted in complete lysis of the culture.


Author(s):  
A.R. Pelton ◽  
A.F. Marshall ◽  
Y.S. Lee

Amorphous materials are of current interest due to their desirable mechanical, electrical and magnetic properties. Furthermore, crystallizing amorphous alloys provides an avenue for discerning sequential and competitive phases thus allowing access to otherwise inaccessible crystalline structures. Previous studies have shown the benefits of using AEM to determine crystal structures and compositions of partially crystallized alloys. The present paper will discuss the AEM characterization of crystallized Cu-Ti and Ni-Ti amorphous films.Cu60Ti40: The amorphous alloy Cu60Ti40, when continuously heated, forms a simple intermediate, macrocrystalline phase which then transforms to the ordered, equilibrium Cu3Ti2 phase. However, contrary to what one would expect from kinetic considerations, isothermal annealing below the isochronal crystallization temperature results in direct nucleation and growth of Cu3Ti2 from the amorphous matrix.


Author(s):  
B. H. Kear ◽  
J. M. Oblak

A nickel-base superalloy is essentially a Ni/Cr solid solution hardened by additions of Al (Ti, Nb, etc.) to precipitate a coherent, ordered phase. In most commercial alloy systems, e.g. B-1900, IN-100 and Mar-M200, the stable precipitate is Ni3 (Al,Ti) γ′, with an LI2structure. In A lloy 901 the normal precipitate is metastable Nis Ti3 γ′ ; the stable phase is a hexagonal Do2 4 structure. In Alloy 718 the strengthening precipitate is metastable γ″, which has a body-centered tetragonal D022 structure.Precipitate MorphologyIn most systems the ordered γ′ phase forms by a continuous precipitation re-action, which gives rise to a uniform intragranular dispersion of precipitate particles. For zero γ/γ′ misfit, the γ′ precipitates assume a spheroidal.


Author(s):  
R. E. Herfert

Studies of the nature of a surface, either metallic or nonmetallic, in the past, have been limited to the instrumentation available for these measurements. In the past, optical microscopy, replica transmission electron microscopy, electron or X-ray diffraction and optical or X-ray spectroscopy have provided the means of surface characterization. Actually, some of these techniques are not purely surface; the depth of penetration may be a few thousands of an inch. Within the last five years, instrumentation has been made available which now makes it practical for use to study the outer few 100A of layers and characterize it completely from a chemical, physical, and crystallographic standpoint. The scanning electron microscope (SEM) provides a means of viewing the surface of a material in situ to magnifications as high as 250,000X.


Author(s):  
D. F. Blake ◽  
L. F. Allard ◽  
D. R. Peacor

Echinodermata is a phylum of marine invertebrates which has been extant since Cambrian time (c.a. 500 m.y. before the present). Modern examples of echinoderms include sea urchins, sea stars, and sea lilies (crinoids). The endoskeletons of echinoderms are composed of plates or ossicles (Fig. 1) which are with few exceptions, porous, single crystals of high-magnesian calcite. Despite their single crystal nature, fracture surfaces do not exhibit the near-perfect {10.4} cleavage characteristic of inorganic calcite. This paradoxical mix of biogenic and inorganic features has prompted much recent work on echinoderm skeletal crystallography. Furthermore, fossil echinoderm hard parts comprise a volumetrically significant portion of some marine limestones sequences. The ultrastructural and microchemical characterization of modern skeletal material should lend insight into: 1). The nature of the biogenic processes involved, for example, the relationship of Mg heterogeneity to morphological and structural features in modern echinoderm material, and 2). The nature of the diagenetic changes undergone by their ancient, fossilized counterparts. In this study, high resolution TEM (HRTEM), high voltage TEM (HVTEM), and STEM microanalysis are used to characterize tha ultrastructural and microchemical composition of skeletal elements of the modern crinoid Neocrinus blakei.


Author(s):  
Simon Thomas

Trends in the technology development of very large scale integrated circuits (VLSI) have been in the direction of higher density of components with smaller dimensions. The scaling down of device dimensions has been not only laterally but also in depth. Such efforts in miniaturization bring with them new developments in materials and processing. Successful implementation of these efforts is, to a large extent, dependent on the proper understanding of the material properties, process technologies and reliability issues, through adequate analytical studies. The analytical instrumentation technology has, fortunately, kept pace with the basic requirements of devices with lateral dimensions in the micron/ submicron range and depths of the order of nonometers. Often, newer analytical techniques have emerged or the more conventional techniques have been adapted to meet the more stringent requirements. As such, a variety of analytical techniques are available today to aid an analyst in the efforts of VLSI process evaluation. Generally such analytical efforts are divided into the characterization of materials, evaluation of processing steps and the analysis of failures.


Author(s):  
R. J. Lauf

Fuel particles for the High-Temperature Gas-Cooled Reactor (HTGR) contain a layer of pyrolytic silicon carbide to act as a miniature pressure vessel and primary fission product barrier. Optimization of the SiC with respect to fuel performance involves four areas of study: (a) characterization of as-deposited SiC coatings; (b) thermodynamics and kinetics of chemical reactions between SiC and fission products; (c) irradiation behavior of SiC in the absence of fission products; and (d) combined effects of irradiation and fission products. This paper reports the behavior of SiC deposited on inert microspheres and irradiated to fast neutron fluences typical of HTGR fuel at end-of-life.


Sign in / Sign up

Export Citation Format

Share Document