TOPICS
Search

Hyper-P Algebra


Let X be a set of urelements that contains the set N of natural numbers, and let V(X) be a superstructure whose individuals are in X. Let V(^*X) be an enlargement of V(X), and let A in V(^*X) be an algebra. Let P be a property of algebras, expressed in the first-order language for the superstructure V(X). Then A is a hyper-P-algebra provided that it satisfies ^*P in V(^*X).

For example, let P be the property of "being finite." Then P is expressible in the first-order language for V(X), since N subset= X, and a hyper-P algebra is just a hyperfinite algebra. One useful result involving hyperfinite algebras is the following: An algebra A in V(X) is locally finite if and only if it has an hyperfinite extension in V(^*X).

For another example, consider the property of being a simple group. Then a hyper-simple group in V(^*X) is just a group G in V(^*X) which has exactly two internal normal subgroups, namely the trivial subgroup and the whole group G. If an internal group is simple, then it is hyper-simple. It is not known if every hyper-simple group is simple.

For any property P, the following are equivalent:

1. P is finite generation-hereditary.

2. The following nonstandard characterization holds for P: For any set X of urelements, an algebra A in V(X) is a local P-algebra if and only if A has a hyper-P extension in V(^*X).


See also

Local P-Algebra

This entry contributed by Matt Insall (author's link)

Explore with Wolfram|Alpha

References

Gehrke, M.; Kaiser, K.; and Insall, M. "Some Nonstandard Methods Applied to Distributive Lattices." Zeitschrifte für Mathematische Logik und Grundlagen der Mathematik 36, 123-131, 1990.Insall, M. "Nonstandard Methods and Finiteness Conditions in Algebra." Zeitschr. f. Math., Logik, und Grundlagen d. Math. 37, 525-532, 1991.Insall, M. "Some Finiteness Conditions in Lattices Using Nonstandard Proof Methods." J. Austral. Math. Soc. 53, 266-280, 1992.

Referenced on Wolfram|Alpha

Hyper-P Algebra

Cite this as:

Insall, Matt. "Hyper-P Algebra." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/HyperP-Algebra.html

Subject classifications