Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Part exposition and part presentation of new results, this monograph deals with that area of mathematics which has both combinatorial group theory and mathematical logic in common. Its main topics are the word problem for groups, the conjugacy problem for groups, and the isomorphism problem for groups. The presentation depends on previous results of J. L. Britton, which, with other factual background, are treated in detail.

Group theory --- 510.6 --- Mathematical logic --- 510.6 Mathematical logic --- Group theory. --- Logic, Symbolic and mathematical. --- Groupes, Théorie des --- Groups, Theory of --- Substitutions (Mathematics) --- Algebra --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Abelian group. --- Betti number. --- Characteristic function (probability theory). --- Characterization (mathematics). --- Combinatorial group theory. --- Conjecture. --- Conjugacy class. --- Conjugacy problem. --- Contradiction. --- Corollary. --- Cyclic permutation. --- Decision problem. --- Diffeomorphism. --- Direct product. --- Direct proof. --- Effective method. --- Elementary class. --- Embedding. --- Enumeration. --- Epimorphism. --- Equation. --- Equivalence relation. --- Exact sequence. --- Existential quantification. --- Finite group. --- Finite set. --- Finitely generated group. --- Finitely presented. --- Free group. --- Free product. --- Fundamental group. --- Fundamental theorem. --- Group (mathematics). --- Gödel numbering. --- Homomorphism. --- Homotopy. --- Inner automorphism. --- Markov property. --- Mathematical logic. --- Mathematical proof. --- Mathematics. --- Monograph. --- Natural number. --- Nilpotent group. --- Normal subgroup. --- Notation. --- Permutation. --- Polycyclic group. --- Presentation of a group. --- Quotient group. --- Recursive set. --- Requirement. --- Residually finite group. --- Semigroup. --- Simple set. --- Simplicial complex. --- Solvable group. --- Statistical hypothesis testing. --- Subgroup. --- Theorem. --- Theory. --- Topology. --- Transitive relation. --- Triviality (mathematics). --- Truth table. --- Turing degree. --- Turing machine. --- Without loss of generality. --- Word problem (mathematics). --- Groupes, Théorie des --- Décidabilité (logique mathématique)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book contains accounts of talks held at a symposium in honorof John C. Moore in October 1983 at Princeton University, The workincludes papers in classical homotopy theory, homological algebra,rational homotopy theory, algebraic K-theory of spaces, and othersubjects.

Algebraic topology --- K-theory --- 512.73 --- 515.14 --- 512.73 Cohomology theory of algebraic varieties and schemes --- Cohomology theory of algebraic varieties and schemes --- 515.14 Algebraic topology --- Moore, John C. --- Abelian group. --- Adams spectral sequence. --- Adjoint functors. --- Adjunction (field theory). --- Algebraic K-theory. --- Algebraic closure. --- Algebraic geometry. --- Algebraic group. --- Algebraic number field. --- Algebraic space. --- Algebraic topology. --- Algebraically closed field. --- Associative algebra. --- Boundary (topology). --- CW complex. --- Classification theorem. --- Closure (mathematics). --- Coalgebra. --- Cofibration. --- Cohomology. --- Commutative diagram. --- Commutative property. --- Coproduct. --- Deformation theory. --- Degenerate bilinear form. --- Diagram (category theory). --- Differentiable manifold. --- Dimension (vector space). --- Division algebra. --- Eilenberg–Moore spectral sequence. --- Epimorphism. --- Exterior (topology). --- Formal power series. --- Free Lie algebra. --- Free algebra. --- Freudenthal suspension theorem. --- Function (mathematics). --- Function space. --- Functor. --- G-module. --- Galois extension. --- Global dimension. --- Group cohomology. --- Group homomorphism. --- H-space. --- Hilbert's Theorem 90. --- Homology (mathematics). --- Homomorphism. --- Homotopy category. --- Homotopy group. --- Homotopy. --- Hopf algebra. --- Hopf invariant. --- Hurewicz theorem. --- Inclusion map. --- Inequality (mathematics). --- Integral domain. --- Isometry. --- Isomorphism class. --- K-theory. --- Lie algebra. --- Lie group. --- Limit (category theory). --- Loop space. --- Mathematician. --- Mathematics. --- Noetherian ring. --- Order topology. --- P-adic number. --- Polynomial ring. --- Polynomial. --- Prime number. --- Principal bundle. --- Principal ideal domain. --- Projective module. --- Projective plane. --- Pullback (category theory). --- Pushout (category theory). --- Ring of integers. --- Series (mathematics). --- Sheaf (mathematics). --- Simplicial category. --- Simplicial complex. --- Simplicial set. --- Special case. --- Spectral sequence. --- Square (algebra). --- Stable homotopy theory. --- Steenrod algebra. --- Superalgebra. --- Theorem. --- Topological K-theory. --- Topological space. --- Topology. --- Triviality (mathematics). --- Uniqueness theorem. --- Universal enveloping algebra. --- Vector bundle. --- Weak equivalence (homotopy theory). --- William Browder (mathematician). --- Géométrie algébrique --- K-théorie

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book develops some of the extraordinary richness, beauty, and power of geometry in two and three dimensions, and the strong connection of geometry with topology. Hyperbolic geometry is the star. A strong effort has been made to convey not just denatured formal reasoning (definitions, theorems, and proofs), but a living feeling for the subject. There are many figures, examples, and exercises of varying difficulty.

Topology --- Differential geometry. Global analysis --- Geometry, Hyperbolic --- Three-manifolds (Topology) --- Géométrie hyperbolique --- Variétés topologiques à 3 dimensions --- Geometry, Hyperbolic. --- 514.1 --- 3-manifolds (Topology) --- Manifolds, Three dimensional (Topology) --- Three-dimensional manifolds (Topology) --- Low-dimensional topology --- Topological manifolds --- Hyperbolic geometry --- Lobachevski geometry --- Lobatschevski geometry --- Geometry, Non-Euclidean --- General geometry --- Three-manifolds (Topology). --- 514.1 General geometry --- Géométrie hyperbolique --- Variétés topologiques à 3 dimensions --- 3-sphere. --- Abelian group. --- Affine space. --- Affine transformation. --- Atlas (topology). --- Automorphism. --- Basis (linear algebra). --- Bounded set (topological vector space). --- Brouwer fixed-point theorem. --- Cartesian coordinate system. --- Characterization (mathematics). --- Compactification (mathematics). --- Conformal map. --- Contact geometry. --- Curvature. --- Cut locus (Riemannian manifold). --- Diagram (category theory). --- Diffeomorphism. --- Differentiable manifold. --- Dimension (vector space). --- Dimension. --- Disk (mathematics). --- Divisor (algebraic geometry). --- Dodecahedron. --- Eigenvalues and eigenvectors. --- Embedding. --- Euclidean space. --- Euler number. --- Exterior (topology). --- Facet (geometry). --- Fiber bundle. --- Foliation. --- Fundamental group. --- Gaussian curvature. --- Geometry. --- Group homomorphism. --- Half-space (geometry). --- Holonomy. --- Homeomorphism. --- Homotopy. --- Horocycle. --- Hyperbolic geometry. --- Hyperbolic manifold. --- Hyperbolic space. --- Hyperboloid model. --- Interior (topology). --- Intersection (set theory). --- Isometry group. --- Isometry. --- Jordan curve theorem. --- Lefschetz fixed-point theorem. --- Lie algebra. --- Lie group. --- Line (geometry). --- Linear map. --- Linearization. --- Manifold. --- Mathematical induction. --- Metric space. --- Moduli space. --- Möbius transformation. --- Norm (mathematics). --- Pair of pants (mathematics). --- Piecewise linear manifold. --- Piecewise linear. --- Poincaré disk model. --- Polyhedron. --- Projection (linear algebra). --- Projection (mathematics). --- Pseudogroup. --- Pullback (category theory). --- Quasi-isometry. --- Quotient space (topology). --- Riemann mapping theorem. --- Riemann surface. --- Riemannian manifold. --- Sheaf (mathematics). --- Sign (mathematics). --- Simplicial complex. --- Simply connected space. --- Special linear group. --- Stokes' theorem. --- Subgroup. --- Subset. --- Tangent space. --- Tangent vector. --- Tetrahedron. --- Theorem. --- Three-dimensional space (mathematics). --- Topological group. --- Topological manifold. --- Topological space. --- Topology. --- Transversal (geometry). --- Two-dimensional space. --- Uniformization theorem. --- Unit sphere. --- Variable (mathematics). --- Vector bundle. --- Vector field. --- Topologie algébrique --- Topologie combinatoire --- Algebraic topology. --- Combinatorial topology. --- Variétés topologiques --- Geometrie --- Theorie des noeuds

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Descent in Buildings begins with the resolution of a major open question about the local structure of Bruhat-Tits buildings. The authors then put their algebraic solution into a geometric context by developing a general fixed point theory for groups acting on buildings of arbitrary type, giving necessary and sufficient conditions for the residues fixed by a group to form a kind of subbuilding or "form" of the original building. At the center of this theory is the notion of a Tits index, a combinatorial version of the notion of an index in the relative theory of algebraic groups. These results are combined at the end to show that every exceptional Bruhat-Tits building arises as a form of a "residually pseudo-split" Bruhat-Tits building. The book concludes with a display of the Tits indices associated with each of these exceptional forms.This is the third and final volume of a trilogy that began with Richard Weiss' The Structure of Spherical Buildings and The Structure of Affine Buildings.

Buildings (Group theory) --- Combinatorial geometry. --- Geometric combinatorics --- Geometrical combinatorics --- Combinatorial analysis --- Discrete geometry --- Theory of buildings (Group theory) --- Tits's theory of buildings (Group theory) --- Linear algebraic groups --- Bruhat-Tits building. --- Clifford invariant. --- Coxeter diagram. --- Coxeter group. --- Coxeter system. --- Euclidean plane. --- Fundamental Theorem of Descent. --- Moufang building. --- Moufang condition. --- Moufang polygon. --- Moufang quadrangle. --- Moufang set. --- Moufang structure. --- Pfister form. --- Structure Theorem. --- Tits index. --- abelian group. --- absolute Coxeter diagram. --- absolute Coxeter system. --- absolute rank. --- affine building. --- algebraic group. --- anisotropic pseudo-quadratic space. --- anisotropic quadratic space. --- anti-isomorphism. --- apartment. --- arctic region. --- automorphism. --- bilinear form. --- biquaternion division algebra. --- building. --- canonical isomorphism. --- chamber. --- compatible representation. --- descent group. --- descent. --- discrete valuation. --- exceptional Moufang quadrangle. --- exceptional quadrangle. --- finite dimension. --- fixed point building. --- fixed point theory. --- gem. --- generalized quadrangle. --- hyperbolic plane. --- hyperbolic quadratic module. --- hyperbolic quadratic space. --- involutory set. --- isomorphism. --- isotropic quadratic space. --- length function. --- non-abelian group. --- parallel residues. --- polar space. --- projection map. --- proper indifferent set. --- proper involutory set. --- pseudo-quadratic space. --- pseudo-split building. --- quadratic form. --- quadratic module. --- quadratic space. --- quaternion division algebra. --- ramified quadrangle. --- ramified quaternion division algebra. --- ramified separable quadratic extension. --- relative Coxeter diagram. --- relative Coxeter group. --- relative Coxeter system. --- relative rank. --- residual quadratic spaces. --- residue. --- root group sequence. --- root. --- round quadratic space. --- scalar multiplication. --- semi-ramified quadrangle. --- separable quadratic extension. --- simplicial complex. --- special vertex. --- spherical building. --- split quadratic space. --- standard involution. --- subbuilding of split type. --- subbuilding. --- tamely ramified division algebra. --- thick building. --- thin T-building. --- trace map. --- trace. --- unramified quadrangle. --- unramified quadratic space. --- unramified quaternion division algebra. --- unramified separable quadratic extension. --- vector space. --- vertex. --- weak isomorphism. --- wild quadratic space.