|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Hazewinkel M. — Handbook of Algebra (part 2) |
|
|
|
| Предметный указатель |
Taylor multi-operator spectral theory 204 214
Taylor spectrum 202 204 215 217
Taylor theorem on holomorphic calculus 205
Taylor theory 214
Taylor theory of multioperator holomorphic calculus 161
Taylor, J.L. 153 183 204 212 216 226 228 230 251
Tennent, R.D. 36 43
Tensor algebra 190 388
Tensor algebra generated by a duality 190
Tensor multiplication 165
Tensor multiplication by cyclic modules 165
Tensor product 49 163 585 695
Tensor product functor 164
Tensor product of complexes 199
Tensor product of spaces 164
Tensored  -category 60
Tensored -category of hilbert spaces 60
Teranishi, y. 395
Term 281
Term of type a 10
Term operation 549
Terminal object 7
Terms as natural transformations 36
Terms as relation transformers 43
TG 669
Theory 281
Theory of abelian groups 669
Theory of computation 82
Theory of finite lascar rank 307
Theory of finite models 82
Theory of fixed rings 361
Theory of formations 305
Theory of maximal orders 463
Theory of pl-rings 366
Theory of separable algebras 463
Theory of varieties of groups 570
Theory of vertices and sources 821
Theta function 712
Thevenaz, J. 762 770 773 777 781 783 785 788 789 796 834
Third axiom of countability 682
Third axiom of countability with respect to nice subgroups 676
Thomas, M.P. 176
Thompson, J.G. 483
Tiuryn, J. 56
Tmc 58
tom Dieck, T. 763 786
Tominaga, h. 369
Tomiyama, J. 177
Topological abelian group 702
Topological algebra 153 155 159
Topological chain 220
Topological homology 153
Topological isomorphism 158
Topological left a-module 157
Topological module 155
Topological right a-module 157
Topological splitting 223
Topological square 156 191
Topological tensor product 155
Topological two-sided a-module 157
Topologically cyclic vector 178
Topology of pointwise convergence 46
Topology of proofs 51
Topology of surfaces in  709
Topos 24 95
Tor-computing complex 212
Tor-idempotent 697
Torsion class cogenerated by  692
Torsion class of groups 691
Torsion complete  -group 675
Torsion group 671
Torsion part 671
Torsion part of a group 669
Torsion product 697
Torsion theory 692
Torsion theory cogenerated by a class 692
Torsion theory generated by a class 692
Torsion-free 671
Torsion-free class generated by 692
Torsion-free class of groups 691
Torsion-free dade functor 796
Torsion-free group of rank 1 677
Torsion-free rank 680
Tortile category 58
Torus of derivations 523
Totally categorical theory 281
Totally projective group 676
Toubassi, e. 688 696
Trace family of functions 58
Trace form 364
trace function 361
Trace-as-feedback 63
Traced cartesian category 59
Traced ideal 60
Traced monoidal category 63 65
Traced strong monoidal functor 60
Traced symmetric monoidal category 58 66
Transcendence degree 279
TRANSFER 774 798
Transfer map 758 798
Transfinite line 250
Transition probability 64
Transitive (g, h)-biset 829
Transitive abelian group 701
Transitive biset 791 830
Translation 14
Transvectant 395
Triangular elementary transformation 596
Trichotomy conjecture 279
Trichotomy theorem 312
Trivial deformation 514
Trivial source 760
Trivial type 309
True in  281
Tuple sort 286
Turing computable function 42
Turing machine 40
Turing-machine computable function 18
Turing-machine computable partial functions 8
Twisted group ring 484
Two step nilpotent 634
Two-sided ring of quotients 408
Two-sorted structure 281
Two-step nilpotent 624
TYPE 84 677
Type 1 factor 170
Type constructor 39
Type erasure function 27
Type inference algorithm 27 48
Type inference rules 26
Type of  over a 282
Type of a universal integer 684
Type of an abelian torsion-free group of rank 1 677
Type of an element 677
Type theory dependent 22
Type-definable 282
Type-definable group 280
Type-definable set 283
Type-definable subgroup 286
Type-forming operation 10
Typed lambda calculus 5 10 12 14 19 30 33 55
Types as functors 36
Typing rules 27
Tzygan, B.L. 255
U 284
U(l) 583
Ullery, w. 676
Ulm factor 673
Ulm invariant 675 698 699
Ulm sequence 673
| Ulm subgroup 673
Ulm theorem 675 699
Ulm type 673
Ulm — kaplansky invariant 675
Ulm — kaplansky theorem 675
Ultrafilter 282 328
Ultrapower 282 328
Ultraproduct 282
Ultraweak amenability 187
Ultraweak homological bidimension 243
Ultraweak topology 162
Ultraweakly closed *-subalgebra of  162
Ultraweakly closed algebra 178
Ultraweakly closed operator algebra 233
Umirbaev, u. 598
Umlauf, k.a. 617
Unary sum axiom 61
Undecidable under zfc 677
Unification problem 26 27
Uniform algebra 167
Uniform algorithm 39
Uniform chain condition on intersections of uniformly definable subgroups 287
Uniform convergence 156
Uniform distributive module 404
Uniform right a-modules 420
Uniform right ideal 431
Uniformly definable 287
Uniformly given algorithm at all types 19
Uniformly locally nilpotent group 290
Uniformly radical commutative banach algebra 254
Unimodular hermitean form 485
Unimodular row 447
Uniserial artinian ring 407
Uniserial module 401 419 449
Uniserial ring 405
Unit coherence 44
Unit-regular ring 421 448
Unitary group 188
Unitization algebra 155 198
Universal active database 97
Universal active db 97
Universal algebra 12 81
Universal algebra multisorted 6
Universal algebra of queries 83 97
Universal algebra of replies 97
Universal automaton 129
Universal database 125
Universal db 105 120
Universal enveloping algebra 583 709
Universal mapping property 13
Universal property 18 30 163 822
Universal property of coproducts 17 44
Universal property of lists 18
Universal property of polynomial algebras 9
Universal property of products 44
Universal property of the burnside ring mackey functor 822
Universal R-matrix 709 723
Universal relational database 130
Universal truth 48
Universal type 37
Universally catenary ring 327
Universally japanese local ring 327
Untying axiom 62
Untyped aspect of computation 24
Untyped expression 22
Untyped lambda calculus 8 25 26
Untyped lambda calculus with pairing operators 26
Upper central series 523
Upper nil-radical 375
Urquhart, A. 67
Valette, J. 364 368 373 377 379 381
Valuated -group 698
Valuated group 698
Valuated subgroup 698
Valuation ring 402 463
Valuation theory 463
Van der kallen, w. 483
Van der Waerden, B. 571
Van oystaeyen, f. 471
Vanishing 58
Vanishing for traces 58
Var r 602
variable assignment 27
Variant type 16
Varieties of algebras 85 132 562
Varieties of lie algebras 567
Variety 83 128 602
Variety generated by a class of algebras 549
Variety of boolean algebra 134 552
Variety of boolean rings 552
Variety of cylindric algebras 83
Variety of groups 570
Variety of has 134
Variety of inverse semigroups 572
Variety of lie algebra laws 511
Variety of nilpotent lie algebra laws 512 631
Variety of right alternative algebras 558
Variety of solvable lie algebra laws 512
Varopoulos algebra 199 245 255
Varying part of a db 96
Varying semigroup 127
Vaughan-Lee, M. 560
Vector space dimension 279
Veis, a. 569
Verbal congruence 90 548
Verbal ideal 563
Verity, d. 58
Verma module 711
Versal deformation 323
Vertex 821
Vertex of a mackey functor 821
Vertex of an  lattice 758
Vertices and sources, theory of vertices and sources 821
Viljoen, g. 694
Villamayor, O.E. 466
Vinsonhaler, c. 678 687 689 691 692
Virtual diagonal 185 188
Vlasova,l.i. 686 691
Voiculescu, D. 233
Volkov, m. 559
Volterra algebra 187 255
von Neumann algebra 154 156 162 229
von Neumann algebra of type 11 170
von Neumann algebra of type III 170
von Neumann regular ring 441 600
Vonessen, n. 390
W.db a 243
W.dg a 242
W.dh x 241
Walker, c. 692 695 699
Walker, E. 681 687 689 699
Walters, r.f.c. 60
Warfield duality 691
Warfield group 682
Warfield, r.b., jr. 676 681 691 693
Watanabe, Y. 469
Weak bidimension 154
Weak datatype 19
Weak global dimension 242 401
Weak homological bidimension 243
Weak homological dimension 241
Weak mal'cev class 553
Weak natural numbers object 14 17
Weak operator topology 156
Weak t-algebras 21
Weak* topology 161
Weakening structural rule 49
Weakly amenable 187
Weakly amenable algebra 225
Weakly amenable banach algebra 192
|
|
|
| Реклама |
|
|
|
|
|
О проекте