No description available.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas, Programa de Pós-Graduação em Matemática e Computação Científica, Florianópolis, 2011 / Made available in DSpace on 2012-10-26T04:34:42Z (GMT). No. of bitstreams: 1 288163.pdf: 615320 bytes, checksum: d391efa36179aa1a4f050342d8209628 (MD5) / Dada uma álgebra de von Neumann M em L(H), onde L(H) é o espaço dos operadores lineares e limitados sobre um espaço de Hilbert H, dizemos que M é um fator se seu centro consiste somente por múltiplos escalares do operador identidade de L(H). Quando M é um fator, podemos classificá-lo em tipo I, II e III. Além disso, o tipo II pode ser dividido em dois sub-tipos. O objetivo dessa dissertação é exibir exemplos de fatores, bem como exemplos dos tipos I, II e seus sub-tipos.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas, Programa de Pós-graduação em Matemática e Computação Científica, Florianópolis, 2011 / Made available in DSpace on 2012-10-26T06:50:58Z (GMT). No. of bitstreams: 1 290255.pdf: 1107150 bytes, checksum: b44171e2f6fe49da09c6e0dfbf4c84c1 (MD5) / Neste trabalho fazemos uma descrição completa do grupo quântico A(SL_q(2)), em que q é a raiz cúbica da unidade, como uma extensão de Hopf-Galois fielmente plana de A(SL(2,C)) a partir da sequência exata de álgebras de Hopf A(SL(2,C)) A(SL_q(2)) A(F) determinada pelo morfismo de Frobenius Fr. Além disso, estendemos o resultado para o subgrupo quântico de Borel, obtendo a estrutura de produto cruzado. No mais, é feito um estudo dos resultados da teoria de álgebras de Hopf e da teoria de extensões de álgebras obtidas a partir de álgebras de Hopf. Ainda, mostramos que toda biálgebra que admite uma extensão de Hopf-Galois fielmente plana é uma álgebra de Hopf.

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / Seja F um grupo livre e seja w Є F. Dado um grupo G, denotaremos por Gw o conjunto de todos os w-valores em G e por w(G) = [Gw] o subgrupo verbal de G correspondente a w. Uma palavra w à chamada limitadamente concisa se, para cada grupo G tal que |Gw|≤ n, tivermos |w(G)|≤ c, onde c à um inteiro que depende somente de n. Mostraremos que se w à uma palavra limitadamente concisa e G à um grupo tal que |xGw|≤ m para todo x Є G, entÃo |xw(G)|≤ d para todo x Є , onde d = dm, w à um inteiro dependendo somente de m e w. / Let F be a free group and let w Є F. For a group G,let Gw denote the set of all w-values in G and w(G)=[Gw] the verbal subgroup of G corresponding to w. A word w is called boundedly concise if, for each group G such that | Gw | ≤ n, we have |w(G)| ≤ c,for some integer c depending only on n. We will show w is a word boundedly concise G is a group such that |xGw| ≤ m for all x Є G, then |xw(G)|≤ d such that x Є G and a some integer d = d(m,w) depending only on m and w.

This thesis is aimed at generalizing notions of rings to modules. In par-ticular, notions of completely prime ideals, s-prime ideals, 2-primal rings and nilpotency of elements of rings are respectively generalized to completely prime submodules and classical completely prime submodules, s-prime submodules, 2-primal modules and nilpotency of elements of modules. Properties and rad-icals that arise from each of these notions are studied.

The goal of this thesis is to design and implement a SQL frontend for Bobox framework which is being developed by Department of software engineering MFF UK. The development of the Bobox framework is motivated by the effort to simplify writing parallel software. The Bobox framework is one of many system implementations for processing stream data and provides runtime environment for evaluating execution plans in the parallel environment. This thesis deals with implementation of a frontend for this framework. The input is a query in SQL language and information about database structure. Frontend will perform syn- tactic and semantic analysis and then translate the input query into intermediate code. The output of this frontend is the intermediate code in the form of relatio- nal algebra written as XML and is used as the input for the following optimizing backend.

No description available.

We introduce the notion of cellular dg-categories mimicking the properties of topological CW-complexes. We study the properties of such categories and provide various examples corresponding to the well-known geometrical objects. We also show that these categories are suitable for encoding coherence conditions in homotopy theoretical constructs involving A-infinity categories. In particular, we formulate the notion of a homotopy coherent monoid action on an A-infinity category which can be used in constructions involved in Homological Mirror Symmetry.

In this thesis we discuss a moduli space of projective curves with a map to a given projective space. The functor CM parametrizes curves, that is, Cohen-Macaulay schemes of pure dimension 1, together with a finite map to the projective space that is an isomorphism onto its image away from a finite set of closed points. We proof that CM is an algebraic space by contructing a scheme W and a representable, surjective and smooth map from W to CM. / QC 20120229

This thesis consists of three articles. The first two concern a generalization of Rees algebras of ideals to modules. Paper A shows that the definition of the Rees algebra due to Eisenbud, Huneke and Ulrich has an equivalent, intrinsic, definition in terms of divided powers. In Paper B, we use coherent functors to describe properties of the Rees algebra. In particular, we show that the Rees algebra is induced by a canonical map of coherent functors. In Paper C, we prove a generalization of Gotzmann's persistence theorem to finite modules. As a consequence, we show that the embedding of the Quot scheme of points into a Grassmannian is given by a single Fitting ideal. / <p>QC 20141218</p>