loops/doc/chapB_mj.html

46 lines
12 KiB
HTML
Raw Permalink Normal View History

2017-10-16 19:43:09 +00:00
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<script type="text/javascript"
src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
</script>
<title>GAP (Loops) - Appendix B: Filters</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
<script src="manual.js" type="text/javascript"></script>
<script type="text/javascript">overwriteStyle();</script>
</head>
<body class="chapB" onload="jscontent()">
<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a> <a href="chap1_mj.html">1</a> <a href="chap2_mj.html">2</a> <a href="chap3_mj.html">3</a> <a href="chap4_mj.html">4</a> <a href="chap5_mj.html">5</a> <a href="chap6_mj.html">6</a> <a href="chap7_mj.html">7</a> <a href="chap8_mj.html">8</a> <a href="chap9_mj.html">9</a> <a href="chapA_mj.html">A</a> <a href="chapB_mj.html">B</a> <a href="chapBib_mj.html">Bib</a> <a href="chapInd_mj.html">Ind</a> </div>
<div class="chlinkprevnexttop">&nbsp;<a href="chap0_mj.html">[Top of Book]</a>&nbsp; <a href="chap0_mj.html#contents">[Contents]</a>&nbsp; &nbsp;<a href="chapA_mj.html">[Previous Chapter]</a>&nbsp; &nbsp;<a href="chapBib_mj.html">[Next Chapter]</a>&nbsp; </div>
<p id="mathjaxlink" class="pcenter"><a href="chapB.html">[MathJax off]</a></p>
<p><a id="X84EFA4C07D4277BB" name="X84EFA4C07D4277BB"></a></p>
<div class="ChapSects"><a href="chapB_mj.html#X84EFA4C07D4277BB">B <span class="Heading">Filters</span></a>
</div>
<h3>B <span class="Heading">Filters</span></h3>
<p>Many implications among properties of loops are built directly into <strong class="pkg">LOOPS</strong>. A sizeable portion of these properties are of trivial character or are based on definitions (e.g., alternative loops <span class="SimpleMath">\(=\)</span> left alternative loops <span class="SimpleMath">\(+\)</span> right alternative loops). The remaining implications are theorems.</p>
<p>All filters of <strong class="pkg">LOOPS</strong> are summarized below, using the <strong class="pkg">GAP</strong> convention that the property on the left is implied by the property (properties) on the right. <br /> <br /> <code class="code">( IsExtraLoop, IsAssociative and IsLoop )</code> <br /> <code class="code">( IsExtraLoop, IsCodeLoop )</code> <br /> <code class="code">( IsCCLoop, IsCodeLoop )</code> <br /> <code class="code">( HasTwosidedInverses, IsPowerAssociative and IsLoop )</code> <br /> <code class="code">( IsPowerAlternative, IsDiassociative )</code> <br /> <code class="code">( IsFlexible, IsDiassociative )</code> <br /> <code class="code">( HasAntiautomorphicInverseProperty, HasAutomorphicInverseProperty and IsCommutative )</code> <br /> <code class="code">( HasAutomorphicInverseProperty, HasAntiautomorphicInverseProperty and IsCommutative )</code> <br /> <code class="code">( HasLeftInverseProperty, HasInverseProperty )</code> <br /> <code class="code">( HasRightInverseProperty, HasInverseProperty )</code> <br /> <code class="code">( HasWeakInverseProperty, HasInverseProperty )</code> <br /> <code class="code">( HasAntiautomorphicInverseProperty, HasInverseProperty )</code> <br /> <code class="code">( HasTwosidedInverses, HasAntiautomorphicInverseProperty )</code> <br /> <code class="code">( HasInverseProperty, HasLeftInverseProperty and IsCommutative )</code> <br /> <code class="code">( HasInverseProperty, HasRightInverseProperty and IsCommutative )</code> <br /> <code class="code">( HasInverseProperty, HasLeftInverseProperty and HasRightInverseProperty )</code> <br /> <code class="code">( HasInverseProperty, HasLeftInverseProperty and HasWeakInverseProperty )</code> <br /> <code class="code">( HasInverseProperty, HasRightInverseProperty and HasWeakInverseProperty )</code> <br /> <code class="code">( HasInverseProperty, HasLeftInverseProperty and HasAntiautomorphicInverseProperty )</code> <br /> <code class="code">( HasInverseProperty, HasRightInverseProperty and HasAntiautomorphicInverseProperty )</code> <br /> <code class="code">( HasInverseProperty, HasWeakInverseProperty and HasAntiautomorphicInverseProperty )</code> <br /> <code class="code">( HasTwosidedInverses, HasLeftInverseProperty )</code> <br /> <code class="code">( HasTwosidedInverses, HasRightInverseProperty )</code> <br /> <code class="code">( HasTwosidedInverses, IsFlexible and IsLoop )</code> <br /> <code class="code">( IsMoufangLoop, IsExtraLoop )</code> <br /> <code class="code">( IsCLoop, IsExtraLoop )</code> <br /> <code class="code">( IsExtraLoop, IsMoufangLoop and IsLeftNuclearSquareLoop )</code> <br /> <code class="code">( IsExtraLoop, IsMoufangLoop and IsMiddleNuclearSquareLoop )</code> <br /> <code class="code">( IsExtraLoop, IsMoufangLoop and IsRightNuclearSquareLoop )</code> <br /> <code class="code">( IsLeftBolLoop, IsMoufangLoop )</code> <br /> <code class="code">( IsRightBolLoop, IsMoufangLoop )</code> <br /> <code class="code">( IsDiassociative, IsMoufangLoop )</code> <br /> <code class="code">( IsMoufangLoop, IsLeftBolLoop and IsRightBolLoop )</code> <br /> <code class="code">( IsLCLoop, IsCLoop )</code> <br /> <code class="code">( IsRCLoop, IsCLoop )</code> <br /> <code class="code">( IsDiassociative, IsCLoop and IsFlexible)</code> <br /> <code class="code">( IsCLoop, IsLCLoop and IsRCLoop )</code> <br /> <code class="code">( IsRightBolLoop, IsLeftBolLoop and IsCommutative )</code> <br /> <code class="code">( IsLeftPowerAlternative, IsLeftBolLoop )</code> <br /> <code class="code">( IsLeftBolLoop, IsRightBolLoop and IsCommutative )</code> <br /> <code class="code">( IsRightPowerAlternative, IsRightBolLoop )</code> <br /> <code class="code">( IsLeftPowerAlternative, IsLCLoop )</code> <br /> <code class="code">( IsLeftNuclearSquareLoop, IsLCLoop )</code> <br /> <code class="code">( IsMiddleNuclearSquareLoop, IsLCLoop )</code> <br /> <code class="code">( IsRCLoop, IsLCLoop and IsCommutative )</code> <br /> <code class="code">( IsRightPowerAlternative, IsRCLoop )</code> <br /> <code class="code">( IsRightNuclearSquareLoo
2017-10-16 19:43:09 +00:00
<div class="chlinkprevnextbot">&nbsp;<a href="chap0_mj.html">[Top of Book]</a>&nbsp; <a href="chap0_mj.html#contents">[Contents]</a>&nbsp; &nbsp;<a href="chapA_mj.html">[Previous Chapter]</a>&nbsp; &nbsp;<a href="chapBib_mj.html">[Next Chapter]</a>&nbsp; </div>
<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a> <a href="chap1_mj.html">1</a> <a href="chap2_mj.html">2</a> <a href="chap3_mj.html">3</a> <a href="chap4_mj.html">4</a> <a href="chap5_mj.html">5</a> <a href="chap6_mj.html">6</a> <a href="chap7_mj.html">7</a> <a href="chap8_mj.html">8</a> <a href="chap9_mj.html">9</a> <a href="chapA_mj.html">A</a> <a href="chapB_mj.html">B</a> <a href="chapBib_mj.html">Bib</a> <a href="chapInd_mj.html">Ind</a> </div>
<hr />
<p class="foot">generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>